Compile-Time Analysis of Object-Oriented Programs. - Jan Vitek; R. Nigel Horspool; James S. Uhl (CC, 1992)

Static Analysis of PostScript Code. - R. Nigel Horspool; Jan Vitek (Comput. Lang., 1993)

Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. - Jan Vitek; R. Nigel Horspool (ECOOP, 1994)

Message Dispatch on Pipelined Processors. - Karel Driesen; Urs Hölzle; Jan Vitek (ECOOP, 1995)

Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. - Jan Vitek; R. Nigel Horspool (CC, 1996)

Security and Communication in Mobile Object Systems. - Jan Vitek; Manuel Serrano; Dimitri Thanos (Mobile Object Systems, 1996)

Near Optimal Hierarchical Encoding of Types. - Andreas Krall; Jan Vitek; R. Nigel Horspool (ECOOP, 1997)

On Extending Java. - Andreas Krall; Jan Vitek (JMLC, 1997)

Efficient Type Inclusion Tests. - Jan Vitek; R. Nigel Horspool; Andreas Krall (OOPSLA, 1997)

JAZZ: an efficient compressed format for Java archive files. - Quetzalcoatl Bradley; R. Nigel Horspool; Jan Vitek (CASCON, 1998)

Flexible Alias Protection. - James Noble 001; Jan Vitek; John Potter (ECOOP, 1998)

4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. - Ciarán Bryce; Leila Ismail; Jan Vitek (ECOOP Workshops, 1998)

Seal: A Framework for Secure Mobile Computations. - Jan Vitek; Giuseppe Castagna (ICCL Workshop: Internet Programming Languages, 1998)

Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. - Paolo Ciancarini; Robert Tolksdorf; Jan Vitek (World Wide Web, 1998)

A Coordination Model Agents Based on Secure Spaces. - Ciarán Bryce; Manuel Oriol; Jan Vitek (COORDINATION, 1999)

Secure Composition of Insecure Components. - Peter Sewell; Jan Vitek (CSFW, 1999)

Aliasing in Object Oriented Systems. - James Noble 001; Jan Vitek; Doug Lea; Paulo Sérgio Almeida (ECOOP Workshops, 1999)

Confined Types. - Jan Vitek; Boris Bokowski (OOPSLA, 1999)

Secure Composition of Untrusted Code: Wrappers and Causality Types. - Peter Sewell; Jan Vitek (CSFW, 2000)

Lime Revisited. - Bogdan Carbunar; Marco Túlio de Oliveira Valente; Jan Vitek (Mobile Agents, 2001)

The JavaSeal Mobile Agent Kernel. - Ciarán Bryce; Jan Vitek (Auton. Agents Multi Agent Syst., 2001)

CoreLime: A Coordination Model for Mobile Agents. - Bogdan Carbunar; Marco Túlio de Oliveira Valente; Jan Vitek (ConCoord, 2001)

Confined types in Java. - Jan Vitek; Boris Bokowski (Softw. Pract. Exp., 2001)

Resource Management for Safe Languages. - Grzegorz Czajkowski; Jan Vitek (ECOOP Workshops, 2002)

Incommunicado: efficient communication for isolates. - Krzysztof Palacz; Jan Vitek; Grzegorz Czajkowski; Laurent Daynès (OOPSLA, 2002)

Type-Based Distributed Access Control. - Tom Chothia; Dominic Duggan; Jan Vitek (CSFW, 2003)

Java Subtype Tests in Real-Time. - Krzysztof Palacz; Jan Vitek (ECOOP, 2003)

Engineering a customizable intermediate representation. - Krzysztof Palacz; Jason Baker; Chapman Flack; Christian Grothoff; Hiroshi Yamauchi; Jan Vitek (IVME, 2003)

Lightweight confinement for featherweight Java. - Tian Zhao 002; Jens Palsberg; Jan Vitek (OOPSLA, 2003)

Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. - Peter Sewell; Jan Vitek (J. Comput. Secur., 2003)

Coordinating processes with secure spaces. - Jan Vitek; Ciarán Bryce; Manuel Oriol (Sci. Comput. Program., 2003)

Optimistic Concurrency Semantics for Transactions in Coordination Languages. - Suresh Jagannathan; Jan Vitek (COORDINATION, 2004)

A Semantic Framework for Designer Transactions. - Jan Vitek; Suresh Jagannathan; Adam Welc; Antony L. Hosking (ESOP, 2004)

