Refereed Conference Publications

  1. Nomair A. Naeem, Ondrej Lhotak, Faster Aias Set Analysis Using Summaries
    In the Conference on Compiler Construction, CC 2011, Saarbrucken, Germany, March 2011
    Abstract    BibTeX


  1. Nomair A. Naeem, Ondrej Lhotak, Jonathan Rodriguez Practical Extensions to the IFDS Algorithm
    In the Conference on Compiler Construction, CC 2010, Paphos, Cyprus, March 2010
    Abstract    BibTeX


  1. Nomair A. Naeem, Ondrej Lhotak Efficient Alias Set Analysis Using SSA Form
    In the International Symposium On Memory Management, ISMM 2009, Dublin, Ireland, June 2009
    Abstract    BibTeX


  1. Nomair A. Naeem, Ondrej Lhotak Typestate-like Analysis of Multiple Interacting Objects
    In the 23rd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA 2008, Nashville, USA, October 2008
    Abstract    BibTeX


  1. Nomair A. Naeem, Michael Batchelder, Laurie Hendren, Metrics for Measuring the Effectiveness of Decompilers and Obfuscators
    In 15th IEEE International Conference on Program Comprehension, ICPC 2007, Banff, Canada, June 2007
    Abstract    BibTeX


  1. Nomair A. Naeem, Laurie Hendren, Programmer-Friendly Decompiled Java,
    In 14th IEEE International Conference on Program Comprehension, ICPC 2006, Athens, Greece, June 2006
    Abstract BibTeX


  1. Xueli Li, Nomair A. Naeem, Bettina Kemme, Fine-Granularity Access Control in 3-tier Laboratory Information Systems,
    In 9th International Database Engineering and Applications Symposium, IDEAS 2005, Montreal, Canada, July 2005
    Abstract    BibTeX


  1. Nomair A. Naeem, Stephane Raymond, Anne Poupon, Miroslaw Cygler, Bettina Kemme,
    Exp-DB: Fast Development of Information Systems for Experiment Tracking,
    In 15th Conference on Advanced Information Systems Engineering CAISE 2003, Klagenfurt/Velden, Austria, June 2003
    Abstract    BibTeX


Refereed Workshop Publications

  1. Eric Bodden, Laurie Hendren, Ondrej Lhotak, Nomair A. Naeem, Collaborative runtime verification with tracematches,
    In 7th workshop on Runtime Verification at the 6th International Conference on Aspect-Oriented Software Development, RV 2007, Vancouver, Canada, March 2007
    Abstract    BibTeX


Theses

  1. Ph.D. Thesis, Naeem N. A., Verification of Temporal Properties Involving Multiple Interacting Objects, School of Computer Science, University of Waterloo, 2013.


  1. M.Sc. Thesis, Naeem N. A., Programmer-Friendly Decompiled Java, School of Computer Science, McGill University, September 2006.


  1. B.Sc. Honors Report, Nomair N. A. Exp-DB: Fast Development of Experimental Information Systems, School of Computer Science, McGill University.


Technical Reports

  1. Nomair A. Naeem and Ondřej Lhoták, An Efficient Storeless Heap Abstraction Using SSA Form,
    Technical Report CS-2008-22, December 2008, D. R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
    Abstract    BibTeX (Published in ISMM 2009)


  1. Nomair A. Naeem and Ondřej Lhoták, Extending Typestate Analysis to Multiple Interacting Objects,
    Technical Report CS-2008-04, March 2008, D. R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
    Abstract    BibTeX (Published in OOPSLA 2008)


  1. Nomair A. Naeem and Ondřej Lhoták, Extending Typestate Analysis to Multiple Interacting Objects,
    Technical Report CS-2007-18, December 2007, D. R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
    Abstract    BibTeX (For an updated version see Technical Report CS-2008-04)


  1. Nomair A. Naeem, Micheal Batchelder and Laurie Hendren, Metrics for Measuring the Effectiveness of Decompilers and Obfuscators,
    Sable Technical Report No. 2006-04, June 2006, School of Computer Science, McGill University, Montreal, Canada.
    Abstract    BibTeX (Published in ICPC 2007)


  1. Nomair A. Naeem, and Laurie Hendren, Programmer Friendly Decompiled Java,
    Sable Technical Report No. 2006-02, March 2006, School of Computer Science, McGill University, Montreal, Canada.
    Abstract    BibTeX (Published in ICPC 2006)


Other Publications (posters, abstracts etc.)

  1. Nomair A. Naeem Validating Temporal Properties of Interacting Objects
    Companion of the 23rd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA 2008, Nashville, USA, October 2008
    Abstract    BibTeX


Presentations

(including some given as course or seminar presentations on work done by other researchers)


  1. Effective Typestate Verification in the Presence of Aliasing
    Authors: Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam and Emmanuel Geay
    Course Presentation (ECE 750), University of Waterloo, November 2008
    Slides


  1. Metrics for Measuring the Effectiveness of Decompilers and Obfuscators,
    Paper Presentation at the 15th IEEE International Conference on Program Comprehension, ICPC 2007, Banff, Canada, June 2007
    Abstract     Slides

  2. AspectJ and Tracematches,
    Guest Lecture (CS-444), School of Computer Science, University of Waterloo, 13th March 2007           
    abstract     Slides


  1. Precise and Efficient Must-Alias Analysis,
    Programming Languages Group Seminar, School of Computer Science, University of Waterloo

        17th January 2007 and 31st January 2007

        abstract     Slides     Audio1     Audio2