| 2026 | ECOOP | Characterizing Type Feedback in Just-In-Time Compilation. | Sebastin Krynski, Filip Rha, Filip Krikava, Jan Vitek |
| 2024 | ECOOP | The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. | Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek |
| 2022 | PLDI | Deoptless: speculation with dispatched on-stack replacement and specialized continuations. | Olivier Flckiger, Jan Jecmen, Sebastin Krynski, Jan Vitek |
| 2022 | SLE | signatr: A Data-Driven Fuzzing Tool for R. | Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek |
| 2021 | DLS | First-class environments in R. | Aviral Goel, Jan Vitek |
| 2021 | ECOOP | CodeDJ: Reproducible Queries over Large-Scale Software Repositories. | Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek |
| 2020 | DLS | Sampling optimized code for type feedback. | Olivier Flckiger, Andreas Wlchli, Sebastin Krynski, Jan Vitek |
| 2019 | DLS | R melts brains: an IR for first-class environments and lazy effectful arguments. | Olivier Flckiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek |
| 2019 | ECOOP | Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
| 2019 | ECOOP | Towards a Type System for R. | Alexi Turcotte, Jan Vitek |
| 2018 | DLS | Self-contained development environments. | Guido Chari, Javier Pims, Jan Vitek, Olivier Flckiger |
| 2018 | ECOOP | KafKa: Gradual Typing for Objects. | Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek |
| 2018 | ESOP | Correctness of a Concurrent Object Collector for Actor Languages. | Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
| 2018 | ISSTA | Monotonic gradual typing in a common calculus. | Benjamin Chung, Jan Vitek |
| 2018 | ISSTA | Tests from traces: automated unit test extraction for R. | Filip Krikava, Jan Vitek |
| 2017 | ECOOP | Parallelizing Julia with a Non-Invasive DSL. | Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman |
| 2017 | ITP | Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. | Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek |
| 2017 | RTAS | Making Android Run on Time. | Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek |
| 2016 | POPL | Is sound gradual typing dead? | Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen |
| 2015 | ECOOP | Cooking the Books: Formalizing JMM Implementation Recipes. | Gustavo Petri, Jan Vitek, Suresh Jagannathan |
| 2015 | ECOOP | Concrete Types for TypeScript. | Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
| 2015 | POPL | Repeatability, reproducibility and rigor in CS research. | Jan Vitek |
| 2014 | PLDI | Atomicity refinement for verified compilation. | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2014 | VEE | A fast abstract syntax tree interpreter for R. | Tomas Kalibera, Petr Maj, Floral Morandat, Jan Vitek |
| 2014 | VEE | The case for the three R's of systems research: repeatability, reproducibility and rigor. | Jan Vitek |
| 2013 | ECOOP | History-based security for JavaScript. | Jan Vitek |
| 2013 | ICSE | Detecting deadlock in programs with data-centric synchronization. | Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek |
| 2013 | OOPSLA | Should software conferences respect software? | Shriram Krishnamurthi, James Noble, Jan Vitek |
| 2013 | OOPSLA | Flexible access control for javascript. | Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
| 2013 | PLDI | Terra: a multi-stage language for high-performance computing. | Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek |
| 2013 | POPL | Plan B: a buffered memory model for Java. | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2012 | APLAS | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. | Jan Vitek |
| 2012 | ECOOP | Evaluating the Design of the R Language - Objects and Functions for Data Analysis. | Floral Morandat, Brandon Hill, Leo Osvald, Jan Vitek |
| 2012 | OOPSLA | A black-box approach to understanding concurrency in DaCapo. | Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek |
| 2012 | OOPSLA | Eval begone!: semi-automated removal of eval from javascript programs. | Fadi Meawad, Gregor Richards, Floral Morandat, Jan Vitek |
| 2011 | DAC | Virtualizing real-time embedded systems with Java. | Jan Vitek |
| 2011 | ECOOP | The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. | Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek |
| 2011 | EMSOFT | Repeatability, reproducibility, and rigor in systems research. | Jan Vitek, Tomas Kalibera |
| 2011 | OOPSLA | Automated construction of JavaScript benchmarks. | Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek |
| 2010 | ECOOP | A Type System for Data-Centric Synchronization. | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
| 2010 | EuroSys | High-level programming of embedded hard real-time devices. | Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek |
| 2010 | PLDI | Schism: fragmentation-tolerant real-time garbage collection. | Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek |
| 2010 | PLDI | An analysis of the dynamic behavior of JavaScript programs. | Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek |
| 2010 | POPL | Integrating typed and untyped code in a scripting language. | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan stlund, Jan Vitek |
| 2010 | SAC | RTTM: real-time transactional memory. | Martin Schoeberl, Florian Brandner, Jan Vitek |
| 2009 | Coordination | High-Performance Transactional Event Processing. | Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek |
| 2009 | DLS | Of scripts and programs: tall tales, urban legends, and future prospects. | Jan Vitek |
| 2009 | ECOOP | Understanding the dynamics of JavaScript. | Sylvain Lebresne, Gregor Richards, Johan stlund, Tobias Wrigstad, Jan Vitek |
| 2009 | ECOOP | Introduction to: The Myths of Object-Orientation. | Jan Vitek |
| 2009 | ECOOP | Software hardening: a research agenda. | Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek |
| 2009 | ECOOP | Loci: Simple Thread-Locality for Java. | Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek |
| 2009 | OOPSLA | Thorn: robust, concurrent, extensible scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2009 | OOPSLA | Thorn: robust concurrent scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2009 | RTSS | Scheduling Hard Real-Time Garbage Collection. | Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek |
| 2008 | ISORC | Memory Management for Real-Time Java: State of the Art. | Filip Pizlo, Jan Vitek |
| 2008 | PADL | Matchete: Paths through the Pattern Matching Jungle. | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
| 2007 | CC | Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. | Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek |
| 2007 | EuroSys | STMBench7: a benchmark for software transactional memory. | Rachid Guerraoui, Michal Kapalka, Jan Vitek |
| 2007 | OOPSLA | Streamflex: high-throughput stream programming in java. | Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek |
| 2007 | VEE | Reflexes: abstractions for highly responsive systems. | Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek |
| 2006 | APLAS | Combining Offline and Online Optimizations: Register Allocation and Method Inlining. | Hiroshi Yamauchi, Jan Vitek |
| 2006 | ECOOP | Scoped Types and Aspects for Real-Time Java. | Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao |
| 2006 | RTSS | An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. | Filip Pizlo, Jan Vitek |
| 2006 | RTAS | A Real-time Java Virtual Machine for Avionics - An Experience Report. | Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes |
| 2006 | VEE | A new approach to real-time checkpointing. | Antonio Cunei, Jan Vitek |
| 2005 | ECCB | Reconsidering complete search algorithms for protein backbone NMR assignment. | Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek |
| 2005 | OOPSLA | PolyD: a flexible dispatching framework. | Antonio Cunei, Jan Vitek |
| 2005 | SP | Efficient Intrusion Detection using Automaton Inlining. | Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek |
| 2005 | RTSS | Preemptible Atomic Regions for Real-Time Java. | Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek |
| 2004 | Coordination | Optimistic Concurrency Semantics for Transactions in Coordination Languages. | Suresh Jagannathan, Jan Vitek |
| 2004 | ESOP | A Semantic Framework for Designer Transactions. | Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking |
| 2004 | ICPADS | Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. | Bogdan Carbunar, Ananth Grama, Jan Vitek |
| 2004 | IPCCC | A public key algorithm for ad-hoc networks. | Bogdan Carbunar, Ananth Grama, Jan Vitek |
| 2004 | ISORC | Real-Time Java Scoped Memory: Design Patterns and Semantics. | Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek |
| 2004 | RTSS | Scoped Types for Real-Time Java. | Tian Zhao, James Noble, Jan Vitek |
| 2004 | SECON | Coverage preserving redundancy elimination in sensor networks. | Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar |
| 2003 | ECOOP | Java Subtype Tests in Real-Time. | Krzysztof Palacz, Jan Vitek |
| 2003 | OOPSLA | Lightweight confinement for featherweight Java. | Tian Zhao, Jens Palsberg, Jan Vitek |
| 2002 | OOPSLA | Incommunicado: efficient communication for isolates. | Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Dayns |
| 2001 | OOPSLA | Encapsulating Objects with Confined Types. | Christian Grothoff, Jens Palsberg, Jan Vitek |
| 1999 | Coordination | A Coordination Model Agents Based on Secure Spaces. | Ciarn Bryce, Manuel Oriol, Jan Vitek |
| 1999 | OOPSLA | Confined Types. | Jan Vitek, Boris Bokowski |
| 1998 | ECOOP | Flexible Alias Protection. | James Noble, Jan Vitek, John Potter |
| 1997 | ECOOP | Near Optimal Hierarchical Encoding of Types. | Andreas Krall, Jan Vitek, R. Nigel Horspool |
| 1997 | OOPSLA | Efficient Type Inclusion Tests. | Jan Vitek, R. Nigel Horspool, Andreas Krall |
| 1996 | CC | Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. | Jan Vitek, R. Nigel Horspool |
| 1995 | ECOOP | Message Dispatch on Pipelined Processors. | Karel Driesen, Urs Hlzle, Jan Vitek |
| 1994 | ECOOP | Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. | Jan Vitek, R. Nigel Horspool |
| 1992 | CC | Compile-Time Analysis of Object-Oriented Programs. | Jan Vitek, R. Nigel Horspool, James S. Uhl |