A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. - Bogdan Carbunar; Ioannis Ioannidis; Ananth Grama; Jan Vitek (ICETE (3), 2004)

Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. - Bogdan Carbunar; Ananth Grama; Jan Vitek (ICPADS, 2004)

A public key algorithm for ad-hoc networks. - Bogdan Carbunar; Ananth Grama; Jan Vitek (IPCCC, 2004)

Real-Time Java Scoped Memory: Design Patterns and Semantics. - Filip Pizlo; J. M. Fox; David Holmes; Jan Vitek (ISORC, 2004)

Scoped Types for Real-Time Java. - Tian Zhao 002; James Noble 001; Jan Vitek (RTSS, 2004)

Coverage preserving redundancy elimination in sensor networks. - Bogdan Carbunar; Ananth Grama; Jan Vitek; Octavian Carbunar (SECON, 2004)

Coordination and mobility in CoreLime. - Bogdan Carbunar; Marco Túlio de Oliveira Valente; Jan Vitek (Math. Struct. Comput. Sci., 2004)

Reconsidering complete search algorithms for protein backbone NMR assignment. - Olga Vitek; Chris Bailey-Kellogg; Bruce A. Craig; Paul Kuliniewicz; Jan Vitek (ECCB/JBI, 2005)

PolyD: a flexible dispatching framework. - Antonio Cunei; Jan Vitek (OOPSLA, 2005)

Preemptible Atomic Regions for Real-Time Java. - Jeremy Manson; Jason Baker; Antonio Cunei; Suresh Jagannathan; Marek Prochazka; Bin Xin 001; Jan Vitek (RTSS, 2005)

Efficient Intrusion Detection using Automaton Inlining. - Rajeev Gopalakrishna; Eugene H. Spafford; Jan Vitek (S&P, 2005)

The Seal Calculus. - Giuseppe Castagna; Jan Vitek; Francesco Zappa Nardelli (Inf. Comput., 2005)

A transactional object calculus. - Suresh Jagannathan; Jan Vitek; Adam Welc; Antony L. Hosking (Sci. Comput. Program., 2005)

Concurrency and synchronization in Java programs. - Mark Moir; Nir Shavit; Jan Vitek (Sci. Comput. Program., 2005)

Engineering a common intermediate representation for the Ovm framework. - Krzysztof Palacz; Jason Baker; Chapman Flack; Christian Grothoff; Hiroshi Yamauchi; Jan Vitek (Sci. Comput. Program., 2005)

RTJBench: A Real-Time Java Benchmarking Framework. - Marek Prochazka; Andrey Madan; Jan Vitek; Wenchang Liu (Stud. Inform. Univ., 2005)

Combining Offline and Online Optimizations: Register Allocation and Method Inlining. - Hiroshi Yamauchi; Jan Vitek (APLAS, 2006)

Scoped Types and Aspects for Real-Time Java. - Chris Andreae; Yvonne Coady; Celina Gibbs; James Noble 001; Jan Vitek; Tian Zhao 002 (ECOOP, 2006)

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. - Roland Ducournau; Etienne Gagnon; Chandra Krintz; Philippe Mulet; Jan Vitek; Olivier Zendra (ECOOP Workshops, 2006)

Dynamic aspects for runtime fault determination and recovery. - Jeremy Manson; Jan Vitek; Suresh Jagannathan (IPDPS, 2006)

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 (IEEE Real Time Technology and Applications Symposium, 2006)

An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. - Filip Pizlo; Jan Vitek (RTSS, 2006)

A new approach to real-time checkpointing. - Antonio Cunei; Jan Vitek (VEE, 2006)

Type-based confinement. - Tian Zhao 002; Jens Palsberg; Jan Vitek (J. Funct. Program., 2006)

Redundancy and coverage detection in sensor networks. - Bogdan Carbunar; Ananth Grama; Jan Vitek; Octavian Carbunar (ACM Trans. Sens. Networks, 2006)

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. - Jason Baker; Antonio Cunei; Filip Pizlo; Jan Vitek (CC, 2007)

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. - Olivier Zendra; Eric Jul; Roland Ducournau; Etienne Gagnon; Richard E. Jones; Chandra Krintz; Philippe Mulet; Jan Vitek (ECOOP Workshops, 2007)

