publications:
- title: "Using XBDDs and ZBDDs in points-to analysis"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Stephen Curial"
    link: "https://researchr.org/alias/stephen-curial"
  - name: "José Nelson Amaral"
    link: "https://researchr.org/alias/jos%C3%A9-nelson-amaral"
  year: "2009"
  doi: "http://dx.doi.org/10.1002/spe.895"
  links:
    doi: "http://dx.doi.org/10.1002/spe.895"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/LhotakCA09"
  cites: 0
  citedby: 0
  journal: "Software: Practice and Experience"
  volume: "39"
  number: "2"
  pages: "163-188"
  kind: "article"
  key: "LhotakCA09"
- title: "Estimating Precision by Random Sampling (poster abstract)"
  author:
  - name: "Gordon V. Cormack"
    link: "https://researchr.org/alias/gordon-v.-cormack"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Christopher R. Palmer"
    link: "https://researchr.org/alias/christopher-r.-palmer"
  year: "1999"
  doi: "db/conf/sigir/CormackLP99.html"
  researchr: "https://researchr.org/publication/CormackLP99"
  cites: 0
  citedby: 0
  pages: "273-274"
  booktitle: "SIGIR  99: Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, August 15-19, 1999, Berkeley, CA, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "CormackLP99"
- title: "Points-to analysis using BDDs"
  author:
  - name: "Marc Berndl"
    link: "https://researchr.org/alias/marc-berndl"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Feng Qian"
    link: "https://researchr.org/alias/feng-qian"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Navindra Umanee"
    link: "https://researchr.org/alias/navindra-umanee"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/781131.781144"
  links:
    doi: "http://doi.acm.org/10.1145/781131.781144"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/BerndlLQHU03"
  cites: 0
  citedby: 0
  pages: "103-114"
  booktitle: "Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003"
  publisher: "ACM"
  isbn: "1-58113-662-5"
  kind: "inproceedings"
  key: "BerndlLQHU03"
- title: "Collaborative Runtime Verification with Tracematches"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Patrick Lam"
    link: "https://researchr.org/alias/patrick-lam"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77395-5_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77395-5_3"
  researchr: "https://researchr.org/publication/BoddenHLLN07"
  cites: 0
  citedby: 0
  pages: "22-37"
  booktitle: "Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers"
  editor:
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Serdar Tasiran"
    link: "https://researchr.org/alias/serdar-tasiran"
  volume: "4839"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77394-8"
  kind: "inproceedings"
  key: "BoddenHLLN07"
- title: "Run-time evaluation of opportunities for object inlining in Java"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2005"
  doi: "http://dx.doi.org/10.1002/cpe.848"
  links:
    doi: "http://dx.doi.org/10.1002/cpe.848"
  tags:
  - "Java"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LhotakH05"
  cites: 0
  citedby: 0
  journal: "Concurrency - Practice and Experience"
  volume: "17"
  number: "5-6"
  pages: "515-537"
  kind: "article"
  key: "LhotakH05"
- title: "Scaling Java Points-to Analysis Using SPARK"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220153.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220153.htm"
  tags:
  - "Java"
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/LhotakH03"
  cites: 0
  citedby: 1
  pages: "153-169"
  booktitle: "Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings"
  editor:
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  volume: "2622"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00904-3"
  kind: "inproceedings"
  key: "LhotakH03"
- title: "Validating temporal properties of interacting objects"
  author:
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449900"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449900"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NaeemL08a"
  cites: 0
  citedby: 0
  pages: "903-904"
  booktitle: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  kind: "inproceedings"
  key: "NaeemL08a"
- title: "Adding trace matching with free variables to AspectJ"
  author:
  - name: "Chris Allan"
    link: "https://researchr.org/alias/chris-allan"
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1094811.1094839"
  links:
    doi: "http://doi.acm.org/10.1145/1094811.1094839"
  tags:
  - "AspectJ"
  researchr: "https://researchr.org/publication/AllanACHKLMSST05"
  cites: 0
  citedby: 0
  pages: "345-364"
  booktitle: "Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA"
  editor:
  - name: "Ralph E. Johnson"
    link: "http://st-www.cs.illinois.edu/users/johnson/"
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  publisher: "ACM"
  isbn: "1-59593-031-0"
  kind: "inproceedings"
  key: "AllanACHKLMSST05"
- title: "Efficient trace monitoring"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176673"
  links:
    doi: "http://doi.acm.org/10.1145/1176617.1176673"
  researchr: "https://researchr.org/publication/AvgustinovTBHLMOS06"
  cites: 0
  citedby: 0
  pages: "685-686"
  booktitle: "Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA"
  editor:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "inproceedings"
  key: "AvgustinovTBHLMOS06"
