publications: - 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: "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: "On the limits of program parallelism and its smoothability" author: - name: "Kevin B. Theobald" link: "https://researchr.org/alias/kevin-b.-theobald" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1992" doi: "http://doi.acm.org/10.1145/144953.144977" links: doi: "http://doi.acm.org/10.1145/144953.144977" researchr: "https://researchr.org/publication/TheobaldGH92" cites: 0 citedby: 0 pages: "10-19" booktitle: "Proceedings of the 25th Annual International Symposium on Microarchitecture, Portland, Oregon, November 1992" publisher: "ACM/IEEE" kind: "inproceedings" key: "TheobaldGH92" - 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: "Reengineering User Interfaces" author: - name: "Ettore Merlo" link: "https://researchr.org/alias/ettore-merlo" - name: "Pierre-Yves Gagné" link: "https://researchr.org/alias/pierre-yves-gagn%C3%A9" - name: "Jean-Francois Girard" link: "https://researchr.org/alias/jean-francois-girard" - name: "Kostas Kontogiannis" link: "https://researchr.org/alias/kostas-kontogiannis" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Prakash Panangaden" link: "https://researchr.org/alias/prakash-panangaden" - name: "Renato de Mori" link: "https://researchr.org/alias/renato-de-mori" year: "1995" doi: "http://www.computer.org:80/software/so1995/s1064abs.htm" links: doi: "http://www.computer.org:80/software/so1995/s1064abs.htm" researchr: "https://researchr.org/publication/MerloGGKHPM95" cites: 0 citedby: 0 journal: "IEEE Software" volume: "12" number: "1" pages: "64-73" kind: "article" key: "MerloGGKHPM95" - 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: "Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences" author: - name: "Etienne Gagnon" link: "https://researchr.org/alias/etienne-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220170.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220170.htm" tags: - "Java" researchr: "https://researchr.org/publication/GagnonH03" cites: 0 citedby: 0 pages: "170-184" 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: "GagnonH03" - title: "SableCC, an Object-Oriented Compiler Framework" author: - name: "Etienne M. Gagnon" link: "https://researchr.org/alias/etienne-m.-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1998" doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711009" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711009" tags: - "meta-model" - "compiler" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/GagnonH98" cites: 0 citedby: 0 pages: "140-154" booktitle: "TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA" publisher: "IEEE Computer Society" isbn: "0-8186-8482-8" kind: "inproceedings" key: "GagnonH98" - title: "Parallelizing Programs with Recursive Data Structures" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1990" doi: "http://computer.org/tpds/td1990/l0035abs.htm" links: doi: "http://computer.org/tpds/td1990/l0035abs.htm" tags: - "parallel programming" - "data-flow programming" - "data-flow" researchr: "https://researchr.org/publication/HendrenN90" cites: 0 citedby: 0 journal: "IEEE Trans. Parallel Distrib. Syst." volume: "1" number: "1" pages: "35-47" kind: "article" key: "HendrenN90" - title: "A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" - name: "Erik R. Altman" link: "https://researchr.org/alias/erik-r.-altman" - name: "Chandrika Mukerji" link: "https://researchr.org/alias/chandrika-mukerji" year: "1992" tags: - "rule-based" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HendrenGAM92" cites: 0 citedby: 0 pages: "176-191" booktitle: "Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings" editor: - name: "Uwe Kastens" link: "https://researchr.org/alias/uwe-kastens" - name: "Peter Pfahler" link: "https://researchr.org/alias/peter-pfahler" volume: "641" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55984-1" kind: "inproceedings" key: "HendrenGAM92" - 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: "A Comprehensive Approach to Array Bounds Check Elimination for Java" author: - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2304/23040325.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2304/23040325.htm" tags: - "Java" - "systematic-approach" researchr: "https://researchr.org/publication/QianHV02" cites: 0 citedby: 0 pages: "325-342" booktitle: "Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings" editor: - name: "R. Nigel Horspool" link: "https://researchr.org/alias/r.-nigel-horspool" volume: "2304" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43369-4" kind: "inproceedings" key: "QianHV02" - title: "Guest Editors Introduction: Special Issue on Compilers and Languages for Parallel and Distributed Computers" author: - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1999" doi: "http://www.computer.org/tpds/td1999/l0097abs.htm" links: doi: "http://www.computer.org/tpds/td1999/l0097abs.htm" tags: - "compiler" researchr: "https://researchr.org/publication/ZhuH99%3A1" cites: 0 citedby: 0 journal: "IEEE Trans. Parallel Distrib. Syst." volume: "10" number: "2" pages: "97-98" kind: "article" key: "ZhuH99:1" - title: "Soot - a Java bytecode optimization framework" author: - name: "Raja Vallée-Rai" link: "https://researchr.org/alias/raja-vall%C3%A9e-rai" - name: "Phong Co" link: "https://researchr.org/alias/phong-co" - name: "Etienne Gagnon" link: "https://researchr.org/alias/etienne-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Patrick Lam" link: "https://researchr.org/alias/patrick-lam" - name: "Vijay Sundaresan" link: "https://researchr.org/alias/vijay-sundaresan" year: "1999" doi: "http://doi.acm.org/10.1145/781995.782008" links: doi: "http://doi.acm.org/10.1145/781995.782008" tags: - "optimization" - "Java" researchr: "https://researchr.org/publication/Vallee-RaiCGHLS99" cites: 0 citedby: 0 pages: "13" booktitle: "Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada" editor: - name: "Stephen A. MacKay" link: "https://researchr.org/alias/stephen-a.-mackay" - name: "J. Howard Johnson" link: "https://researchr.org/alias/j.-howard-johnson" publisher: "IBM" kind: "inproceedings" key: "Vallee-RaiCGHLS99" - title: "Dynamic metrics for java" author: - name: "Bruno Dufour" link: "https://researchr.org/alias/bruno-dufour" - name: "Karel Driesen" link: "https://researchr.org/alias/karel-driesen" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2003" doi: "http://doi.acm.org/10.1145/949305.949320" links: doi: "http://doi.acm.org/10.1145/949305.949320" tags: - "Java" researchr: "https://researchr.org/publication/DufourDHV03" cites: 0 citedby: 0 pages: "149-168" booktitle: "Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA" editor: - name: "Ron Crocker" link: "https://researchr.org/alias/ron-crocker" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "1-58113-712-5" kind: "inproceedings" key: "DufourDHV03" - title: "Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers" author: - name: "Maryam Emami" link: "https://researchr.org/alias/maryam-emami" - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1994" tags: - "points-to analysis" - "analysis" - "source-to-source" - "context-aware" - "open-source" researchr: "https://researchr.org/publication/EmamiGH94" cites: 0 citedby: 0 pages: "242-256" booktitle: "PLDI" kind: "inproceedings" key: "EmamiGH94" - title: "Object representatives: a uniform abstraction for pointer information" author: - name: "Eric Bodden" link: "http://www.bodden.de/" - name: "Patrick Lam" link: "https://researchr.org/alias/patrick-lam" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2008" doi: "http://www.bcs.org/server.php?show=ConWebDoc.22982" links: doi: "http://www.bcs.org/server.php?show=ConWebDoc.22982" tags: - "meta-model" - "abstraction" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/BoddenLH08-0" cites: 0 citedby: 0 pages: "391-405" booktitle: "Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008" editor: - name: "Erol Gelenbe" link: "https://researchr.org/alias/erol-gelenbe" - name: "Samson Abramsky" link: "https://researchr.org/alias/samson-abramsky" - name: "Vladimiro Sassone" link: "https://researchr.org/alias/vladimiro-sassone" publisher: "British Computer Society" kind: "inproceedings" key: "BoddenLH08-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: "Finding programming errors earlier by evaluating runtime monitors ahead-of-time" author: - name: "Eric Bodden" link: "http://www.bodden.de/" - name: "Patrick Lam" link: "https://researchr.org/alias/patrick-lam" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2008" doi: "http://doi.acm.org/10.1145/1453101.1453109" links: doi: "http://doi.acm.org/10.1145/1453101.1453109" tags: - "programming" researchr: "https://researchr.org/publication/BoddenLH08" cites: 0 citedby: 0 pages: "36-47" booktitle: "Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008" editor: - name: "Mary Jean Harrold" link: "https://researchr.org/alias/mary-jean-harrold" - name: "Gail C. Murphy" link: "https://researchr.org/alias/gail-c.-murphy" publisher: "ACM" isbn: "978-1-59593-995-1" kind: "inproceedings" key: "BoddenLH08" - title: "Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "C. Donawa" link: "https://researchr.org/alias/c.-donawa" - name: "Maryam Emami" link: "https://researchr.org/alias/maryam-emami" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" - name: "Justiani" link: "https://researchr.org/alias/justiani" - name: "B. Sridharan" link: "https://researchr.org/alias/b.-sridharan" year: "1992" tags: - "rule-based" - "C++" - "compiler" researchr: "https://researchr.org/publication/HendrenDEGJS92" cites: 0 citedby: 0 pages: "406-420" booktitle: "Languages and Compilers for Parallel Computing, 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings" editor: - name: "Utpal Banerjee" link: "https://researchr.org/alias/utpal-banerjee" - name: "David Gelernter" link: "https://researchr.org/alias/david-gelernter" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" - name: "David A. Padua" link: "https://researchr.org/alias/david-a.-padua" volume: "757" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57502-2" kind: "inproceedings" key: "HendrenDEGJS92" - title: "Communication Optimizations for Parallel C Programs" author: - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1999" tags: - "optimization" - "parallel programming" - "C++" - "program optimization" researchr: "https://researchr.org/publication/ZhuH99%3A0" cites: 0 citedby: 0 journal: "J. Parallel Distrib. Comput." volume: "58" number: "2" pages: "301-332" kind: "article" key: "ZhuH99:0" - title: "Relational aspects as tracematches" author: - name: "Eric Bodden" link: "http://www.bodden.de/" - name: "Reehan Shaikh" link: "https://researchr.org/alias/reehan-shaikh" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2008" doi: "http://doi.acm.org/10.1145/1353482.1353493" links: doi: "http://doi.acm.org/10.1145/1353482.1353493" researchr: "https://researchr.org/publication/BoddenSH08" cites: 0 citedby: 0 pages: "84-95" booktitle: "Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008" editor: - name: "Theo D Hondt" link: "https://researchr.org/alias/theo-d-hondt" publisher: "ACM" isbn: "978-1-60558-044-9" kind: "inproceedings" key: "BoddenSH08" - title: "Multi-Valued Constant Propagation for the Reengineering of User Interfaces" author: - name: "Ettore Merlo" link: "https://researchr.org/alias/ettore-merlo" - name: "Jean-Francois Girard" link: "https://researchr.org/alias/jean-francois-girard" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Renato de Mori" link: "https://researchr.org/alias/renato-de-mori" year: "1993" researchr: "https://researchr.org/publication/MerloGHM93" cites: 0 citedby: 0 pages: "120-129" booktitle: "Proceedings of the Conference on Software Maintenance, ICSM 1993, Montréal, Quebec, Canada, September 1993" editor: - name: "David N. Card" link: "https://researchr.org/alias/david-n.-card" publisher: "IEEE Computer Society" isbn: "0-8186-4600-4" kind: "inproceedings" key: "MerloGHM93" - title: "Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler" author: - name: "Justiani" link: "https://researchr.org/alias/justiani" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1994" tags: - "optimization" - "testing" - "C++" - "compiler" researchr: "https://researchr.org/publication/JustianiH94" cites: 0 citedby: 0 pages: "309-323" booktitle: "Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings" editor: - name: "Peter Fritzson" link: "https://researchr.org/alias/peter-fritzson" volume: "786" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57877-3" kind: "inproceedings" key: "JustianiH94" - title: "Communication Optimizations for Parallel C Programs" author: - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1998" tags: - "optimization" - "parallel programming" - "C++" - "program optimization" researchr: "https://researchr.org/publication/ZhuH98%3A0" cites: 0 citedby: 0 pages: "199-211" booktitle: "PLDI" kind: "inproceedings" key: "ZhuH98:0" - title: "Detecting Parallelism in C Programs with Recursive Darta Structures" author: - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" year: "1998" tags: - "C++" researchr: "https://researchr.org/publication/GhiyaHZ98" cites: 0 citedby: 0 pages: "159-173" booktitle: "Compiler Construction, 7th International Conference, CC 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings" editor: - name: "Kai Koskimies" link: "https://researchr.org/alias/kai-koskimies" volume: "1383" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64304-4" kind: "inproceedings" key: "GhiyaHZ98" - 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: "STEP: a framework for the efficient encoding of general trace data" author: - name: "Rhodes Brown" link: "https://researchr.org/alias/rhodes-brown" - name: "Karel Driesen" link: "https://researchr.org/alias/karel-driesen" - name: "David Eng" link: "https://researchr.org/alias/david-eng" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "John Jorgensen" link: "https://researchr.org/alias/john-jorgensen" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" - name: "Qin Wang" link: "https://researchr.org/alias/qin-wang" year: "2002" doi: "http://doi.acm.org/10.1145/586094.586103" links: doi: "http://doi.acm.org/10.1145/586094.586103" tags: - "data-flow" researchr: "https://researchr.org/publication/BrownDEHJVW02" cites: 0 citedby: 0 pages: "27-34" booktitle: "Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 02, Charleston, South Carolina, USA, November 18-19, 2002" editor: - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" publisher: "ACM" kind: "inproceedings" key: "BrownDEHJVW02" - 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: "A Study of Type Analysis for Speculative Method Inlining in a JIT Environment" author: - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - 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=255" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=255" tags: - "meta-model" - "analysis" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/QianH05" cites: 0 citedby: 0 pages: "255-270" 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: "QianH05" - title: "Extended SSA numbering: introducing SSA properties to languages with multi-level pointers" author: - name: "Christopher Lapkowski" link: "https://researchr.org/alias/christopher-lapkowski" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1996" doi: "http://doi.acm.org/10.1145/782052.782075" links: doi: "http://doi.acm.org/10.1145/782052.782075" researchr: "https://researchr.org/publication/LapkowskiH96" cites: 0 citedby: 0 pages: "23" booktitle: "Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada" editor: - name: "Michael A. Bauer" link: "https://researchr.org/alias/michael-a.-bauer" - name: "Karen Bennet" link: "https://researchr.org/alias/karen-bennet" - name: "W. Morven Gentleman" link: "https://researchr.org/alias/w.-morven-gentleman" - name: "J. Howard Johnson" link: "https://researchr.org/alias/j.-howard-johnson" - name: "Kelly A. Lyons" link: "https://researchr.org/alias/kelly-a.-lyons" - name: "Jacob Slonim" link: "https://researchr.org/alias/jacob-slonim" publisher: "IBM" kind: "inproceedings" key: "LapkowskiH96" - title: "Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1992" tags: - "program analysis" - "analysis" - "data-flow programming" - "data-flow" - "abstraction" - "data-flow analysis" researchr: "https://researchr.org/publication/HendrenHN92" cites: 0 citedby: 0 pages: "249-260" booktitle: "PLDI" kind: "inproceedings" key: "HendrenHN92" - title: "Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs" author: - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1992" tags: - "optimization" - "program analysis" - "analysis" - "data-flow programming" - "data-flow" - "program optimization" - "data-flow analysis" - "systematic-approach" researchr: "https://researchr.org/publication/HummelHN92" cites: 0 citedby: 0 journal: "LOPLAS" volume: "1" number: "3" pages: "243-260" kind: "article" key: "HummelHN92" - title: "SELSYN-C: A Self-Synchronizing Parallel Programming Language" author: - name: "Weiren Ding" link: "https://researchr.org/alias/weiren-ding" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1992" tags: - "programming languages" - "synchronization" - "parallel programming" - "C++" - "programming" researchr: "https://researchr.org/publication/DingH92" cites: 0 citedby: 0 pages: "143-146" booktitle: "Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings" editor: - name: "Waldemar W. Koczkodaj" link: "https://researchr.org/alias/waldemar-w.-koczkodaj" - name: "Peter E. Lauer" link: "https://researchr.org/alias/peter-e.-lauer" - name: "Anestis A. Toptsis" link: "https://researchr.org/alias/anestis-a.-toptsis" publisher: "IEEE Computer Society" isbn: "0-8186-2812-X" kind: "inproceedings" key: "DingH92" - title: "Supporting Dynamic Data Structures on Distributed-Memory Machines" author: - name: "Anne Rogers" link: "https://researchr.org/alias/anne-rogers" - name: "Martin C. Carlisle" link: "https://researchr.org/alias/martin-c.-carlisle" - name: "John H. Reppy" link: "https://researchr.org/alias/john-h.-reppy" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1995" doi: "http://doi.acm.org/10.1145/201059.201065" links: doi: "http://doi.acm.org/10.1145/201059.201065" tags: - "data-flow" - "C++" researchr: "https://researchr.org/publication/RogersCRH95" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "17" number: "2" pages: "233-263" kind: "article" key: "RogersCRH95" - title: "Early Experiences with Olden" author: - name: "Martin C. Carlisle" link: "https://researchr.org/alias/martin-c.-carlisle" - name: "Anne Rogers" link: "https://researchr.org/alias/anne-rogers" - name: "John H. Reppy" link: "http://www.cs.uchicago.edu/people/jhr" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1993" tags: - "C++" researchr: "https://researchr.org/publication/CarlisleRRH93" cites: 0 citedby: 0 pages: "1-20" booktitle: "Languages and Compilers for Parallel Computing, 6th International Workshop, Portland, Oregon, USA, August 12-14, 1993, Proceedings" editor: - name: "Utpal Banerjee" link: "https://researchr.org/alias/utpal-banerjee" - name: "David Gelernter" link: "https://researchr.org/alias/david-gelernter" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" - name: "David A. Padua" link: "https://researchr.org/alias/david-a.-padua" volume: "768" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57659-2" kind: "inproceedings" key: "CarlisleRRH93" - title: "Heap Analysis and Optimizations for Threaded Programs" author: - name: "Xinan Tang" link: "https://researchr.org/alias/xinan-tang" - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" year: "1997" doi: "http://computer.org/proceedings/pact/8090/80900014abs.htm" links: doi: "http://computer.org/proceedings/pact/8090/80900014abs.htm" tags: - "optimization" - "program analysis" - "analysis" - "program optimization" researchr: "https://researchr.org/publication/TangGHG97" cites: 0 citedby: 0 pages: "14-25" booktitle: "IEEE PACT" kind: "inproceedings" key: "TangGHG97" - 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: "Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers" author: - name: "Christopher Lapkowski" link: "https://researchr.org/alias/christopher-lapkowski" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1998" researchr: "https://researchr.org/publication/LapkowskiH98" cites: 0 citedby: 0 pages: "128-143" booktitle: "Compiler Construction, 7th International Conference, CC 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings" editor: - name: "Kai Koskimies" link: "https://researchr.org/alias/kai-koskimies" volume: "1383" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64304-4" kind: "inproceedings" key: "LapkowskiH98" - 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: "Enabling static analysis for partial java programs" author: - name: "Barthélémy Dagenais" link: "https://researchr.org/alias/barth%C3%A9l%C3%A9my-dagenais" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2008" doi: "http://doi.acm.org/10.1145/1449764.1449790" links: doi: "http://doi.acm.org/10.1145/1449764.1449790" tags: - "Java" - "program analysis" - "analysis" - "static analysis" researchr: "https://researchr.org/publication/DagenaisH08" cites: 0 citedby: 0 pages: "313-328" 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: "DagenaisH08" - title: "Optimizing Matlab through Just-In-Time Specialization" author: - name: "Maxime Chevalier-Boisvert" link: "https://www.pointersgonewild.com" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-11970-5_4" links: doi: "http://dx.doi.org/10.1007/978-3-642-11970-5_4" tags: - "optimization" researchr: "https://researchr.org/publication/Chevalier-BoisvertHV10" cites: 0 citedby: 0 pages: "46-65" booktitle: "Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings" editor: - name: "Rajiv Gupta" link: "https://researchr.org/alias/rajiv-gupta" volume: "6011" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-11969-9" kind: "inproceedings" key: "Chevalier-BoisvertHV10" - title: "Generalized Constant Propagation: A Study in C" author: - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" - name: "Phong Co" link: "https://researchr.org/alias/phong-co" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1996" tags: - "C++" researchr: "https://researchr.org/publication/VerbruggeCH96" cites: 0 citedby: 0 pages: "74-90" booktitle: "Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings" editor: - name: "Tibor Gyimóthy" link: "https://researchr.org/alias/tibor-gyim%C3%B3thy" volume: "1060" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61053-7" kind: "inproceedings" key: "VerbruggeCH96" - title: "Obfuscating Java: The Most Pain for the Least Gain" author: - name: "Michael Batchelder" link: "https://researchr.org/alias/michael-batchelder" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71229-9_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-71229-9_7" tags: - "Java" researchr: "https://researchr.org/publication/BatchelderH07" cites: 0 citedby: 0 pages: "96-110" booktitle: "Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings" editor: - name: "Shriram Krishnamurthi" link: "http://www.cs.brown.edu/~sk/" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" volume: "4420" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71228-2" kind: "inproceedings" key: "BatchelderH07" - 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: "A General Data Dependence Test for Dynamic, Pointer-Based Data Structures" author: - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1994" tags: - "rule-based" - "testing" - "data-flow" researchr: "https://researchr.org/publication/HummelHN94%3A0" cites: 0 citedby: 0 pages: "218-229" booktitle: "PLDI" kind: "inproceedings" key: "HummelHN94:0" - title: "Connection Analysis: A Practical Interprocedural Heap Analysis for C" author: - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1995" tags: - "analysis" - "C++" researchr: "https://researchr.org/publication/GhiyaH95" cites: 0 citedby: 0 pages: "515-533" booktitle: "Languages and Compilers for Parallel Computing, 8th International Workshop, LCPC 95, Columbus, Ohio, USA, August 10-12, 1995, Proceedings" editor: - name: "Chua-Huang Huang" link: "https://researchr.org/alias/chua-huang-huang" - name: "P. Sadayappan" link: "https://researchr.org/alias/p.-sadayappan" - name: "Utpal Banerjee" link: "https://researchr.org/alias/utpal-banerjee" - name: "David Gelernter" link: "https://researchr.org/alias/david-gelernter" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" - name: "David A. Padua" link: "https://researchr.org/alias/david-a.-padua" volume: "1033" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60765-X" kind: "inproceedings" key: "GhiyaH95" - 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: "A programming language for learning environments" author: - name: "Janice I. Glasgow" link: "https://researchr.org/alias/janice-i.-glasgow" - name: "Michael A. Jenkins" link: "https://researchr.org/alias/michael-a.-jenkins" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1986" tags: - "programming languages" - "meta programming" - "meta-model" - "programming" - "Meta-Environment" researchr: "https://researchr.org/publication/GlasgowJH86" cites: 0 citedby: 0 journal: "Computational Intelligence" volume: "2" pages: "68-75" kind: "article" key: "GlasgowJH86" - title: "Programmer-friendly Decompiled Java" author: - name: "Nomair A. Naeem" link: "https://researchr.org/alias/nomair-a.-naeem" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.40" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.40" tags: - "Java" researchr: "https://researchr.org/publication/NaeemH06" cites: 0 citedby: 0 pages: "327-336" booktitle: "14th International Conference on Program Comprehension (ICPC 2006), 14-16 June 2006, Athens, Greece" publisher: "IEEE Computer Society" isbn: "0-7695-2601-2" kind: "inproceedings" key: "NaeemH06" - title: "Intererence analysis tools for parallelizing programs with recursive data structures" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1989" doi: "http://doi.acm.org/10.1145/318789.318812" links: doi: "http://doi.acm.org/10.1145/318789.318812" tags: - "program analysis" - "analysis" - "parallel programming" - "data-flow programming" - "data-flow" - "data-flow analysis" researchr: "https://researchr.org/publication/HendrenN89%3A0" cites: 0 citedby: 0 pages: "205-214" booktitle: "ICS" kind: "inproceedings" key: "HendrenN89:0" - title: "Applying an Abstract Data Structure Description Approach to Parallelizing Scientific Pointer Programs" author: - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1992" tags: - "parallel programming" - "data-flow programming" - "data-flow" - "systematic-approach" researchr: "https://researchr.org/publication/HummelHN92%3A0" cites: 0 citedby: 0 pages: "100-104" booktitle: "ICPP (1)" kind: "inproceedings" key: "HummelHN92:0" - 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: "A framework for optimizing Java using attributes" author: - name: "Patrice Pominville" link: "https://researchr.org/alias/patrice-pominville" - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - name: "Raja Vallée-Rai" link: "https://researchr.org/alias/raja-vall%C3%A9e-rai" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2000" doi: "http://doi.acm.org/10.1145/782034.782042" links: doi: "http://doi.acm.org/10.1145/782034.782042" tags: - "optimization" - "Java" researchr: "https://researchr.org/publication/PominvilleQVHV00" cites: 0 citedby: 0 pages: "8" booktitle: "Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada" editor: - name: "Stephen A. MacKay" link: "https://researchr.org/alias/stephen-a.-mackay" - name: "J. Howard Johnson" link: "https://researchr.org/alias/j.-howard-johnson" publisher: "IBM" kind: "inproceedings" key: "PominvilleQVHV00" - title: "Metrics for Measuring the Effectiveness of Decompilers and Obfuscators" author: - name: "Nomair A. Naeem" link: "https://researchr.org/alias/nomair-a.-naeem" - name: "Michael Batchelder" link: "https://researchr.org/alias/michael-batchelder" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2007.27" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2007.27" researchr: "https://researchr.org/publication/NaeemBH07" cites: 0 citedby: 0 pages: "253-258" booktitle: "15th International Conference on Program Comprehension (ICPC 2007), June 26-29, 2007, Banff, Alberta, Canada" publisher: "IEEE Computer Society" kind: "inproceedings" key: "NaeemBH07" - title: "Efficient Inference of Static Types for Java Bytecode" author: - name: "Etienne Gagnon" link: "https://researchr.org/alias/etienne-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Guillaume Marceau" link: "https://researchr.org/alias/guillaume-marceau" year: "2000" tags: - "type inference" - "Java" researchr: "https://researchr.org/publication/GagnonHM00" cites: 0 citedby: 0 pages: "199-219" booktitle: "Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings" editor: - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" volume: "1824" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67668-6" kind: "inproceedings" key: "GagnonHM00" - title: "Supporting SPMD Execution for Dynamic Data Structures" author: - name: "Anne Rogers" link: "https://researchr.org/alias/anne-rogers" - name: "John H. Reppy" link: "http://www.cs.uchicago.edu/people/jhr" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1992" tags: - "data-flow" researchr: "https://researchr.org/publication/RogersRH92" cites: 0 citedby: 0 pages: "192-207" booktitle: "Languages and Compilers for Parallel Computing, 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings" editor: - name: "Utpal Banerjee" link: "https://researchr.org/alias/utpal-banerjee" - name: "David Gelernter" link: "https://researchr.org/alias/david-gelernter" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" - name: "David A. Padua" link: "https://researchr.org/alias/david-a.-padua" volume: "757" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57502-2" kind: "inproceedings" key: "RogersRH92" - title: "Measuring the dynamic behaviour of AspectJ programs" author: - 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: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Ganesh Sittampalam" link: "http://www.earth.li/~ganesh/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2004" doi: "http://doi.acm.org/10.1145/1028976.1028990" links: doi: "http://doi.acm.org/10.1145/1028976.1028990" tags: - "AspectJ" researchr: "https://researchr.org/publication/DufourGHMSV04" cites: 0 citedby: 0 pages: "150-169" booktitle: "Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004" editor: - name: "John M. Vlissides" link: "https://researchr.org/alias/john-m.-vlissides" - name: "Douglas C. Schmidt" link: "https://researchr.org/alias/douglas-c.-schmidt" address: "Vancouver, BC, Canada" publisher: "ACM" isbn: "1-58113-831-8" kind: "inproceedings" key: "DufourGHMSV04" - 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: "Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C" author: - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1996" doi: "http://doi.acm.org/10.1145/237721.237724" links: doi: "http://doi.acm.org/10.1145/237721.237724" tags: - "analysis" - "graph-rewriting" - "C++" - "rewriting" researchr: "https://researchr.org/publication/GhiyaH96" cites: 0 citedby: 0 pages: "1-15" booktitle: "POPL" kind: "inproceedings" key: "GhiyaH96" - title: "A Framework for Data Dependence Testing in the Presence of Pointers" author: - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1994" tags: - "testing" - "data-flow" researchr: "https://researchr.org/publication/HummelHN94" cites: 0 citedby: 0 pages: "216-224" booktitle: "ICPP" kind: "inproceedings" key: "HummelHN94" - title: "Adding open modules to AspectJ" author: - name: "Neil Ongkingco" link: "https://researchr.org/alias/neil-ongkingco" - name: "Pavel Avgustinov" link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/" - name: "Julian Tibble" link: "https://researchr.org/alias/julian-tibble" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Oege de Moor" link: "http://progtools.comlab.ox.ac.uk/members/oege" - name: "Ganesh Sittampalam" link: "http://www.earth.li/~ganesh/" year: "2006" doi: "http://doi.acm.org/10.1145/1119655.1119664" links: doi: "http://doi.acm.org/10.1145/1119655.1119664" tags: - "AspectJ" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/OngkingcoATHMS06" cites: 0 citedby: 1 pages: "39-50" booktitle: "Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006" editor: - name: "Robert E. Filman" link: "https://researchr.org/alias/robert-e.-filman" publisher: "ACM" isbn: "1-59593-300-X" kind: "inproceedings" key: "OngkingcoATHMS06" - title: "An adaptive, region-based allocator for java" author: - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2002" doi: "http://doi.acm.org/10.1145/773039.512446" links: doi: "http://doi.acm.org/10.1145/773039.512446" tags: - "rule-based" - "Java" researchr: "https://researchr.org/publication/QianH02" cites: 0 citedby: 0 pages: "233-244" booktitle: "MSP/ISMM" kind: "inproceedings" key: "QianH02" - title: "Multi-Valued Constant Propagation Analysis for User Interface Reengineering" author: - name: "Ettore Merlo" link: "https://researchr.org/alias/ettore-merlo" - name: "Jean-Francois Girard" link: "https://researchr.org/alias/jean-francois-girard" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Renato de Mori" link: "https://researchr.org/alias/renato-de-mori" year: "1995" doi: "http://dx.doi.org/10.1142/S0218194095000022" links: doi: "http://dx.doi.org/10.1142/S0218194095000022" tags: - "analysis" researchr: "https://researchr.org/publication/MerloGHM95" cites: 0 citedby: 0 journal: "International Journal of Software Engineering and Knowledge Engineering" volume: "5" number: "1" pages: "5-23" kind: "article" key: "MerloGHM95" - title: "Parallelizing Programs with Recursive Data Structures" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" year: "1989" tags: - "parallel programming" - "data-flow programming" - "data-flow" researchr: "https://researchr.org/publication/HendrenN89" cites: 0 citedby: 0 pages: "49-56" booktitle: "ICPP (2)" kind: "inproceedings" key: "HendrenN89" - title: "Taming Control Flow: A Structured Approach to Eliminating Goto Statements" author: - name: "Ana M. Erosa" link: "https://researchr.org/alias/ana-m.-erosa" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1994" tags: - "data-flow" - "systematic-approach" researchr: "https://researchr.org/publication/ErosaH94" cites: 0 citedby: 0 pages: "229-240" booktitle: "Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France" editor: - name: "Henri E. Bal" link: "https://researchr.org/alias/henri-e.-bal" publisher: "IEEE Computer Society" kind: "inproceedings" key: "ErosaH94" - title: "*J: a tool for dynamic analysis of Java programs" author: - name: "Bruno Dufour" link: "https://researchr.org/alias/bruno-dufour" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2003" doi: "http://doi.acm.org/10.1145/949344.949425" links: doi: "http://doi.acm.org/10.1145/949344.949425" tags: - "Java" - "program analysis" - "analysis" researchr: "https://researchr.org/publication/DufourHV03" cites: 0 citedby: 0 pages: "306-307" booktitle: "Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA" editor: - name: "Ron Crocker" link: "https://researchr.org/alias/ron-crocker" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "1-58113-751-6" kind: "inproceedings" key: "DufourHV03" - title: "Dynamic Profiling and Trace Cache Generation" author: - name: "Marc Berndl" link: "https://researchr.org/alias/marc-berndl" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/cgo/2003/1913/00/19130276abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/cgo/2003/1913/00/19130276abs.htm" tags: - "caching" researchr: "https://researchr.org/publication/BerndlH03" cites: 0 citedby: 0 pages: "276-288" booktitle: "1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 23-26 March 2003, San Francisco, CA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1913-X" kind: "inproceedings" key: "BerndlH03" - title: "A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures" author: - name: "Joseph Hummel" link: "https://researchr.org/alias/joseph-hummel" - name: "Alexandru Nicolau" link: "https://researchr.org/alias/alexandru-nicolau" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1994" tags: - "rule-based" - "data-flow language" - "data-flow" researchr: "https://researchr.org/publication/HummelNH94" cites: 0 citedby: 0 pages: "208-216" booktitle: "Proceedings of the 8th International Symposium on Parallel Processing, Cancún, Mexico, April 1994" editor: - name: "Howard Jay Siegel" link: "https://researchr.org/alias/howard-jay-siegel" publisher: "IEEE Computer Society" isbn: "0-8186-5602-6" kind: "inproceedings" key: "HummelNH94" - title: "AspectMatlab: an aspect-oriented scientific programming language" author: - name: "Toheed Aslam" link: "https://researchr.org/alias/toheed-aslam" - name: "Jesse Doherty" link: "https://researchr.org/alias/jesse-doherty" - name: "Anton Dubrau" link: "https://researchr.org/alias/anton-dubrau" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2010" doi: "http://doi.acm.org/10.1145/1739230.1739252" links: doi: "http://doi.acm.org/10.1145/1739230.1739252" tags: - "programming languages" - "object-oriented programming" - "aspect oriented programming" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/AslamDDH10" cites: 0 citedby: 0 pages: "181-192" booktitle: "Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010" editor: - name: "Jean-Marc Jézéquel" link: "https://researchr.org/alias/jean-marc-j%C3%A3%C2%A9z%C3%A3%C2%A9quel" - name: "Mario Südholt" link: "https://researchr.org/alias/mario-s%C3%A3%C2%BCdholt" publisher: "ACM" isbn: "978-1-60558-958-9" kind: "inproceedings" key: "AslamDDH10" - title: "Designing programming languages for analyzability: a fresh look at pointer data structures" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" year: "1992" doi: "http://dx.doi.org/10.1109/ICCL.1992.185488" links: doi: "http://dx.doi.org/10.1109/ICCL.1992.185488" tags: - "programming languages" - "data-flow language" - "data-flow programming" - "data-flow" - "programming" researchr: "https://researchr.org/publication/HendrenG92" cites: 0 citedby: 0 pages: "242-251" booktitle: "ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992" editor: - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Mario Barbacci" link: "https://researchr.org/alias/mario-barbacci" publisher: "IEEE" isbn: "0-8186-2585-6" kind: "inproceedings" key: "HendrenG92" - title: "Speculative Execution and Branch Prediction on Parallel Machines" author: - name: "Kevin B. Theobald" link: "https://researchr.org/alias/kevin-b.-theobald" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1993" doi: "http://doi.acm.org/10.1145/165939.165958" links: doi: "http://doi.acm.org/10.1145/165939.165958" researchr: "https://researchr.org/publication/TheobaldGH93" cites: 0 citedby: 0 pages: "77-86" booktitle: "International Conference on Supercomputing" kind: "inproceedings" key: "TheobaldGH93" - 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: "Decompiling Java Using Staged Encapsulation" author: - name: "Jerome Miecznikowski" link: "https://researchr.org/alias/jerome-miecznikowski" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2001" doi: "http://computer.org/proceedings/wcre/1303/13030368abs.htm" links: doi: "http://computer.org/proceedings/wcre/1303/13030368abs.htm" tags: - "Java" researchr: "https://researchr.org/publication/MiecznikowskiH01" cites: 0 citedby: 1 pages: "368-374" booktitle: "WCRE" kind: "inproceedings" key: "MiecznikowskiH01" - title: "SableVM: A Research Framework for the Efficient Execution of Java Bytecode" author: - name: "Etienne M. Gagnon" link: "https://researchr.org/alias/etienne-m.-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2001" doi: "http://www.usenix.org/publications/library/proceedings/jvm01/gagnon.html" links: doi: "http://www.usenix.org/publications/library/proceedings/jvm01/gagnon.html" tags: - "Java" researchr: "https://researchr.org/publication/GagnonH01" cites: 0 citedby: 0 pages: "27-40" booktitle: "Proceedings of the 1st Java™ Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA" publisher: "USENIX" isbn: "1-880446-11-1" kind: "inproceedings" key: "GagnonH01" - title: "Locality Analysis for Parallel C Programs" author: - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1999" doi: "http://www.computer.org/tpds/td1999/l0099abs.htm" links: doi: "http://www.computer.org/tpds/td1999/l0099abs.htm" tags: - "program analysis" - "analysis" - "parallel programming" - "C++" researchr: "https://researchr.org/publication/ZhuH99a" cites: 0 citedby: 0 journal: "IEEE Trans. Parallel Distrib. Syst." volume: "10" number: "2" pages: "99-114" kind: "article" key: "ZhuH99a" - title: "Designing Programming Languages for the Analyzability of Pointer Data Structures" author: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Guang R. Gao" link: "https://researchr.org/alias/guang-r.-gao" year: "1993" tags: - "programming languages" - "data-flow language" - "data-flow programming" - "data-flow" - "programming" researchr: "https://researchr.org/publication/HendrenG93" cites: 0 citedby: 0 journal: "Computer Languages, Systems \\& Structures" volume: "19" number: "2" pages: "119-134" kind: "article" key: "HendrenG93" - 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: "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: "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: "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: "Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?" author: - name: "Raja Vallée-Rai" link: "https://researchr.org/alias/raja-vall%C3%A9e-rai" - name: "Etienne Gagnon" link: "https://researchr.org/alias/etienne-gagnon" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Patrick Lam" link: "https://researchr.org/alias/patrick-lam" - name: "Patrice Pominville" link: "https://researchr.org/alias/patrice-pominville" - name: "Vijay Sundaresan" link: "https://researchr.org/alias/vijay-sundaresan" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810018.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810018.htm" tags: - "optimization" - "Java" researchr: "https://researchr.org/publication/Vallee-RaiGHLPS00" cites: 0 citedby: 0 pages: "18-34" booktitle: "Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings" editor: - name: "David A. Watt" link: "https://researchr.org/alias/david-a.-watt" volume: "1781" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67263-X" kind: "inproceedings" key: "Vallee-RaiGHLPS00" - title: "Impact analysis and visualization toolkit for static crosscutting in AspectJ" author: - name: "Dehua Zhang" link: "https://researchr.org/alias/dehua-zhang" - name: "Ekwa Duala-Ekoko" link: "https://researchr.org/alias/ekwa-duala-ekoko" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2009" doi: "http://dx.doi.org/10.1109/ICPC.2009.5090028" links: doi: "http://dx.doi.org/10.1109/ICPC.2009.5090028" tags: - "AspectJ" - "analysis" - "static analysis" researchr: "https://researchr.org/publication/ZhangDH09-0" cites: 0 citedby: 0 pages: "60-69" booktitle: "The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009" publisher: "IEEE Computer Society" kind: "inproceedings" key: "ZhangDH09-0" - title: "Putting Pointer Analysis to Work" author: - name: "Rakesh Ghiya" link: "https://researchr.org/alias/rakesh-ghiya" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1998" doi: "http://doi.acm.org/10.1145/268946.268957" links: doi: "http://doi.acm.org/10.1145/268946.268957" tags: - "analysis" researchr: "https://researchr.org/publication/GhiyaH98" cites: 0 citedby: 0 pages: "121-133" booktitle: "Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages" address: "New York, NY, USA" publisher: "ACM" kind: "inproceedings" key: "GhiyaH98" - title: "Practical virtual method call resolution for Java" author: - name: "Vijay Sundaresan" link: "https://researchr.org/alias/vijay-sundaresan" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Chrislain Razafimahefa" link: "https://researchr.org/alias/chrislain-razafimahefa" - name: "Raja Vallée-Rai" link: "https://researchr.org/alias/raja-vall%C3%A9e-rai" - name: "Patrick Lam" link: "https://researchr.org/alias/patrick-lam" - name: "Etienne Gagnon" link: "https://researchr.org/alias/etienne-gagnon" - name: "Charles Godin" link: "https://researchr.org/alias/charles-godin" year: "2000" doi: "http://doi.acm.org/10.1145/353171.353189" links: doi: "http://doi.acm.org/10.1145/353171.353189" tags: - "Java" researchr: "https://researchr.org/publication/SundaresanHRVLGG00" cites: 0 citedby: 0 pages: "264-280" booktitle: "OOPSLA" kind: "inproceedings" key: "SundaresanHRVLGG00" - title: "EVolve: An Open Extensible Software Visualisation Framework" author: - name: "Qin Wang" link: "https://researchr.org/alias/qin-wang" - name: "Wei Wang" link: "https://researchr.org/alias/wei-wang" - name: "Rhodes Brown" link: "https://researchr.org/alias/rhodes-brown" - name: "Karel Driesen" link: "https://researchr.org/alias/karel-driesen" - name: "Bruno Dufour" link: "https://researchr.org/alias/bruno-dufour" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2003" tags: - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/WangWBDDHV03" cites: 0 citedby: 0 pages: "37-46" booktitle: "Proceedings ACM 2003 Symposium on Software Visualization, San Diego, California, USA, June 11-13, 2003" editor: - name: "Stephan Diehl" link: "https://researchr.org/alias/stephan-diehl" - name: "John T. Stasko" link: "https://researchr.org/alias/john-t.-stasko" - name: "Stephen N. Spencer" link: "https://researchr.org/alias/stephen-n.-spencer" publisher: "ACM" isbn: "1-58113-642-0" kind: "inproceedings" key: "WangWBDDHV03" - title: "Decompiling Java Bytecode: Problems, Traps and Pitfalls" author: - name: "Jerome Miecznikowski" link: "https://researchr.org/alias/jerome-miecznikowski" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2304/23040111.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2304/23040111.htm" tags: - "Java" researchr: "https://researchr.org/publication/MiecznikowskiH02" cites: 0 citedby: 0 pages: "111-127" booktitle: "Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings" editor: - name: "R. Nigel Horspool" link: "https://researchr.org/alias/r.-nigel-horspool" volume: "2304" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43369-4" kind: "inproceedings" key: "MiecznikowskiH02" - title: "A Framework for Optimizing Java Using Attributes" author: - name: "Patrice Pominville" link: "https://researchr.org/alias/patrice-pominville" - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - name: "Raja Vallée-Rai" link: "https://researchr.org/alias/raja-vall%C3%A9e-rai" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" - name: "Clark Verbrugge" link: "https://researchr.org/alias/clark-verbrugge" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2027/20270334.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2027/20270334.htm" tags: - "optimization" - "Java" researchr: "https://researchr.org/publication/PominvilleQVHV01" cites: 0 citedby: 0 pages: "334-354" booktitle: "Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings" editor: - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" volume: "2027" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41861-X" kind: "inproceedings" key: "PominvilleQVHV01" - 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" - title: "Locality Analysis for Parallel C Programs" author: - name: "Yingchun Zhu" link: "https://researchr.org/alias/yingchun-zhu" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "1997" doi: "http://computer.org/proceedings/pact/8090/80900002abs.htm" links: doi: "http://computer.org/proceedings/pact/8090/80900002abs.htm" tags: - "program analysis" - "analysis" - "parallel programming" - "C++" researchr: "https://researchr.org/publication/ZhuH97" cites: 0 citedby: 0 pages: "2-13" booktitle: "IEEE PACT" kind: "inproceedings" key: "ZhuH97" - title: "Towards Dynamic Interprocedural Analysis in JVMs" author: - name: "Feng Qian" link: "https://researchr.org/alias/feng-qian" - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" year: "2004" doi: "http://www.usenix.org/publications/library/proceedings/vm04/tech/qian.html" links: doi: "http://www.usenix.org/publications/library/proceedings/vm04/tech/qian.html" tags: - "analysis" researchr: "https://researchr.org/publication/QianH04" cites: 0 citedby: 0 pages: "139-150" booktitle: "Proceedings of the 3rd Virtual Machine Research and Technology Symposium, May 6-7, 2004, San Jose, CA, USA" publisher: "USENIX" kind: "inproceedings" key: "QianH04" - title: "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" year: "2008" tags: - "compiler" researchr: "https://researchr.org/publication/cc%3A2008" cites: 0 citedby: 0 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" conference: "CC" 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: "proceedings" key: "cc:2008"