STMBench7: a benchmark for software transactional memory. - Rachid Guerraoui; Michal Kapalka; Jan Vitek (EuroSys, 2007)

Garbage collection for safety critical Java. - Martin Schoeberl; Jan Vitek (JTRES, 2007)

Hierarchical real-time garbage collection. - Filip Pizlo; Antony L. Hosking; Jan Vitek (LCTES, 2007)

Streamflex: high-throughput stream programming in java. - Jesper Honig Spring; Jean Privat; Rachid Guerraoui; Jan Vitek (OOPSLA, 2007)

Reflexes: abstractions for highly responsive systems. - Jesper Honig Spring; Filip Pizlo; Rachid Guerraoui; Jan Vitek (VEE, 2007)

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06 - Roland Ducournau; Etienne Gagnon; Chandra Krintz; Philippe Mulet; Jan Vitek; Olivier Zendra (CoRR, 2007)

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 - Olivier Zendra; Eric Jul; Roland Ducournau; Etienne Gagnon; Richard E. Jones; Chandra Krintz; Philippe Mulet; Jan Vitek (CoRR, 2007)

Scoped types and aspects for real-time Java memory management. - Chris Andreae; Yvonne Coady; Celina Gibbs; James Noble 001; Jan Vitek; Tian Zhao 002 (Real Time Syst., 2007)

A real-time Java virtual machine with applications in avionics. - Austin Armbruster; Jason Baker; Antonio Cunei; Chapman Flack; David Holmes; Filip Pizlo; Edward Pla; Marek Prochazka; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2007)

Encapsulating objects with confined types. - Christian Grothoff; Jens Palsberg; Jan Vitek (ACM Trans. Program. Lang. Syst., 2007)

Memory Management for Real-Time Java: State of the Art. - Filip Pizlo; Jan Vitek (ISORC, 2008)

Flexible task graphs: a unified restricted thread programming model for java. - Joshua S. Auerbach; David F. Bacon; Rachid Guerraoui; Jesper Honig Spring; Jan Vitek (LCTES, 2008)

Matchete: Paths through the Pattern Matching Jungle. - Martin Hirzel; Nathaniel Nystrom; Bard Bloom; Jan Vitek (PADL, 2008)

Implicit ownership types for memory management. - Tian Zhao 002; Jason Baker; James Hunt; James Noble 001; Jan Vitek (Sci. Comput. Program., 2008)

An efficient and flexible toolkit for composing customized method dispatchers. - Antonio Cunei; Jan Vitek (Softw. Pract. Exp., 2008)

High-Performance Transactional Event Processing. - Antonio Cunei; Rachid Guerraoui; Jesper Honig Spring; Jean Privat; Jan Vitek (COORDINATION, 2009)

Of scripts and programs: tall tales, urban legends, and future prospects. - Jan Vitek (DLS, 2009)

Understanding the dynamics of JavaScript. - Sylvain Lebresne; Gregor Richards; Johan Östlund; Tobias Wrigstad; Jan Vitek (STOP@ECOOP, 2009)

Introduction to: The Myths of Object-Orientation. - Jan Vitek (ECOOP, 2009)

Software hardening: a research agenda. - Tobias Wrigstad; Patrick Eugster; John Field; Nate Nystrom; Jan Vitek (STOP@ECOOP, 2009)

Loci: Simple Thread-Locality for Java. - Tobias Wrigstad; Filip Pizlo; Fadi Meawad; Lei Zhao; Jan Vitek (ECOOP, 2009)

CDx: a family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Filip Pizlo; Ales Plsek; Ben L. Titzer; Jan Vitek (JTRES, 2009)

Real time Java on resource-constrained platforms with Fiji VM. - Filip Pizlo; Lukasz Ziarek; Jan Vitek (JTRES, 2009)

A technology compatibility kit for safety critical Java. - Lei Zhao; Daniel Tang; Jan Vitek (JTRES, 2009)

Thorn: robust, concurrent, extensible scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA, 2009)

Thorn: robust concurrent scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA Companion, 2009)

Scheduling Hard Real-Time Garbage Collection. - Tomas Kalibera; Filip Pizlo; Antony L. Hosking; Jan Vitek (RTSS, 2009)

Programming Models for Concurrency and Real-Time. - Jan Vitek (TOOLS (47), 2009)

