Ondrej Lhoták

According to our database1, Ondrej Lhoták authored at least 73 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Implicit Parameters for Logic Programming.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Safe and sound program analysis with Flix.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Tail call elimination and data representation for functional languages on the Java virtual machine.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2017
A simple soundness proof for dependent object types.
PACMPL, 2017

A model for reasoning about JavaScript promises.
PACMPL, 2017

Who you gonna call? Analyzing Web Requests in Android Applications.
CoRR, 2017

A Simple Soundness Proof for Dependent Object Types.
CoRR, 2017

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Context transformations for pointer analysis.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Miniphases: compilation using modular and efficient tree transformations.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Who you gonna call?: analyzing web requests in Android applications.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Mutable WadlerFest DOT.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Granullar: gradual nullable types for Java.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
Mutable WadlerFest DOT.
CoRR, 2016

From Datalog to flix: a declarative language for fixed points on lattices.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Call graphs for languages with parametric polymorphism.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015
Type-Based Call Graph Construction Algorithms for Scala.
ACM Trans. Softw. Eng. Methodol., 2015

Model checking of concurrent programs with static analysis of field accesses.
Sci. Comput. Program., 2015

In defense of soundiness: a manifesto.
Commun. ACM, 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Static analysis of event-driven Node.js JavaScript applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

14th compiler-driven performance workshop.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014
Constructing Call Graphs of Scala Programs.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Parallel execution of Java loops on Graphics Processing Units.
Sci. Comput. Program., 2013

Pointer Analysis (Dagstuhl Seminar 13162).
Dagstuhl Reports, 2013

Averroes: Whole-Program Analysis without the Whole Program.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
Predicate abstraction of Java programs with collections.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Application-Only Call Graph Construction.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Programming Paradigm Driven Heap Analysis.
Proceedings of the Compiler Construction - 21st International Conference, 2012

11th Compiler-Driven Performance Workshop.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

2011
Randomized Backtracking in State Space Traversal.
Proceedings of the Model Checking Software, 2011

Pick your contexts well: understanding object-sensitivity.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Points-to analysis with efficient strong updates.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Identifying future field accesses in exhaustive state space traversal.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Actor-Based Parallel Dataflow Analysis.
Proceedings of the Compiler Construction - 20th International Conference, 2011

Faster Alias Set Analysis Using Summaries.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2010
An Optimal Encoding to Represent a Single Set in an ROBDD.
IEEE Trans. Computers, 2010

Collaborative Runtime Verification with Tracematches.
J. Log. Comput., 2010

Practical Extensions to the IFDS Algorithm.
Proceedings of the Compiler Construction, 19th International Conference, 2010

9th Workshop on Compiler-Driven Performance.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Using XBDDs and ZBDDs in points-to analysis.
Softw., Pract. Exper., 2009

Automatic parallelization for graphics processing units.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Efficient alias set analysis using SSA form.
Proceedings of the 8th International Symposium on Memory Management, 2009

8th Workshop on Compiler-Driven Performance.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.
ACM Trans. Softw. Eng. Methodol., 2008

Relations as an abstraction for BDD-based program analysis.
ACM Trans. Program. Lang. Syst., 2008

Validating temporal properties of interacting objects.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Typestate-like analysis of multiple interacting objects.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Efficient Set Sharing Using ZBDDs.
Proceedings of the Languages and Compilers for Parallel Computing, 2008

Control Flow Emulation on Tiled SIMD Architectures.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
Collaborative Runtime Verification with Tracematches.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Comparing call graphs.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

OOMatch: pattern matching as dispatch in Java.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Using ZBDDs in Points-to Analysis.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
abc : An Extensible AspectJ Compiler.
, 2006

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

Aspects for Trace Monitoring.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Context-Sensitive Points-to Analysis: Is It Worth It?.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
Run-time evaluation of opportunities for object inlining in Java.
Concurrency - Practice and Experience, 2005

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

Adding trace matching with free variables to AspectJ.
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.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

abc: The AspectBench Compiler for AspectJ.
Proceedings of the Generative Programming and Component Engineering, 2005

Using Inter-Procedural Side-Effect Information in JIT Optimizations.
Proceedings of the Compiler Construction, 14th International Conference, 2005

abc: an extensible AspectJ compiler.
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004
Visualizing Program Analysis with the Soot-Eclipse Plugin.
Electr. Notes Theor. Comput. Sci., 2004

Jedd: a BDD-based relational extension of Java.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Integrating the Soot Compiler Infrastructure into an IDE.
Proceedings of the Compiler Construction, 13th International Conference, 2004

2003
Points-to analysis using BDDs.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Scaling Java Points-to Analysis Using SPARK.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Run-time evaluation of opportunities for object inlining in Java.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

1999
Estimating Precision by Random Sampling (poster abstract).
Proceedings of the SIGIR '99: Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1999


  Loading...