- title: "OOMatch: pattern matching as dispatch in Java"
  author:
  - name: "Adam Richard"
    link: "https://researchr.org/alias/adam-richard"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297880"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297880"
  tags:
  - "Java"
  - "pattern matching"
  researchr: "https://researchr.org/publication/RichardL07"
  cites: 0
  citedby: 0
  pages: "771-772"
  booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada"
  editor:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  kind: "inproceedings"
  key: "RichardL07"
- title: "Control Flow Emulation on Tiled SIMD Architectures"
  author:
  - name: "Ghulam Lashari"
    link: "https://researchr.org/alias/ghulam-lashari"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Michael McCool"
    link: "https://researchr.org/alias/michael-mccool"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_7"
  tags:
  - "architecture"
  - "data-flow"
  researchr: "https://researchr.org/publication/LashariLM08"
  cites: 0
  citedby: 0
  pages: "100-115"
  booktitle: "Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings"
  editor:
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  volume: "4959"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78790-7"
  kind: "inproceedings"
  key: "LashariLM08"
- title: "Typestate-like analysis of multiple interacting objects"
  author:
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449792"
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449792"
  tags:
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NaeemL08"
  cites: 0
  citedby: 0
  pages: "347-366"
  booktitle: "Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-215-3"
  kind: "inproceedings"
  key: "NaeemL08"
- title: "Visualizing Program Analysis with the Soot-Eclipse Plugin"
  author:
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.044"
  tags:
  - "program analysis"
  - "Eclipse"
  - "analysis"
  researchr: "https://researchr.org/publication/LhotakL04"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "107"
  pages: "27-31"
  kind: "article"
  key: "LhotakL04"
- title: "Using Inter-Procedural Side-Effect Information in JIT Optimizations"
  author:
  - name: "Anatole Le"
    link: "https://researchr.org/alias/anatole-le"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=287"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=287"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/LeLH05"
  cites: 0
  citedby: 0
  pages: "287-304"
  booktitle: "Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Rastislav Bodík"
    link: "https://researchr.org/alias/rastislav-bod%C3%ADk"
  volume: "3443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25411-0"
  kind: "inproceedings"
  key: "LeLH05"
- title: "Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1391984.1391987"
  links:
    doi: "http://doi.acm.org/10.1145/1391984.1391987"
  tags:
  - "rule-based"
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "context-aware"
  - "open-source"
  researchr: "https://researchr.org/publication/LhotakH08%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "18"
  number: "1"
  kind: "article"
  key: "LhotakH08:0"
- title: "Run-time evaluation of opportunities for object inlining in Java"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/583810.583830"
  links:
    doi: "http://doi.acm.org/10.1145/583810.583830"
  tags:
  - "Java"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LhotakH02"
  cites: 0
  citedby: 0
  pages: "175-184"
  booktitle: "Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002,  Seattle, Washington, USA, November 3-5, 2002"
  editor:
  - name: "José E. Moreira"
    link: "https://researchr.org/alias/jos%C3%A9-e.-moreira"
  - name: "Geoffrey Fox"
    link: "https://researchr.org/alias/geoffrey-fox"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  publisher: "ACM"
  isbn: "1-58113-599-8"
  kind: "inproceedings"
  key: "LhotakH02"
- title: "Jedd: a BDD-based relational extension of Java"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/996841.996861"
  links:
    doi: "http://doi.acm.org/10.1145/996841.996861"
  tags:
  - "rule-based"
  - "Java"
  researchr: "https://researchr.org/publication/LhotakH04"
  cites: 0
  citedby: 0
  pages: "158-169"
  booktitle: "Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004"
  editor:
  - name: "William Pugh"
    link: "https://researchr.org/alias/william-pugh"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  publisher: "ACM"
  isbn: "1-58113-807-5"
  kind: "inproceedings"
  key: "LhotakH04"
- title: "Aspects for Trace Monitoring"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Elnar Hajiyev"
    link: "https://researchr.org/alias/elnar-hajiyev"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  - name: "Mathieu Verbaere"
    link: "https://researchr.org/alias/mathieu-verbaere"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11940197_2"
  links:
    doi: "http://dx.doi.org/10.1007/11940197_2"
  researchr: "https://researchr.org/publication/AvgustinovBHHLMOSSTV06"
  cites: 0
  citedby: 0
  pages: "20-39"
  booktitle: "Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers"
  editor:
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Manuel Núñez"
    link: "https://researchr.org/alias/manuel-n%C3%BA%C3%B1ez"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Burkhart Wolff"
    link: "https://researchr.org/alias/burkhart-wolff"
  volume: "4262"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-49699-8"
  kind: "inproceedings"
  key: "AvgustinovBHHLMOSSTV06"