Accurate garbage collection in uncooperative environments revisited. - Jason Baker; Antonio Cunei; Tomas Kalibera; Filip Pizlo; Jan Vitek (Concurr. Comput. Pract. Exp., 2009)

Challenge benchmarks for verification of real-time programs: (abstract only). - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (ACM SIGPLAN Notices, 2009)

Preface. - Marcello M. Bonsangue; Einar Broch Johnsen; Amy L. Murphy; Jan Vitek (Theor. Comput. Sci., 2009)

Mobile Agents. - Niranjan Suri; Jan Vitek (Encyclopedia of Complexity and Systems Science, 2009)

A Type System for Data-Centric Synchronization. - Mandana Vaziri; Frank Tip; Julian Dolby; Christian Hammer 001; Jan Vitek (ECOOP, 2010)

High-level programming of embedded hard real-time devices. - Filip Pizlo; Lukasz Ziarek; Ethan Blanton; Petr Maj; Jan Vitek (EuroSys, 2010)

Developing safety critical Java applications with oSCJ/L0. - Ales Plsek; Lei Zhao; Veysel Harun Sahin; Daniel Tang; Tomas Kalibera; Jan Vitek (JTRES, 2010)

Static checking of safety critical Java annotations. - Daniel Tang; Ales Plsek; Jan Vitek (JTRES, 2010)

Schism: fragmentation-tolerant real-time garbage collection. - Filip Pizlo; Lukasz Ziarek; Petr Maj; Antony L. Hosking; Ethan Blanton; Jan Vitek (PLDI, 2010)

An analysis of the dynamic behavior of JavaScript programs. - Gregor Richards; Sylvain Lebresne; Brian Burg; Jan Vitek (PLDI, 2010)

Challenge benchmarks for verification of real-time programs. - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (PLPV, 2010)

Integrating typed and untyped code in a scripting language. - Tobias Wrigstad; Francesco Zappa Nardelli; Sylvain Lebresne; Johan Östlund; Jan Vitek (POPL, 2010)

RTTM: real-time transactional memory. - Martin Schoeberl; Florian Brandner; Jan Vitek (SAC, 2010)

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. - Nicholas Kidd; Suresh Jagannathan; Jan Vitek (SPIN, 2010)

Conference Report: TOOLS'10. - Jan Vitek (J. Object Technol., 2010)

Reflexes: Abstractions for integrating highly responsive tasks into Java applications. - Jesper Honig Spring; Filip Pizlo; Jean Privat; Rachid Guerraoui; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2010)

Virtualizing real-time embedded systems with Java. - Jan Vitek (DAC, 2011)

The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. - Gregor Richards; Christian Hammer 001; Brian Burg; Jan Vitek (ECOOP, 2011)

Repeatability, reproducibility, and rigor in systems research. - Jan Vitek; Tomas Kalibera (EMSOFT, 2011)

Real-time wait-free queues using micro-transactions. - Fadi Meawad; Martin Schoeberl; Karthik Iyer; Jan Vitek (JTRES, 2011)

Automated construction of JavaScript benchmarks. - Gregor Richards; Andreas Gal; Brendan Eich; Jan Vitek (OOPSLA, 2011)

Static Dominance Inference. - Ana L. Milanova; Jan Vitek (TOOLS (49), 2011)

A family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Petr Maj; Filip Pizlo; Ben L. Titzer; Jan Vitek (Concurr. Comput. Pract. Exp., 2011)

Scheduling real-time garbage collection on uniprocessors. - Tomas Kalibera; Filip Pizlo; Antony L. Hosking; Jan Vitek (ACM Trans. Comput. Syst., 2011)

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. - Adnan Bouakaz; Jean-Pierre Talpin; Jan Vitek (ACSD, 2012)

Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. - Jan Vitek (APLAS, 2012)

Evaluating the Design of the R Language - Objects and Functions for Data Analysis. - Floréal Morandat; Brandon Hill; Leo Osvald; Jan Vitek (ECOOP, 2012)

A black-box approach to understanding concurrency in DaCapo. - Tomas Kalibera; Matthew Mole; Richard E. Jones; Jan Vitek (OOPSLA, 2012)

Eval begone!: semi-automated removal of eval from javascript programs. - Fadi Meawad; Gregor Richards; Floréal Morandat; Jan Vitek (OOPSLA, 2012)

Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems. - Jan Vitek; Tomas Kalibera (Concurr. Comput. Pract. Exp., 2012)

