Laurie J. Hendren

Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Numerical computing on the web: benchmarking for the future.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

HorseIR: bringing array programming languages together with database query processing.

[BibT_eX]

[DOI]

Hanfeng Chen

Joseph Vinish D'silva

Hongji Chen

Bettina Kemme

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017

Pando: A Volunteer Computing Platform for the Web.

[BibT_eX]

[DOI]

Erick Lavoie

Frederic Desprez

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Xor-Overlay Topology Management beyond Kademlia.

[BibT_eX]

[DOI]

Erick Lavoie

Miguel Correia

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

An ELI-to-C compiler: design, implementation, and performance.

[BibT_eX]

[DOI]

Hanfeng Chen

Wai-Mee Ching

Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Predicting Waiting Times in Radiation Oncology Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017

2016

The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.

[BibT_eX]

[DOI]

Sebastian Fischmeister

ACM Trans. Program. Lang. Syst., 2016

Automatic Vectorization for MATLAB.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2016

Efficiently implementing the copy semantics of MATLAB's arrays in JavaScript.

[BibT_eX]

[DOI]

Vincent Foley-Bourgon

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Velociraptor: a compiler toolkit for array-based languages targeting CPUs and GPUs.

[BibT_eX]

[DOI]

Sameer Jagdale

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

AspectMatlab++: annotations, types, and aspects for scientists.

[BibT_eX]

[DOI]

Andrew Bodzay

Proceedings of the 14th International Conference on Modularity, 2015

2014

Just-in-time shape inference for array-based languages.

[BibT_eX]

[DOI]

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

A Portable and High-Performance General Matrix-Multiply (GEMM) Library for GPUs and Single-Chip CPU/GPU Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

MIX10: compiling MATLAB to X10 for high performance.

[BibT_eX]

[DOI]

Vineet Kumar

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Using JavaScript and WebCL for numerical computations: a comparative study of native and web technologies.

[BibT_eX]

[DOI]

Faiz Khan

Vincent Foley-Bourgon

Sujay Kathrotia

Erick Lavoie

Proceedings of the DLS'14, 2014

Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95.

[BibT_eX]

[DOI]

Xu Li

Proceedings of the 2014 Software Evolution Week, 2014

Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95.

[BibT_eX]

[DOI]

Xu Li

Proceedings of the 2014 Software Evolution Week, 2014

Velociraptor: an embedded compiler toolkit for numerical programs targeting CPUs and GPUs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

A modular approach to on-stack replacement in LLVM.

[BibT_eX]

[DOI]

Nurudeen Lameed

Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), 2013

First steps to compiling Matlab to X10.

[BibT_eX]

[DOI]

Vineet Kumar

Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

Optimizing MATLAB feval with dynamic techniques.

[BibT_eX]

[DOI]

Nurudeen Lameed

Proceedings of the DLS'13, 2013

Refactoring MATLAB.

[BibT_eX]

[DOI]

Soroush Radpour

Max Schäfer

Proceedings of the Compiler Construction - 22nd International Conference, 2013

12th Compiler-Driven Performance Workshop.

[BibT_eX]

[DOI]

Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012

Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2012

The Clara framework for hybrid typestate analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Taming MATLAB.

[BibT_eX]

[DOI]

Anton Willy Dubrau

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Automated repair of HTML generation errors in PHP applications using string constraint solving.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

McSAF: A Static Analysis Framework for MATLAB.

[BibT_eX]

[DOI]

Jesse Doherty

Maxime Chevalier-Boisvert

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

McLAB: enabling programming language, compiler and software engineering research for matlab.

[BibT_eX]

[DOI]

Jun Li

Olivier Savary Bélanger

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Kind analysis for MATLAB.

[BibT_eX]

[DOI]

Jesse Doherty

Soroush Radpour

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler.

[BibT_eX]

[DOI]

Nurudeen Lameed

Proceedings of the Compiler Construction - 20th International Conference, 2011

Typing aspects for MATLAB.

[BibT_eX]

[DOI]

Proceedings of the sixth annual workshop on Domain-specific aspect languages, 2011

MetaLexer: a modular lexical specification language.

[BibT_eX]

[DOI]

Andrew Casey

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Collaborative Runtime Verification with Tracematches.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

McFLAT: A Profile-Based Framework for MATLAB Loop Analysis and Transformations.

[BibT_eX]

[DOI]

Amina Aslam

Maxime Chevalier-Boisvert

Proceedings of the Languages and Compilers for Parallel Computing, 2010

Optimizing Matlab through Just-In-Time Specialization.

[BibT_eX]

