Travelled to:1 × Austria
1 × Belgium
1 × China
1 × Cyprus
1 × Estonia
1 × France
1 × Greece
1 × Poland
1 × Spain
1 × Sweden
1 × Switzerland
2 × Italy
2 × Portugal
2 × United Kingdom
21 × USA
5 × Canada
6 × Germany
Collaborated with:O.Lhoták C.Verbrugge F.Qian R.Ghiya E.Gagnon X.Li J.Miecznikowski J.Doherty M.Batchelder N.A.Naeem Y.Zhu E.Bodden M.Berndl S.Radpour J.Hummel A.Nicolau P.Lam B.Dufour O.d.Moor G.Sittampalam K.Driesen J.Lhoták R.Vallée-Rai V.Kumar R.Garg M.Schäfer A.W.Dubrau N.Lameed B.Dagenais C.Lapkowski E.M.Gagnon Justiani P.Avgustinov D.Sereni J.Tibble P.Pominville M.Chevalier-Boisvert D.Zhang E.Duala-Ekoko A.Le G.Marceau P.Co M.Emami V.Sundaresan A.S.Christensen S.Kuzins Q.Wang R.Brown E.Merlo J.Girard R.d.Mori G.R.Gao E.R.Altman C.Mukerji N.Umanee H.Chen A.Krolik B.Kemme C.Allan H.Samimi S.Artzi T.D.Millstein F.Tip C.Goard W.Wang D.Eng J.Jorgensen C.Razafimahefa C.Godin E.Hajiyev N.Ongkingco M.Verbaere
Talks about:java (15) analysi (13) matlab (9) use (8) framework (7) program (7) pointer (6) static (6) compil (6) aspect (6)
♂ Person: Laurie J. Hendren
DBLP: Hendren:Laurie_J=
Facilitated 3 volumes:
PrCo
Ed
EdContributed to:
2014
2014
20142013
2012
20122012201120112010
2009
200820082007200720072006
200620062005
2005200520052004200420042003
200320032003
20032002
2002
20022001
200120002000
200019981998
1998
19981996199619941994
1993199219922020Wrote 57 papers:
- CSMR-WCRE-2014-LiH #automation #fortran #matlab #named
- Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
- CSMR-WCRE-2014-LiH14a #automation #fortran #matlab
- Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
- OOPSLA-2014-KumarH #compilation #matlab #named #performance
- MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
- PDP-2014-GargH #cpu #gpu #library #multi
- A Portable and High-Performance General Matrix-Multiply (GEMM) Library for GPUs and Single-Chip CPU/GPU Systems (RG, LJH), pp. 672–680.
- CC-2013-RadpourHS #matlab #refactoring
- Refactoring MATLAB (SR, LJH, MS), pp. 224–243.
- ECOOP-2012-DohertyH #framework #matlab #named #static analysis
- McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
- ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
- OOPSLA-2012-DubrauH #matlab
- Taming MATLAB (AWD, LJH), pp. 503–522.
- CC-2011-LameedH #array #compilation #jit #matlab #semantics #staged
- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
- OOPSLA-2011-DohertyHR #analysis #matlab
- Kind analysis for MATLAB (JD, LJH, SR), pp. 99–118.
- CC-2010-Chevalier-BoisvertHV #matlab #optimisation
- Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
- ICPC-2009-ZhangDH #aspectj #impact analysis #tool support #visualisation
- Impact analysis and visualization toolkit for static crosscutting in AspectJ (DZ, EDE, LJH), pp. 60–69.
- FSE-2008-BoddenLH #fault #monitoring #programming #runtime
- Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
- OOPSLA-2008-DagenaisH #java #source code #static analysis
- Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.
- CC-2007-BatchelderH #java #obfuscation
- Obfuscating Java: The Most Pain for the Least Gain (MB, LJH), pp. 96–110.
- ECOOP-2007-BoddenHL #monitoring #performance #program analysis #runtime #staged
- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
- ICPC-2007-NaeemBH #effectiveness #metric #obfuscation
- Metrics for Measuring the Effectiveness of Decompilers and Obfuscators (NAN, MB, LJH), pp. 253–258.
- CC-2006-LhotakH #analysis #points-to #question
- Context-Sensitive Points-to Analysis: Is It Worth It? (OL, LJH), pp. 47–64.
- FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring
- Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
- ICPC-2006-NaeemH #java
- Programmer-friendly Decompiled Java (NAN, LJH), pp. 327–336.
- CC-2005-LeLH #interprocedural #jit #optimisation #using
- Using Inter-Procedural Side-Effect Information in JIT Optimizations (AL, OL, LJH), pp. 287–304.
- CC-2005-QianH #analysis #case study #jit
- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment (FQ, LJH), pp. 255–270.
- GPCE-2005-AllanACHKLLMSST #aspectj #compilation #named
- abc: The AspectBench Compiler for AspectJ (CA, PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 10–16.
- OOPSLA-2005-AllanACHKLMSST #aspectj
- Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
- PLDI-2005-AvgustinovCHKLLMSST #aspectj #optimisation
- Optimising aspectJ (PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 117–128.
- CC-2004-LhotakLH #compilation #framework #ide
- Integrating the Soot Compiler Infrastructure into an IDE (JL, OL, LJH), pp. 281–297.
- OOPSLA-2004-DufourGHMSV #aspectj #behaviour #source code
- Measuring the dynamic behaviour of AspectJ programs (BD, CG, LJH, OdM, GS, CV), pp. 150–169.
- PLDI-2004-LhotakH #java #named #relational
- Jedd: a BDD-based relational extension of Java (OL, LJH), pp. 158–169.
- CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using
- Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
- CC-2003-LhotakH #analysis #java #points-to #scalability #using
- Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.
- CGO-2003-BerndlH #generative #profiling
- Dynamic Profiling and Trace Cache Generation (MB, LJH), pp. 276–288.
- OOPSLA-2003-DufourDHV #java #metric
- Dynamic metrics for java (BD, KD, LJH, CV), pp. 149–168.
- PLDI-2003-BerndlLQHU #analysis #points-to #using
- Points-to analysis using BDDs (MB, OL, FQ, LJH, NU), pp. 103–114.
- SOFTVIS-2003-WangWBDDHV #framework #named #visualisation
- EVolve: An Open Extensible Software Visualisation Framework (QW, WW, RB, KD, BD, LJH, CV), pp. 37–46.
- CC-2002-MiecznikowskiH #bytecode #java #problem
- Decompiling Java Bytecode: Problems, Traps and Pitfalls (JM, LJH), pp. 111–127.
- CC-2002-QianHV #approach #array #bound #java
- A Comprehensive Approach to Array Bounds Check Elimination for Java (FQ, LJH, CV), pp. 325–342.
- ISMM-2002-QianH #adaptation #java
- An adaptive, region-based allocator for java (FQ, LJH), pp. 233–244.
- PASTE-2002-BrownDEHJVW #encoding #framework #named #performance
- STEP: a framework for the efficient encoding of general trace data (RB, KD, DE, LJH, JJ, CV, QW), pp. 27–34.
- CC-2001-PominvilleQVHV #framework #java #optimisation #using
- A Framework for Optimizing Java Using Attributes (PP, FQ, RVR, LJH, CV), pp. 334–354.
- WCRE-2001-MiecznikowskiH #encapsulation #java #staged #using
- Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
- CC-2000-Vallee-RaiGHLPS #bytecode #framework #java #optimisation #question #using
- Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (RVR, EG, LJH, PL, PP, VS), pp. 18–34.
- OOPSLA-2000-SundaresanHRVLGG #java
- Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
- SAS-2000-GagnonHM #bytecode #java #performance #static typing
- Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
- CC-1998-GhiyaHZ #c #detection #parallel #recursion #source code
- Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
- CC-1998-LapkowskiH #multi #pointer
- Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers (CL, LJH), pp. 128–143.
- PLDI-1998-ZhuH #c #communication #optimisation #parallel #source code
- Communication Optimizations for Parallel C Programs (YZ, LJH), pp. 199–211.
- POPL-1998-GhiyaH #analysis #pointer
- Putting Pointer Analysis to Work (RG, LJH), pp. 121–133.
- TOOLS-USA-1998-GagnonH #compilation #framework #object-oriented
- SableCC, an Object-Oriented Compiler Framework (EMG, LJH), pp. 140–154.
- CC-1996-VerbruggeCH #c #case study #constant
- Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.
- POPL-1996-GhiyaH #analysis #c #graph #pointer
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.
- CC-1994-JustianiH #array #c #compilation #dependence #optimisation #testing
- Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
- PLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.
- PLDI-1994-HummelHN #data flow #data type #dependence #pointer
- A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
- CSM-1993-MerloGHM #constant #multi #re-engineering #user interface
- Multi-Valued Constant Propagation for the Reengineering of User Interfaces (EM, JFG, LJH, RdM), pp. 120–129.
- CC-1992-HendrenGAM #framework #graph
- A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs (LJH, GRG, ERA, CM), pp. 176–191.
- PLDI-1992-HendrenHN #abstraction #analysis #data type #imperative #pointer #recursion #source code
- Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.
- CC-2020-ChenKKVH #automation #database #performance #query
- Improving database query performance with automatic fusion (HC, AK, BK, CV, LJH), pp. 63–73.