Foundations for Scripting Languages (Dagstuhl Seminar 12011). - Robert Hirschfeld; Shriram Krishnamurthi; Jan Vitek (Dagstuhl Reports, 2012)

R3: repeatability, reproducibility and rigor. - Jan Vitek; Tomas Kalibera (ACM SIGPLAN Notices, 2012)

A data-centric approach to synchronization. - Julian Dolby; Christian Hammer 001; Daniel Marino; Frank Tip; Mandana Vaziri; Jan Vitek (ACM Trans. Program. Lang. Syst., 2012)

History-based security for JavaScript. - Jan Vitek (ICOOOLPS@ECOOP, 2013)

Detecting deadlock in programs with data-centric synchronization. - Daniel Marino; Christian Hammer 001; Julian Dolby; Mandana Vaziri; Frank Tip; Jan Vitek (ICSE, 2013)

Should software conferences respect software? - Shriram Krishnamurthi; James Noble 001; Jan Vitek (SPLASH (Companion Volume), 2013)

Flexible access control for javascript. - Gregor Richards; Christian Hammer 001; Francesco Zappa Nardelli; Suresh Jagannathan; Jan Vitek (OOPSLA, 2013)

Terra: a multi-stage language for high-performance computing. - Zachary DeVito; James Hegarty; Alex Aiken; Pat Hanrahan; Jan Vitek (PLDI, 2013)

Plan B: a buffered memory model for Java. - Delphine Demange; Vincent Laporte; Lei Zhao; Suresh Jagannathan; David Pichardie; Jan Vitek (POPL, 2013)

Micro-transactions for concurrent data structures. - Fadi Meawad; Karthik Iyer; Martin Schoeberl; Jan Vitek (Concurr. Comput. Pract. Exp., 2013)

Changing of the Guard. - Jan Vitek (J. Object Technol., 2013)

SIGPLAN chair's report. - Jan Vitek (ACM SIGPLAN Notices, 2013)

Introduction to the special section on LCTES'11. - Bjorn De Sutter; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2013)

M3: high-performance memory management from off-the-shelf components. - David Terei; Alex Aiken; Jan Vitek (ISMM, 2014)

A fast abstract syntax tree interpreter for R. - Tomas Kalibera; Petr Maj; Floréal Morandat; Jan Vitek (VEE, 2014)

The case for the three R's of systems research: repeatability, reproducibility and rigor. - Jan Vitek (VEE, 2014)

Practices of PLDI. - Hans-Juergen Boehm; Jack W. Davidson; Kathleen Fisher; Cormac Flanagan; Jeremy Gibbons; Mary W. Hall; Graham Hutton; David A. Padua; Frank Tip; Jan Vitek; Philip Wadler (ACM SIGPLAN Notices, 2014)

Atomicity Refinement for Verified Compilation. - Suresh Jagannathan; Vincent Laporte; Gustavo Petri; David Pichardie; Jan Vitek (ACM Trans. Program. Lang. Syst., 2014)

Cooking the Books: Formalizing JMM Implementation Recipes. - Gustavo Petri; Jan Vitek; Suresh Jagannathan (ECOOP, 2015)

Concrete Types for TypeScript. - Gregor Richards; Francesco Zappa Nardelli; Jan Vitek (ECOOP, 2015)

Repeatability, reproducibility and rigor in CS research. - Jan Vitek (PLMW@POPL, 2015)

The real software crisis: repeatability as a core value. - Shriram Krishnamurthi; Jan Vitek (Commun. ACM, 2015)

Is sound gradual typing dead? - Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen (POPL, 2016)

Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). - Daniel Delling; Camil Demetrescu; David S. Johnson 001; Jan Vitek (Dagstuhl Reports, 2016)

Parallelizing Julia with a Non-Invasive DSL. - Todd A. Anderson 001; Hai Liu 012; Lindsey Kuper; Ehsan Totoni; Jan Vitek; Tatiana Shpeisman (ECOOP, 2017)

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. - Yannick Zakowski; David Cachera; Delphine Demange; Gustavo Petri; David Pichardie; Suresh Jagannathan; Jan Vitek (ITP, 2017)

Making Android Run on Time. - Yin Yan; Karthik Dantu; Steven Y. Ko; Jan Vitek; Lukasz Ziarek (RTAS, 2017)

