| 2008 |
|---|
| 88 | | Laurie J. Hendren:
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
Springer 2008 |
| 87 | EE | Eric Bodden,
Reehan Shaikh,
Laurie J. Hendren:
Relational aspects as tracematches.
AOSD 2008: 84-95 |
| 86 | EE | Barthélémy Dagenais,
Laurie J. Hendren:
Enabling static analysis for partial java programs.
OOPSLA 2008: 313-328 |
| 85 | EE | Eric Bodden,
Patrick Lam,
Laurie J. Hendren:
Finding programming errors earlier by evaluating runtime monitors ahead-of-time.
SIGSOFT FSE 2008: 36-47 |
| 84 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Relations as an abstraction for BDD-based program analysis.
ACM Trans. Program. Lang. Syst. 30(4): (2008) |
| 83 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.
ACM Trans. Softw. Eng. Methodol. 18(1): (2008) |
| 2007 |
|---|
| 82 | EE | Michael Batchelder,
Laurie J. Hendren:
Obfuscating Java: The Most Pain for the Least Gain.
CC 2007: 96-110 |
| 81 | EE | Eric Bodden,
Laurie J. Hendren,
Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.
ECOOP 2007: 525-549 |
| 80 | EE | Nomair A. Naeem,
Michael Batchelder,
Laurie J. Hendren:
Metrics for Measuring the Effectiveness of Decompilers and Obfuscators.
ICPC 2007: 253-258 |
| 79 | EE | Eric Bodden,
Laurie J. Hendren,
Patrick Lam,
Ondrej Lhoták,
Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches.
RV 2007: 22-37 |
| 2006 |
|---|
| 78 | EE | Neil Ongkingco,
Pavel Avgustinov,
Julian Tibble,
Laurie J. Hendren,
Oege de Moor,
Ganesh Sittampalam:
Adding open modules to AspectJ.
AOSD 2006: 39-50 |
| 77 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Context-Sensitive Points-to Analysis: Is It Worth It?.
CC 2006: 47-64 |
| 76 | EE | Pavel Avgustinov,
Eric Bodden,
Elnar Hajiyev,
Laurie J. Hendren,
Ondrej Lhoták,
Oege de Moor,
Neil Ongkingco,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble,
Mathieu Verbaere:
Aspects for Trace Monitoring.
FATES/RV 2006: 20-39 |
| 75 | EE | Nomair A. Naeem,
Laurie J. Hendren:
Programmer-friendly Decompiled Java.
ICPC 2006: 327-336 |
| 74 | EE | Pavel Avgustinov,
Julian Tibble,
Eric Bodden,
Laurie J. Hendren,
Ondrej Lhoták,
Oege de Moor,
Neil Ongkingco,
Ganesh Sittampalam:
Efficient trace monitoring.
OOPSLA Companion 2006: 685-686 |
| 73 | EE | Pavel Avgustinov,
Aske Simon Christensen,
Laurie J. Hendren,
Sascha Kuzins,
Jennifer Lhoták,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
abc : An Extensible AspectJ Compiler.
T. Aspect-Oriented Software Development I: 293-334 (2006) |
| 2005 |
|---|
| 72 | EE | Pavel Avgustinov,
Aske Simon Christensen,
Laurie J. Hendren,
Sascha Kuzins,
Jennifer Lhoták,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
abc: an extensible AspectJ compiler.
AOSD 2005: 87-98 |
| 71 | EE | Feng Qian,
Laurie J. Hendren:
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment.
CC 2005: 255-270 |
| 70 | EE | Anatole Le,
Ondrej Lhoták,
Laurie J. Hendren:
Using Inter-Procedural Side-Effect Information in JIT Optimizations.
CC 2005: 287-304 |
| 69 | EE | Chris Allan,
Pavel Avgustinov,
Aske Simon Christensen,
Laurie J. Hendren,
Sascha Kuzins,
Jennifer Lhoták,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
abc: The AspectBench Compiler for AspectJ.
GPCE 2005: 10-16 |
| 68 | EE | Chris Allan,
Pavel Avgustinov,
Aske Simon Christensen,
Laurie J. Hendren,
Sascha Kuzins,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
Adding trace matching with free variables to AspectJ.
OOPSLA 2005: 345-364 |
| 67 | EE | Chris Allan,
Pavel Avgustinov,
Aske Simon Christensen,
Bruno Dufour,
Christopher Goard,
Laurie J. Hendren,
Sascha Kuzins,
Jennifer Lhoták,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble,
Clark Verbrugge:
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.
OOPSLA Companion 2005: 88-89 |
| 66 | EE | Pavel Avgustinov,
Aske Simon Christensen,
Laurie J. Hendren,
Sascha Kuzins,
Jennifer Lhoták,
Ondrej Lhoták,
Oege de Moor,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
Optimising aspectJ.
PLDI 2005: 117-128 |
| 65 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Run-time evaluation of opportunities for object inlining in Java.
Concurrency - Practice and Experience 17(5-6): 515-537 (2005) |
| 2004 |
|---|
| 64 | EE | Jennifer Lhoták,
Ondrej Lhoták,
Laurie J. Hendren:
Integrating the Soot Compiler Infrastructure into an IDE.
CC 2004: 281-297 |
| 63 | EE | Bruno Dufour,
Christopher Goard,
Laurie J. Hendren,
Oege de Moor,
Ganesh Sittampalam,
Clark Verbrugge:
Measuring the dynamic behaviour of AspectJ programs.
OOPSLA 2004: 150-169 |
| 62 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Jedd: a BDD-based relational extension of Java.
PLDI 2004: 158-169 |
| 61 | EE | Feng Qian,
Laurie J. Hendren:
Towards Dynamic Interprocedural Analysis in JVMs.
Virtual Machine Research and Technology Symposium 2004: 139-150 |
| 2003 |
|---|
| 60 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Scaling Java Points-to Analysis Using SPARK.
CC 2003: 153-169 |
| 59 | EE | Etienne Gagnon,
Laurie J. Hendren:
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences.
CC 2003: 170-184 |
| 58 | EE | Marc Berndl,
Laurie J. Hendren:
Dynamic Profiling and Trace Cache Generation.
CGO 2003: 276-288 |
| 57 | EE | Bruno Dufour,
Karel Driesen,
Laurie J. Hendren,
Clark Verbrugge:
Dynamic metrics for java.
OOPSLA 2003: 149-168 |
| 56 | EE | Bruno Dufour,
Laurie J. Hendren,
Clark Verbrugge:
*J: a tool for dynamic analysis of Java programs.
OOPSLA Companion 2003: 306-307 |
| 55 | EE | Marc Berndl,
Ondrej Lhoták,
Feng Qian,
Laurie J. Hendren,
Navindra Umanee:
Points-to analysis using BDDs.
PLDI 2003: 103-114 |
| 54 | | Qin Wang,
Wei Wang,
Rhodes Brown,
Karel Driesen,
Bruno Dufour,
Laurie J. Hendren,
Clark Verbrugge:
EVolve: An Open Extensible Software Visualisation Framework.
SOFTVIS 2003: 37-46 |
| 2002 |
|---|
| 53 | EE | Jerome Miecznikowski,
Laurie J. Hendren:
Decompiling Java Bytecode: Problems, Traps and Pitfalls.
CC 2002: 111-127 |
| 52 | EE | Feng Qian,
Laurie J. Hendren,
Clark Verbrugge:
A Comprehensive Approach to Array Bounds Check Elimination for Java.
CC 2002: 325-342 |
| 51 | EE | Ondrej Lhoták,
Laurie J. Hendren:
Run-time evaluation of opportunities for object inlining in Java.
Java Grande 2002: 175-184 |
| 50 | EE | Feng Qian,
Laurie J. Hendren:
An adaptive, region-based allocator for java.
MSP/ISMM 2002: 233-244 |
| 49 | EE | Rhodes Brown,
Karel Driesen,
David Eng,
Laurie J. Hendren,
John Jorgensen,
Clark Verbrugge,
Qin Wang:
STEP: a framework for the efficient encoding of general trace data.
PASTE 2002: 27-34 |
| 2001 |
|---|
| 48 | EE | Patrice Pominville,
Feng Qian,
Raja Vallée-Rai,
Laurie J. Hendren,
Clark Verbrugge:
A Framework for Optimizing Java Using Attributes.
CC 2001: 334-354 |
| 47 | EE | Etienne M. Gagnon,
Laurie J. Hendren:
SableVM: A Research Framework for the Efficient Execution of Java Bytecode.
Java™ Virtual Machine Research and Technology Symposium 2001: 27-40 |
| 46 | EE | Jerome Miecznikowski,
Laurie J. Hendren:
Decompiling Java Using Staged Encapsulation.
WCRE 2001: 368-374 |
| 2000 |
|---|
| 45 | EE | Patrice Pominville,
Feng Qian,
Raja Vallée-Rai,
Laurie J. Hendren,
Clark Verbrugge:
A framework for optimizing Java using attributes.
CASCON 2000: 8 |
| 44 | EE | Raja Vallée-Rai,
Etienne Gagnon,
Laurie J. Hendren,
Patrick Lam,
Patrice Pominville,
Vijay Sundaresan:
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
CC 2000: 18-34 |
| 43 | EE | Vijay Sundaresan,
Laurie J. Hendren,
Chrislain Razafimahefa,
Raja Vallée-Rai,
Patrick Lam,
Etienne Gagnon,
Charles Godin:
Practical virtual method call resolution for Java.
OOPSLA 2000: 264-280 |
| 42 | | Etienne Gagnon,
Laurie J. Hendren,
Guillaume Marceau:
Efficient Inference of Static Types for Java Bytecode.
SAS 2000: 199-219 |
| 1999 |
|---|
| 41 | EE | Raja Vallée-Rai,
Phong Co,
Etienne Gagnon,
Laurie J. Hendren,
Patrick Lam,
Vijay Sundaresan:
Soot - a Java bytecode optimization framework.
CASCON 1999: 13 |
| 40 | EE | Yingchun Zhu,
Laurie J. Hendren:
Guest Editors' Introduction: Special Issue on Compilers and Languages for Parallel and Distributed Computers.
IEEE Trans. Parallel Distrib. Syst. 10(2): 97-98 (1999) |
| 39 | EE | Yingchun Zhu,
Laurie J. Hendren:
Locality Analysis for Parallel C Programs.
IEEE Trans. Parallel Distrib. Syst. 10(2): 99-114 (1999) |
| 38 | | Yingchun Zhu,
Laurie J. Hendren:
Communication Optimizations for Parallel C Programs.
J. Parallel Distrib. Comput. 58(2): 301-332 (1999) |
| 1998 |
|---|
| 37 | | Christopher Lapkowski,
Laurie J. Hendren:
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.
CC 1998: 128-143 |
| 36 | | Rakesh Ghiya,
Laurie J. Hendren,
Yingchun Zhu:
Detecting Parallelism in C Programs with Recursive Darta Structures.
CC 1998: 159-173 |
| 35 | | Yingchun Zhu,
Laurie J. Hendren:
Communication Optimizations for Parallel C Programs.
PLDI 1998: 199-211 |
| 34 | EE | Rakesh Ghiya,
Laurie J. Hendren:
Putting Pointer Analysis to Work.
POPL 1998: 121-133 |
| 33 | EE | Etienne M. Gagnon,
Laurie J. Hendren:
SableCC, an Object-Oriented Compiler Framework.
TOOLS (26) 1998: 140-154 |
| 1997 |
|---|
| 32 | EE | Xinan Tang,
Rakesh Ghiya,
Laurie J. Hendren,
Guang R. Gao:
Heap Analysis and Optimizations for Threaded Programs.
IEEE PACT 1997: 14-25 |
| 31 | EE | Yingchun Zhu,
Laurie J. Hendren:
Locality Analysis for Parallel C Programs.
IEEE PACT 1997: 2-13 |
| 1996 |
|---|
| 30 | EE | Christopher Lapkowski,
Laurie J. Hendren:
Extended SSA numbering: introducing SSA properties to languages with multi-level pointers.
CASCON 1996: 23 |
| 29 | | Clark Verbrugge,
Phong Co,
Laurie J. Hendren:
Generalized Constant Propagation: A Study in C.
CC 1996: 74-90 |
| 28 | EE | Rakesh Ghiya,
Laurie J. Hendren:
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C.
POPL 1996: 1-15 |
| 1995 |
|---|
| 27 | | Rakesh Ghiya,
Laurie J. Hendren:
Connection Analysis: A Practical Interprocedural Heap Analysis for C.
LCPC 1995: 515-533 |
| 26 | EE | Anne Rogers,
Martin C. Carlisle,
John H. Reppy,
Laurie J. Hendren:
Supporting Dynamic Data Structures on Distributed-Memory Machines.
ACM Trans. Program. Lang. Syst. 17(2): 233-263 (1995) |
| 25 | EE | Ettore Merlo,
Pierre-Yves Gagné,
Jean-Francois Girard,
Kostas Kontogiannis,
Laurie J. Hendren,
Prakash Panangaden,
Renato de Mori:
Reengineering User Interfaces.
IEEE Software 12(1): 64-73 (1995) |
| 24 | EE | Ettore Merlo,
Jean-Francois Girard,
Laurie J. Hendren,
Renato de Mori:
Multi-Valued Constant Propagation Analysis for User Interface Reengineering.
International Journal of Software Engineering and Knowledge Engineering 5(1): 5-23 (1995) |
| 1994 |
|---|
| 23 | | Justiani,
Laurie J. Hendren:
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler.
CC 1994: 309-323 |
| 22 | | Ana M. Erosa,
Laurie J. Hendren:
Taming Control Flow: A Structured Approach to Eliminating Goto Statements.
ICCL 1994: 229-240 |
| 21 | | Joseph Hummel,
Laurie J. Hendren,
Alexandru Nicolau:
A Framework for Data Dependence Testing in the Presence of Pointers.
ICPP 1994: 216-224 |
| 20 | | Joseph Hummel,
Alexandru Nicolau,
Laurie J. Hendren:
A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures.
IPPS 1994: 208-216 |
| 19 | | Joseph Hummel,
Laurie J. Hendren,
Alexandru Nicolau:
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures.
PLDI 1994: 218-229 |
| 18 | | Maryam Emami,
Rakesh Ghiya,
Laurie J. Hendren:
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.
PLDI 1994: 242-256 |
| 1993 |
|---|
| 17 | | Ettore Merlo,
Jean-Francois Girard,
Laurie J. Hendren,
Renato de Mori:
Multi-Valued Constant Propagation for the Reengineering of User Interfaces.
ICSM 1993: 120-129 |
| 16 | EE | Kevin B. Theobald,
Guang R. Gao,
Laurie J. Hendren:
Speculative Execution and Branch Prediction on Parallel Machines.
International Conference on Supercomputing 1993: 77-86 |
| 15 | | Martin C. Carlisle,
Anne Rogers,
John H. Reppy,
Laurie J. Hendren:
Early Experiences with Olden.
LCPC 1993: 1-20 |
| 14 | | Laurie J. Hendren,
Guang R. Gao:
Designing Programming Languages for the Analyzability of Pointer Data Structures.
Comput. Lang. 19(2): 119-134 (1993) |
| 1992 |
|---|
| 13 | | Laurie J. Hendren,
Guang R. Gao,
Erik R. Altman,
Chandrika Mukerji:
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs.
CC 1992: 176-191 |
| 12 | | Weiren Ding,
Laurie J. Hendren:
SELSYN-C: A Self-Synchronizing Parallel Programming Language.
ICCI 1992: 143-146 |
| 11 | EE | Laurie J. Hendren,
Guang R. Gao:
Designing programming languages for analyzability: a fresh look at pointer data structures.
ICCL 1992: 242-251 |
| 10 | | Joseph Hummel,
Laurie J. Hendren,
Alexandru Nicolau:
Applying an Abstract Data Structure Description Approach to Parallelizing Scientific Pointer Programs.
ICPP (2) 1992: 100-104 |
| 9 | | Anne Rogers,
John H. Reppy,
Laurie J. Hendren:
Supporting SPMD Execution for Dynamic Data Structures.
LCPC 1992: 192-207 |
| 8 | | Laurie J. Hendren,
C. Donawa,
Maryam Emami,
Guang R. Gao,
Justiani,
B. Sridharan:
Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations.
LCPC 1992: 406-420 |
| 7 | EE | Kevin B. Theobald,
Guang R. Gao,
Laurie J. Hendren:
On the limits of program parallelism and its smoothability.
MICRO 1992: 10-19 |
| 6 | | Laurie J. Hendren,
Joseph Hummel,
Alexandru Nicolau:
Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs.
PLDI 1992: 249-260 |
| 5 | | Joseph Hummel,
Laurie J. Hendren,
Alexandru Nicolau:
Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs.
LOPLAS 1(3): 243-260 (1992) |
| 1990 |
|---|
| 4 | EE | Laurie J. Hendren,
Alexandru Nicolau:
Parallelizing Programs with Recursive Data Structures.
IEEE Trans. Parallel Distrib. Syst. 1(1): 35-47 (1990) |
| 1989 |
|---|
| 3 | | Laurie J. Hendren,
Alexandru Nicolau:
Parallelizing Programs with Recursive Data Structures.
ICPP (2) 1989: 49-56 |
| 2 | EE | Laurie J. Hendren,
Alexandru Nicolau:
Intererence analysis tools for parallelizing programs with recursive data structures.
ICS 1989: 205-214 |
| 1986 |
|---|
| 1 | | Janice I. Glasgow,
Michael A. Jenkins,
Laurie J. Hendren:
A programming language for learning environments.
Computational Intelligence 2: 68-75 (1986) |
