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: "PLDI" 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: "java" 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: "euromicro" 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: "CC" 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: "rv" 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: "cc" 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" 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: "tpds" 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: "cc" 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: "GPCE" 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: "CC" 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: "tpds" 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: "cascon" 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: "OOPSLA" 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: "bcs" 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: "CC" 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: "sigsoft" 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: "lcpc" 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: "jpdc" 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: "AOSD" 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: "ICSM" 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: "cc" 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: "CC" 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: "CC" 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: "PASTE" 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: "PLDI" 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: "CC" 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: "cascon" 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: "icci" 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: "TOPLAS" 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: "lcpc" 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: "IEEEpact" 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: "AOSD" 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: "CC" 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: "fates" 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: "OOPSLA" 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: "CC" 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: "cc" 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: "CC" 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: "cc" 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: "lcpc" 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: "TAOSD" 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: "ci" 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: "IWPC" 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" 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: "PLDI" 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: "cascon" 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: "IWPC" 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: "SAS" 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: "lcpc" 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: "OOPSLA" 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" 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: "AOSD" 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: "iwmm" 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: "ijseke" 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" 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: "iccl" 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: "OOPSLA" 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: "CGO" 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: "ipps" 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: "AOSD" 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" 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: "ics" 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: "OOPSLA" 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: "jvm" 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: "tpds" 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: "Comp. Lang., Syst. \\& Struct." 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: "TOSEM" 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" 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: "OOPSLA" 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: "TOPLAS" 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: "cc" 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: "IWPC" 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: "POPL" 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: "softvis" 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: "CC" 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: "CC" 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: "OOPSLA" 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: "IEEEpact" 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: "jvm" 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"