Parallelizing Julia with a Non-Invasive DSL (Artifact). - Todd A. Anderson 001; Hai Liu 012; Lindsey Kuper; Ehsan Totoni; Jan Vitek; Tatiana Shpeisman (Dagstuhl Artifacts Ser., 2017)

Orca: GC and type system co-design for actor languages. - Sylvan Clebsch; Juliana Franco; Sophia Drossopoulou; Albert Mingkun Yang; Tobias Wrigstad; Jan Vitek (Proc. ACM Program. Lang., 2017)

DéjàVu: a map of code duplicates on GitHub. - Cristina V. Lopes; Petr Maj; Pedro Martins 001; Vaibhav Saini; Di Yang 001; Jakub Zitny; Hitesh Sajnani; Jan Vitek (Proc. ACM Program. Lang., 2017)

Self-contained development environments. - Guido Chari; Javier Pimás; Jan Vitek; Olivier Flückiger (DLS, 2018)

KafKa: Gradual Typing for Objects. - Benjamin Chung; Paley Li; Francesco Zappa Nardelli; Jan Vitek (ECOOP, 2018)

Correctness of a Concurrent Object Collector for Actor Languages. - Juliana Franco; Sylvan Clebsch; Sophia Drossopoulou; Jan Vitek; Tobias Wrigstad (ESOP, 2018)

Monotonic gradual typing in a common calculus. - Benjamin Chung; Jan Vitek (ISSTA/ECOOP Workshops, 2018)

Tests from traces: automated unit test extraction for R. - Filip Krikava; Jan Vitek (ISSTA, 2018)

KafKa: Gradual Typing for Objects (Artifact). - Benjamin Chung; Paley Li; Francesco Zappa Nardelli; Jan Vitek (Dagstuhl Artifacts Ser., 2018)

Julia: dynamism and performance reconciled by design. - Jeff Bezanson; Jiahao Chen 001; Benjamin Chung; Stefan Karpinski; Viral B. Shah; Jan Vitek; Lionel Zoubritzky (Proc. ACM Program. Lang., 2018)

Correctness of speculative optimizations with dynamic deoptimization. - Olivier Flückiger; Gabriel Scherer; Ming-Ho Yee; Aviral Goel; Amal Ahmed 001; Jan Vitek (Proc. ACM Program. Lang., 2018)

Julia subtyping: a rational reconstruction. - Francesco Zappa Nardelli; Julia Belyakova; Artem Pelenitsyn; Benjamin Chung; Jeff Bezanson; Jan Vitek (Proc. ACM Program. Lang., 2018)

R melts brains: an IR for first-class environments and lazy effectful arguments. - Olivier Flückiger; Guido Chari; Jan Jecmen; Ming-Ho Yee; Jakob Hain; Jan Vitek (DLS, 2019)

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). - Benjamin Chung; Francesco Zappa Nardelli; Jan Vitek (ECOOP, 2019)

Towards a Type System for R. - Alexi Turcotte; Jan Vitek (ICOOOLPS@ECOOP, 2019)

On the Impact of Programming Languages on Code Quality. - Emery D. Berger; Celeste Hollenbeck; Petr Maj; Olga Vitek; Jan Vitek (CoRR, 2019)

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. - Filip Krikava; Heather Miller; Jan Vitek (CoRR, 2019)

Precise Dataflow Analysis of Event-Driven Applications. - Ming-Ho Yee; Ayaz Badouraly; Ondrej Lhoták; Frank Tip; Jan Vitek (CoRR, 2019)

FSE/CACM Rebuttal2: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub. - Emery D. Berger; Petr Maj; Olga Vitek; Jan Vitek (CoRR, 2019)

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). - Benjamin Chung; Francesco Zappa Nardelli; Jan Vitek (Dagstuhl Artifacts Ser., 2019)

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. - Yannick Zakowski; David Cachera; Delphine Demange; Gustavo Petri; David Pichardie; Suresh Jagannathan; Jan Vitek (J. Autom. Reason., 2019)

How to evaluate the performance of gradual type systems. - Ben Greenman; Asumu Takikawa; Max S. New; Daniel Feltey; Robert Bruce Findler; Jan Vitek; Matthias Felleisen (J. Funct. Program., 2019)