[DOI]

Maxime Chevalier-Boisvert

Proceedings of the Compiler Construction, 19th International Conference, 2010

McLab: an extensible compiler toolkit for MATLAB and related languages.

[BibT_eX]

[DOI]

Andrew Casey

Jun Li

Jesse Doherty

Olivier Savary Bélanger

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

AspectMatlab: an aspect-oriented scientific programming language.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

Impact analysis and visualization toolkit for static crosscutting in AspectJ.

[BibT_eX]

[DOI]

Dehua Zhang

Ekwa Duala-Ekoko

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

2008

Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

Relations as an abstraction for BDD-based program analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Finding programming errors earlier by evaluating runtime monitors ahead-of-time.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Enabling static analysis for partial java programs.

[BibT_eX]

[DOI]

Barthélémy Dagenais

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Object representatives: a uniform abstraction for pointer information.

[BibT_eX]

[DOI]

Proceedings of the Visions of Computer Science, 2008

Relational aspects as tracematches.

[BibT_eX]

[DOI]

Reehan Shaikh

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Metrics for Measuring the Effectiveness of Decompilers and Obfuscators.

[BibT_eX]

[DOI]

Nomair A. Naeem

Michael Batchelder

Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Obfuscating Java: The Most Pain for the Least Gain.

[BibT_eX]

[DOI]

Michael Batchelder

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

<i>abc</i> : An Extensible AspectJ Compiler.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Efficient trace monitoring.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Programmer-friendly Decompiled Java.

[BibT_eX]

[DOI]

Nomair A. Naeem

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

Aspects for Trace Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Context-Sensitive Points-to Analysis: Is It Worth It?.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 15th International Conference, 2006

Adding open modules to AspectJ.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Run-time evaluation of opportunities for object inlining in Java.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 2005

Optimising aspectJ.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Adding trace matching with free variables to AspectJ.

[BibT_eX]

[DOI]

Chris Allan

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.

[BibT_eX]

[DOI]

Chris Allan

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

<i>abc</i>: The AspectBench Compiler for AspectJ.

[BibT_eX]

[DOI]

Chris Allan

Proceedings of the Generative Programming and Component Engineering, 2005

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

Using Inter-Procedural Side-Effect Information in JIT Optimizations.

[BibT_eX]

[DOI]

Anatole Le

Proceedings of the Compiler Construction, 14th International Conference, 2005

abc: an extensible AspectJ compiler.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Jedd: a BDD-based relational extension of Java.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Measuring the dynamic behaviour of AspectJ programs.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Towards Dynamic Interprocedural Analysis in JVMs.

[BibT_eX]

[DOI]

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

Integrating the Soot Compiler Infrastructure into an IDE.

[BibT_eX]

[DOI]

Jennifer Lhoták

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

EVolve: An Open Extensible Software Visualisation Framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM 2003 Symposium on Software Visualization, 2003

Points-to analysis using BDDs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

*J: a tool for dynamic analysis of Java programs.

[BibT_eX]

[DOI]

Bruno Dufour

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Dynamic metrics for java.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Dynamic Profiling and Trace Cache Generation.

[BibT_eX]

[DOI]

Marc Berndl

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

Scaling Java Points-to Analysis Using SPARK.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 12th International Conference, 2003

Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences.

[BibT_eX]

[DOI]

Etienne Gagnon

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

STEP: a framework for the efficient encoding of general trace data.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

An adaptive, region-based allocator for java.

[BibT_eX]

[DOI]

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

A Comprehensive Approach to Array Bounds Check Elimination for Java.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 11th International Conference, 2002

Decompiling Java Bytecode: Problems, Traps and Pitfalls.

[BibT_eX]

[DOI]

Jerome Miecznikowski

Proceedings of the Compiler Construction, 11th International Conference, 2002

2001

Decompiling Java Using Staged Encapsulation.

[BibT_eX]

[DOI]

Jerome Miecznikowski

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

SableVM: A Research Framework for the Efficient Execution of Java Bytecode.

[BibT_eX]

[DOI]

Etienne M. Gagnon

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

2000

Efficient Inference of Static Types for Java Bytecode.

[BibT_eX]

[DOI]

Etienne Gagnon

Guillaume Marceau

Proceedings of the Static Analysis, 7th International Symposium, 2000

Practical virtual method call resolution for Java.

[BibT_eX]

[DOI]

Vijay Sundaresan

Chrislain Razafimahefa

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 9th International Conference, 2000

A framework for optimizing Java using attributes.

[BibT_eX]

[DOI]

Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000

1999

