Ondřej Lhoták

Artificial Intelligence · 2003–2015

A researcher in the Science corpus: 6 papers; trusts 8 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 21 citations into it; #18,398 of 35,345 by trust here, #20,836 by citations
• Software — 13 citations into it
• Computational Theory and Mathematics — 7 citations into it
• Hardware and Architecture — 7 citations into it; #609 of 1,551 by trust here, #1,043 by citations

Whom Ondřej Lhoták trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Manuvir Das
2. John Whaley
3. Martin Bravenboer

Who trusts Ondřej Lhoták overall

1. John Whaley
2. Fengguo Wei
3. Damien Octeau
4. Monica S. Lam
5. Sankardas Roy
6. Patrick Drew McDaniel
7. Siegfried Rasthofer
8. Eric Bodden
9. Alexandre Bartel
10. Xinming Ou

Papers from Ondřej Lhoták's perspective

Ordered by how strongly the researchers Ondřej Lhoták trusts endorse each paper. Same corpus, a different order for every researcher.

1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
2. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (International Conference on Compiler Construction)
5. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
7. Parameterized object sensitivity for points-to analysis for Java (TSEM)
8. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
10. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)

Their papers

• Pick your contexts well: understanding object-sensitivity (2011) — 332 citations
• In defense of soundiness (2015) — 154 citations
• The Soot framework for Java program analysis: a retrospective (2011) — 410 citations
• abc: an extensible AspectJ compiler (2005) — 322 citations
• Adding trace matching with free variables to AspectJ (2005) — 475 citations
• Scaling Java Points-to Analysis Using SPARK (2003) — 494 citations