- title: "A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring"
  author:
  - name: "Eric Bodden"
    link: "http://www.bodden.de/"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73589-2_25"
  tags:
  - "program analysis"
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/BoddenHL07"
  cites: 0
  citedby: 0
  pages: "525-549"
  booktitle: "ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings"
  editor:
  - name: "Erik Ernst"
    link: "http://person.au.dk/eernst@cs"
  volume: "4609"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73588-5"
  kind: "inproceedings"
  key: "BoddenHL07"
- title: "abc: an extensible AspectJ compiler"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1052898.1052906"
  links:
    doi: "http://doi.acm.org/10.1145/1052898.1052906"
    successor: "https://researchr.org/publication/AvgustinovCHKLLMSST06"
  tags:
  - "AspectJ"
  - "compiler"
  researchr: "https://researchr.org/publication/AvgustinovCHKLLMSST05"
  cites: 0
  citedby: 0
  pages: "87-98"
  booktitle: "Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005"
  editor:
  - name: "Mira Mezini"
    link: "https://researchr.org/alias/mira-mezini"
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  publisher: "ACM"
  isbn: "1-59593-042-6"
  kind: "inproceedings"
  key: "AvgustinovCHKLLMSST05"
- title: "abc: The AspectBench Compiler for AspectJ"
  author:
  - name: "Chris Allan"
    link: "https://researchr.org/alias/chris-allan"
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_2"
  links:
    doi: "http://dx.doi.org/10.1007/11561347_2"
  tags:
  - "AspectJ"
  - "compiler"
  researchr: "https://researchr.org/publication/AllanACHKLLMSST05"
  cites: 0
  citedby: 0
  pages: "10-16"
  booktitle: "Generative Programming and Component Engineering, 4th International Conference, GPCE 2005"
  editor:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "inproceedings"
  key: "AllanACHKLLMSST05"
- title: "Efficient Set Sharing Using ZBDDs"
  author:
  - name: "Mario Méndez-Lojo"
    link: "https://researchr.org/alias/mario-m%C3%A9ndez-lojo"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89740-8_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89740-8_4"
  researchr: "https://researchr.org/publication/Mendez-LojoLH08"
  cites: 0
  citedby: 0
  pages: "47-63"
  booktitle: "Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers"
  editor:
  - name: "José Nelson Amaral"
    link: "https://researchr.org/alias/jos%C3%A9-nelson-amaral"
  volume: "5335"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89739-2"
  kind: "inproceedings"
  key: "Mendez-LojoLH08"
- title: "Relations as an abstraction for BDD-based program analysis"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1377492.1377494"
  links:
    doi: "http://doi.acm.org/10.1145/1377492.1377494"
  tags:
  - "rule-based"
  - "program analysis"
  - "analysis"
  - "abstraction"
  researchr: "https://researchr.org/publication/LhotakH08"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "30"
  number: "4"
  kind: "article"
  key: "LhotakH08"
- title: "abc: An Extensible AspectJ Compiler"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11687061_9"
  abstract: " Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation techniques. In particular, new features for AspectJ have been proposed that require extensions in many dimensions: syntax, type checking and code generation, as well as data flow and control flow analyses. The AspectBench Compiler (abc) is an implementation of such a workbench. The base version of abc  implements the full AspectJ language. Its front end is built using the Polyglot framework, as a modular extension of the Java language. The use of Polyglot gives flexibility of syntax and type checking. The back end is built using the Soot framework, to give modular code generation and analyses. In this paper, we outline the design of abc, focusing mostly on how the design supports extensibility. We then provide a general overview of how to use abc to implement an extension. We illustrate the extension mechanisms of abc through a number of small, but nontrivial, examples. We then proceed to contrast the design goals of abc with those of the original AspectJ compiler, and how these different goals have led to different design decisions. Finally, we review a few examples of projects by others that extend abc in interesting ways. "
  links:
    doi: "http://dx.doi.org/10.1007/11687061_9"
  tags:
  - "programming languages"
  - "workbench"
  - "AspectJ"
  - "object-oriented programming"
  - "rule-based"
  - "Java"
  - "data-flow language"
  - "design research"
  - "language design"
  - "data-flow programming"
  - "data-flow"
  - "code generation"
  - "type checking"
  - "reviewing"
  - "aspect oriented programming"
  - "compiler"
  - "programming"
  - "subject-oriented programming"
  - "language workbench"
  - "design"
  - "extensible language"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/AvgustinovCHKLLMSST06"
  cites: 0
  citedby: 1
  journal: "Transactions on Aspect-Oriented Software Development"
  pages: "293-334"
  kind: "article"
  key: "AvgustinovCHKLLMSST06"
- title: "Context-Sensitive Points-to Analysis: Is It Worth It?"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11688839_5"
  links:
    doi: "http://dx.doi.org/10.1007/11688839_5"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "context-aware"
  - "open-source"
  researchr: "https://researchr.org/publication/LhotakH06"
  cites: 0
  citedby: 0
  pages: "47-64"
  booktitle: "Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings"
  editor:
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  volume: "3923"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33050-X"
  kind: "inproceedings"
  key: "LhotakH06"