On the design, implementation, and use of laziness in R. - Aviral Goel; Jan Vitek (Proc. ACM Program. Lang., 2019)

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. - Filip Krikava; Heather Miller; Jan Vitek (Proc. ACM Program. Lang., 2019)

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. - Yin Yan; Girish Gokul; Karthik Dantu; Steven Y. Ko; Lukasz Ziarek; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2019)

Feature-Specific Profiling. - Leif Andersen; Vincent St-Amour; Jan Vitek; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2019)

On the Impact of Programming Languages on Code Quality: A Reproduction Study. - Emery D. Berger; Celeste Hollenbeck; Petr Maj; Olga Vitek; Jan Vitek (ACM Trans. Program. Lang. Syst., 2019)

Sampling optimized code for type feedback. - Olivier Flückiger; Andreas Wälchli; Sebastián Krynski; Jan Vitek (DLS, 2020)

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (CoRR, 2020)

World age in Julia: optimizing method dispatch in the presence of eval. - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2020)

Contextual dispatch for function specialization. - Olivier Flückiger; Guido Chari; Ming-Ho Yee; Jan Jecmen; Jakob Hain; Jan Vitek (Proc. ACM Program. Lang., 2020)

Designing types for R, empirically. - Alexi Turcotte; Aviral Goel; Filip Krikava; Jan Vitek (Proc. ACM Program. Lang., 2020)

First-class environments in R. - Aviral Goel; Jan Vitek (DLS, 2021)

CodeDJ: Reproducible Queries over Large-Scale Software Repositories. - Petr Maj; Konrad Siek; Alexander Kovalenko; Jan Vitek (ECOOP, 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (CoRR, 2021)

CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). - Petr Maj; Konrad Siek; Alexander Kovalenko; Jan Vitek (Dagstuhl Artifacts Ser., 2021)

Formally verified speculation and deoptimization in a JIT compiler. - Aurèle Barrière; Sandrine Blazy; Olivier Flückiger; David Pichardie; Jan Vitek (Proc. ACM Program. Lang., 2021)

What we eval in the shadows: a large-scale study of eval in R programs. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Proc. ACM Program. Lang., 2021)

Promises are made to be broken: migrating R to strict semantics. - Aviral Goel; Jan Jecmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek (Proc. ACM Program. Lang., 2021)

Type stability in Julia: avoiding performance pathologies in JIT compilation. - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2021)

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

Why We Eval in the Shadows (Dataset). - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Zenodo, 2021)

Deoptless: speculation with dispatched on-stack replacement and specialized continuations. - Olivier Flückiger; Jan Jecmen; Sebastián Krynski; Jan Vitek (PLDI, 2022)

signatr: A Data-Driven Fuzzing Tool for R. - Alexi Turcotte; Pierre Donat-Bouillud; Filip Krikava; Jan Vitek (SLE, 2022)

Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations". - Olivier Flückiger; Jan Jecmen; Sebastián Krynski; Jan Vitek (Zenodo, 2022)

Artifact of "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations". - Olivier Flückiger; Jan Jecmen; Sebastián Krynski; Jan Vitek (Zenodo, 2022)

PRL-PRG/sle22-signatr-artifact. - Pierre Donat-Bouillud; Filip Krikava; Alexi Turcotte; Jan Vitek (Zenodo, 2022)

Artifact of "Reusing Just-in-Time Compiled Code". - Meetesh Kalpesh Mehta; Sebastián Krynski; Hugo Musso Gualandi; Manas Thakur; Jan Vitek (Zenodo, 2023)

Reusing Just-in-Time Compiled Code. - Meetesh Kalpesh Mehta; Sebastián Krynski; Hugo Musso Gualandi; Manas Thakur; Jan Vitek (Proc. ACM Program. Lang., 2023)

The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. - Petr Maj; Stefanie Muroya; Konrad Siek; Luca Di Grazia; Jan Vitek (ECOOP, 2024)

Reducing Feedback Pollution. - Sebastián Krynski; Michal Stepánek; Filip Ríha; Filip Krikava; Jan Vitek (VMIL@SPLASH, 2024)

Decidable Subtyping of Existential Types for Julia. - Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2024)

Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract). - Pierre Donat-Bouillud; Filip Krikava; Jakob Hain; Adam Plodek; Jan Vitek (Programming, 2025)

Toward a Typed Intermediate Language for R (Extended Abstract). - Mickaël Laurent; Jakob Hain; Filip Krikava; Sebastián Krynski; Jan Vitek (Programming, 2025)