- Optimising AspectJ # Pavel Avgustinov 1 , Aske Simon Christensen 2 , Laurie Hendren 3 , Sascha Kuzins 1 ,
- The abc Group Optimising AspectJ
- McGill University School of Computer Science
- McGill University School of Computer Science
- Estimating Precision by Random Sampling Gordon V. Cormack*, Ondrej Lhotak* and Christopher R. Palmer+
- Side-E ect Analysis in Java Class le Attributes 308-621 Project
- McGill University School of Computer Science
- McGill University School of Computer Science
- Application of Machine Learning to Inlining Decisions Ond rej Lhot ak
- McGill University School of Computer Science
- Adding Trace Matching with Free Variables to AspectJ Chris Allan 1 , Pavel Avgustinov 1 , Aske Simon Christensen 2 , Laurie Hendren 3 ,
- A General Data Structure for Ecient Minimization of Deterministic Finite Automata
- Andrew Kane, 96411902 Ond rej Lhot ak, 96040603
- Pick Your Contexts Well: Understanding Object-Sensitivity The Making of a Precise and Scalable Pointer Analysis
- abc: The AspectBench Compiler for AspectJ A Workbench for AspectOriented Programming Language and Compilers Research #
- Run-time Evaluation of Object Inlining Opportunities in Java
- The abc Group Building the abc AspectJ compiler with Polyglot and Soot
- The abc Group Adding trace matching to AspectJ
- McGill University School of Computer Science
- SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK Ond rej Lhot ak
- The abc Group abc : An extensible AspectJ compiler
- abc : An extensible AspectJ compiler # Pavel Avgustinov 1 , Aske Simon Christensen 2 , Laurie Hendren 3 , Sascha Kuzins 1 ,
- McGill University School of Computer Science
- PROGRAM ANALYSIS USING BINARY DECISION DIAGRAMS Ondrej Lhotak
- A staged static program analysis to improve the performance of runtime monitoring
- Using inter-procedural side-effect information in JIT optimizations
- Jedd: A BDD-based Relational Extension of Java Ondrej Lhotak Laurie Hendren
- The abc Group abc : An extensible AspectJ compiler
- An Efficient Storeless Heap Abstraction Using Nomair A. Naeem Ondrej Lhotak
- Extending Typestate Analysis to Multiple Interacting Objects Nomair A. Naeem Ondrej Lhotak
- Context-sensitive points-to analysis: is it worth it? Ondrej Lhotak1,2
- OOMatch: Pattern Matching as Dispatch in Java Adam Richard
- Integrating the Soot compiler infrastructure into an IDE Jennifer Lhotak, Ondrej Lhotak, and Laurie Hendren
- eclipse Technology eXchange Preliminary Version Visualizing Program Analysis with the
- Points-to Analysis using BDDs Marc Berndl, Ondrej Lhotak, Feng Qian, Laurie Hendren and Navindra Umanee
- Object-Sensitive Points-to Ondrej Lhotak
- Efficient Trace Monitoring Pavel Avgustinov1, Julian Tibble1, Eric Bodden2, Laurie Hendren2, Ondrej Lhotak3,
- Efficient Alias Set Analysis Using SSA Form Nomair A. Naeem
- Collaborative runtime verification with tracematches
- Actor-based Parallel Dataflow Analysis Jonathan Rodriguez and Ondrej Lhotak
- A Concurrent IFDS Dataflow Analysis Algorithm Using Actors
- The abc Group Optimising AspectJ
- Runtime Evaluation of Opportunities for Object Inlining in Ond rej Lhot
- Scaling Java Points-To Analysis using SPARK Ondrej Lhotak and Laurie Hendren
- Contextsensitive pointsto analysis: is it worth it? # Ondrej Lhotak 1,2 and Laurie Hendren 2
- McGill University School of Computer Science
- Adding Trace Matching with Free Variables to AspectJ Chris Allan1
- PROGRAM ANALYSIS USING BINARY DECISION DIAGRAMS Ondrej Lhotak
- OOMatch: Pattern Matching as Dispatch in Java Adam Richard
- Integrating the Soot compiler infrastructure into an IDE Jennifer Lhot ak, Ond rej Lhot ak, and Laurie Hendren
- Points-To Analysis with Efficient Strong Updates Ondrej Lhotak Kwok-Chiang Andrew Chung
- The abc Group Building the abc AspectJ compiler with Polyglot and Soot
- Automatic Parallelization for Graphics Processing Units Alan Leung Ondrej Lhotk Ghulam Lashari
- McGill University School of Computer Science
- abc : An extensible AspectJ compiler Pavel Avgustinov1, Aske Simon Christensen2, Laurie Hendren3, Sascha Kuzins1,
- Optimising AspectJ Pavel Avgustinov1
- Faster Alias Set Analysis Using Summaries Nomair A. Naeem and Ondrej Lhotak
- Practical Extensions to the IFDS Algorithm Nomair A. Naeem, Ondrej Lhotak, and Jonathan Rodriguez
- Typestate-like Analysis of Multiple Interacting Objects Nomair A. Naeem Ondrej Lhotak
- Efficient Set Sharing using ZBDDs Mario Mendez-Lojo1
- Control Flow Emulation on Tiled SIMD Architectures
- OOMatch: Pattern Matching as Dispatch in Java Adam Richard
- Comparing Call Graphs Ondrej Lhotak
- Aspects for Trace Monitoring Pavel Avgustinov1, Eric Bodden2, Elnar Hajiyev1, Laurie Hendren2,
- Run-time Evaluation of Opportunities for Object Inlining in Ondrej Lhotak Laurie Hendren
- Run-time Evaluation of Opportunities for Object
- OOMatch combines two areas of research: dispatch and pattern Dispatch: which method is chosen for a call.
- More Examples //Arithmetic expressions
- abc: The AspectBench Compiler for AspectJ A Workbench for Aspect-Oriented Programming Language and Compilers Research
- Estimating Precision by Random Sampling Gordon V. Cormack*, Ondrej Lhotak* and Christopher R. Palmer
- Points-To Analysis with Efficient Strong Updates1 Ondrej Lhotak Kwok-Chiang Andrew Chung
- Extending Typestate Analysis to Multiple Interacting Objects Nomair A. Naeem Ondrej Lhotak
- OOMatch: Pattern Matching as Dispatch in Java Adam Richard
- McGill University School of Computer Science
- McGill University School of Computer Science
- McGill University School of Computer Science
- McGill University School of Computer Science
- Automatic Parallelization for Graphics Processing Units in
- Points-to Analysis Demystified 308-601 presentation
- Incremental Pointer and Escape October 22, 2001
- Java Pathfinder General Overview and CurrentGeneral Overview and Current
- The abc Group Adding trace matching to AspectJ
- Pointsto Analysis using BDDs # Marc Berndl, Ond rej Lhot
- Identifying Future Field Accesses in Exhaustive State Space Traversal
- Randomized Backtracking: Next Steps Pavel Parizek, Ondrej Lhotak
- Randomized Backtracking in State Space Traversal Pavel Parizek and Ondrej Lhotak
- The Soot framework for Java program analysis: a retrospective