- title: "Using ZBDDs in Points-to Analysis"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Stephen Curial"
    link: "https://researchr.org/alias/stephen-curial"
  - name: "José Nelson Amaral"
    link: "https://researchr.org/alias/jos%C3%A9-nelson-amaral"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85261-2_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85261-2_23"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "peer-to-peer"
  - "open-source"
  researchr: "https://researchr.org/publication/LhotakCA07"
  cites: 0
  citedby: 0
  pages: "338-352"
  booktitle: "Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers"
  editor:
  - name: "Vikram S. Adve"
    link: "https://researchr.org/alias/vikram-s.-adve"
  - name: "María Jesús Garzarán"
    link: "https://researchr.org/alias/mar%C3%ADa-jes%C3%BAs-garzar%C3%A1n"
  - name: "Paul Petersen"
    link: "https://researchr.org/alias/paul-petersen"
  volume: "5234"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85260-5"
  kind: "inproceedings"
  key: "LhotakCA07"
- title: "Efficient alias set analysis using SSA form"
  author:
  - name: "Nomair A. Naeem"
    link: "https://researchr.org/alias/nomair-a.-naeem"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1542431.1542443"
  links:
    doi: "http://doi.acm.org/10.1145/1542431.1542443"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/NaeemL09"
  cites: 0
  citedby: 0
  pages: "79-88"
  booktitle: "Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009"
  editor:
  - name: "Hillel Kolodner"
    link: "https://researchr.org/alias/hillel-kolodner"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-60558-347-1"
  kind: "inproceedings"
  key: "NaeemL09"
- title: "Comparing call graphs"
  author:
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1251535.1251542"
  links:
    doi: "http://doi.acm.org/10.1145/1251535.1251542"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Lhotak07"
  cites: 0
  citedby: 0
  pages: "37-42"
  booktitle: "Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 07, San Diego, California, USA, June 13-14, 2007"
  editor:
  - name: "Manuvir Das"
    link: "https://researchr.org/alias/manuvir-das"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  publisher: "ACM"
  isbn: "978-1-59593-595-3"
  kind: "inproceedings"
  key: "Lhotak07"
- title: "Optimising aspectJ"
  author:
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065010.1065026"
  links:
    doi: "http://doi.acm.org/10.1145/1065010.1065026"
  tags:
  - "AspectJ"
  researchr: "https://researchr.org/publication/AvgustinovCHKLLMSST05%3A0"
  cites: 0
  citedby: 0
  pages: "117-128"
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005"
  editor:
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  publisher: "ACM"
  isbn: "1-59593-056-6"
  kind: "inproceedings"
  key: "AvgustinovCHKLLMSST05:0"
- title: "Integrating the Soot Compiler Infrastructure into an IDE"
  author:
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=281"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=281"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/LhotakLH04"
  cites: 0
  citedby: 0
  pages: "281-297"
  booktitle: "Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings"
  volume: "2985"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21297-3"
  kind: "inproceedings"
  key: "LhotakLH04"
- title: "abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research"
  author:
  - name: "Chris Allan"
    link: "https://researchr.org/alias/chris-allan"
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Bruno Dufour"
    link: "https://researchr.org/alias/bruno-dufour"
  - name: "Christopher Goard"
    link: "https://researchr.org/alias/christopher-goard"
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  - name: "Sascha Kuzins"
    link: "https://researchr.org/alias/sascha-kuzins"
  - name: "Jennifer Lhoták"
    link: "https://researchr.org/alias/jennifer-lhot%C3%A1k"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Ganesh Sittampalam"
    link: "http://www.earth.li/~ganesh/"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  - name: "Clark Verbrugge"
    link: "https://researchr.org/alias/clark-verbrugge"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1094855.1094877"
  links:
    doi: "http://doi.acm.org/10.1145/1094855.1094877"
  tags:
  - "programming languages"
  - "workbench"
  - "AspectJ"
  - "object-oriented programming"
  - "aspect oriented programming"
  - "compiler"
  - "programming"
  - "subject-oriented programming"
  - "language workbench"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/AllanACDGHKLLMSSTV05"
  cites: 0
  citedby: 0
  pages: "88-89"
  booktitle: "Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA"
  editor:
  - name: "Ralph E. Johnson"
    link: "http://st-www.cs.illinois.edu/users/johnson/"
  - name: "Richard P. Gabriel"
    link: "https://researchr.org/alias/richard-p.-gabriel"
  publisher: "ACM"
  isbn: "1-59593-193-7"
  kind: "inproceedings"
  key: "AllanACDGHKLLMSSTV05"