Locality Analysis for Parallel C Programs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1999

Guest Editors' Introduction: Special Issue on Compilers and Languages for Parallel and Distributed Computers.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1999

Communication Optimizations for Parallel C Programs.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1999

Soot - a Java bytecode optimization framework.

[BibT_eX]

[DOI]

Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

1998

SableCC, an Object-Oriented Compiler Framework.

[BibT_eX]

[DOI]

Etienne M. Gagnon

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Putting Pointer Analysis to Work.

[BibT_eX]

[DOI]

Proceedings of the POPL '98, 1998

Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.

[BibT_eX]

[DOI]

Christopher Lapkowski

Proceedings of the Compiler Construction, 7th International Conference, 1998

Detecting Parallelism in C Programs with Recursive Darta Structures.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

Compiling C for the EARTH multithreaded architecture.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1997

Heap Analysis and Optimizations for Threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), 1997

1996

A Study of the EARTH-MANNA Multithreaded System.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1996

Connection Analysis: A Practical Interprocedural Heap Analysis for C.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1996

Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Generalized Constant Propagation: A Study in C.

[BibT_eX]

[DOI]

Phong Co

Proceedings of the Compiler Construction, 6th International Conference, 1996

Extended SSA numbering: introducing SSA properties to languages with multi-level pointers.

[BibT_eX]

[DOI]

Christopher Lapkowski

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

Compiling C for the EARTH multithreaded architecture.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, 1996

1995

Supporting Dynamic Data Structures on Distributed-Memory Machines.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1995

Reengineering User Interfaces.

[BibT_eX]

[DOI]

IEEE Softw., 1995

Multi-Valued Constant Propagation Analysis for User Interface Reengineering.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1995

Path Collection and Dependence Testing in the Presence of Dynamic, Pointer-Based Data Structures.

[BibT_eX]

[DOI]

Joe Hummel

Alex Nicolau

Proceedings of the Languages, 1995

A design study of the EARTH multiprocessor.

[BibT_eX]

[DOI]

Shashank S. Nemawarkar

Prakash Panangaden

Xun Xue

Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994

A General Data Dependence Test for Dynamic, Pointer-Based Data Structures.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.

[BibT_eX]

[DOI]

Maryam Emami

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Processing, 1994

A Framework for Data Dependence Testing in the Presence of Pointers.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Parallel Processing, 1994

Taming Control Flow: A Structured Approach to Eliminating Goto Statements.

[BibT_eX]

[DOI]

Ana M. Erosa

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler.

[BibT_eX]

[DOI]

Justiani

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

Designing Programming Languages for the Analyzability of Pointer Data Structures.

[BibT_eX]

[DOI]

Comput. Lang., 1993

Early Experiences with Olden.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1993

Multi-Valued Constant Propagation for the Reengineering of User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1993

Speculative Execution and Branch Prediction on Parallel Machines.

[BibT_eX]

[DOI]

Kevin B. Theobald

Proceedings of the 7th international conference on Supercomputing, 1993

1992

Abstract Description of Pointer Data Structures: An Approach for Improving the Analysis and Optimization of Imperative Programs.

[BibT_eX]

[DOI]

LOPLAS, 1992

Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

On the limits of program parallelism and its smoothability.

[BibT_eX]

[DOI]

Kevin B. Theobald

Proceedings of the 25th Annual International Symposium on Microarchitecture, 1992

Supporting SPMD Execution for Dynamic Data Structures.

[BibT_eX]

[DOI]

Anne Rogers

John H. Reppy

Proceedings of the Languages and Compilers for Parallel Computing, 1992

Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

Applying an Abstract Data Structure Description Approach to Parallelizing Scientific Pointer Programs.

[BibT_eX]

Proceedings of the 1992 International Conference on Parallel Processing, 1992

Designing programming languages for analyzability: a fresh look at pointer data structures.

[BibT_eX]

[DOI]

Proceedings of the ICCL'92, 1992

SELSYN-C: A Self-Synchronizing Parallel Programming Language.

[BibT_eX]

Weiren Ding

Proceedings of the Computing and Information, 1992

A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 1992

1990

Parallelizing Programs with Recursive Data Structures.

[BibT_eX]

PhD thesis, 1990

Parallelizing Programs with Recursive Data Structures.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1990

1989

Intererence analysis tools for parallelizing programs with recursive data structures.

[BibT_eX]

[DOI]

Proceedings of the 3rd international conference on Supercomputing, 1989

1986

A programming language for learning environments.

[BibT_eX]

[DOI]

Janice I. Glasgow

Michael A. Jenkins