Jan Vitek

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 55

Top Venues

Proc. ACM Program. Lang.

CoRR

ECOOP

DLS

Publications

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
Reusing Just-in-Time Compiled Code. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations. CoRR (2022)
Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek
signatr: A Data-Driven Fuzzing Tool for R. SLE (2022)
Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek
Deoptless: speculation with dispatched on-stack replacement and specialized continuations. PLDI (2022)
Aviral Goel, Jan Vitek
First-class environments in R. DLS (2021)
Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Formally verified speculation and deoptimization in a JIT compiler. Proc. ACM Program. Lang. 5 (POPL) (2021)
Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR (2021)
Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek
What we eval in the shadows: a large-scale study of eval in R programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. ECOOP (2021)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek
Promises are made to be broken: migrating R to strict semantics. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR (2020)
Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek
Designing types for R, empirically. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek
Contextual dispatch for function specialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
Sampling optimized code for type feedback. DLS (2020)
Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
Sampling Optimized Code for Type Feedback. CoRR (2020)
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
On the Impact of Programming Languages on Code Quality. CoRR (2019)
Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
R Melts Brains - An IR for First-Class Environments and Lazy Effectful Arguments. CoRR (2019)
Filip Krikava, Heather Miller, Jan Vitek
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR (2019)
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). ECOOP (2019)
Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Alexi Turcotte, Jan Vitek
Towards a Type System for R. ICOOOLPS@ECOOP (2019)
Aviral Goel, Jan Vitek
On the Design, Implementation, and Use of Laziness in R. CoRR (2019)
Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek
Precise Dataflow Analysis of Event-Driven Applications. CoRR (2019)
Filip Krikava, Heather Miller, Jan Vitek
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek
: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub. CoRR (2019)
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
On the Impact of Programming Languages on Code Quality: A Reproduction Study. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. J. Autom. Reason. 63 (2) (2019)
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Feature-Specific Profiling. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. 17 (6) (2019)
Aviral Goel, Jan Vitek
On the design, implementation, and use of laziness in R. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
R melts brains: an IR for first-class environments and lazy effectful arguments. DLS (2019)
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Julia: dynamism and performance reconciled by design. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Feature-Specific Profiling. CoRR (2018)
Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Correctness of a Concurrent Object Collector for Actor Languages. ESOP (2018)
Filip Krikava, Jan Vitek
Tests from traces: automated unit test extraction for R. ISSTA (2018)
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
KafKa: Gradual Typing for Objects. ECOOP (2018)
Benjamin Chung, Jan Vitek
Monotonic gradual typing in a common calculus. ISSTA/ECOOP Workshops (2018)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. 2 (POPL) (2018)
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
Self-contained development environments. DLS (2018)
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
KafKa: Gradual Typing for Objects (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Parallelizing Julia with a Non-Invasive DSL. ECOOP (2017)
Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
DéjàVu: a map of code duplicates on GitHub. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. ITP (2017)
Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
Making Android Run on Time. RTAS (2017)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR (2017)
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Parallelizing Julia with a Non-Invasive DSL (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead? POPL (2016)
Daniel Delling, Camil Demetrescu, David S. Johnson, Jan Vitek
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). Dagstuhl Reports 6 (3) (2016)
Gustavo Petri, Jan Vitek, Suresh Jagannathan
Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP (2015)
Shriram Krishnamurthi, Jan Vitek
The real software crisis: repeatability as a core value. Commun. ACM 58 (3) (2015)
Gregor Richards, Francesco Zappa Nardelli, Jan Vitek
Concrete Types for TypeScript. ECOOP (2015)
Jan Vitek
Repeatability, reproducibility and rigor in CS research. PLMW@POPL (2015)
Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte
Atomicity refinement for verified compilation. PLDI (2014)
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
Atomicity Refinement for Verified Compilation. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
David Terei, Alex Aiken, Jan Vitek
: high-performance memory management from off-the-shelf components. ISMM (2014)
Jan Vitek
SIGPLAN chair's report. ACM SIGPLAN Notices 49 (4S) (2014)
Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek
A fast abstract syntax tree interpreter for R. VEE (2014)
Jan Vitek
The case for the three R's of systems research: repeatability, reproducibility and rigor. VEE (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Jan Vitek
SIGPLAN chair's report. ACM SIGPLAN Notices 48 (4S) (2013)
Shriram Krishnamurthi, James Noble, Jan Vitek
Should software conferences respect software? SPLASH (Companion Volume) (2013)
Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
Flexible access control for javascript. OOPSLA (2013)
Bjorn De Sutter, Jan Vitek
Introduction to the special section on LCTES'11. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Jan Vitek
Changing of the Guard. J. Object Technol. 12 (2) (2013)
Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
Terra: a multi-stage language for high-performance computing. PLDI (2013)
Jan Vitek
History-based security for JavaScript. ICOOOLPS@ECOOP (2013)
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Detecting deadlock in programs with data-centric synchronization. ICSE (2013)
Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek
Plan B: a buffered memory model for Java. POPL (2013)
Fadi Meawad, Karthik Iyer, Martin Schoeberl, Jan Vitek
Micro-transactions for concurrent data structures. Concurr. Comput. Pract. Exp. 25 (16) (2013)
Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD (2012)
Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek
Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports 2 (1) (2012)
Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek
Eval begone!: semi-automated removal of eval from javascript programs. OOPSLA (2012)
Jan Vitek, Tomas Kalibera
Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems. Concurr. Comput. Pract. Exp. 24 (8) (2012)
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Jan Vitek, Tomas Kalibera
R3: repeatability, reproducibility and rigor. ACM SIGPLAN Notices 47 (4a) (2012)
Jan Vitek
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. APLAS (2012)
Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek
Evaluating the Design of the R Language - Objects and Functions for Data Analysis. ECOOP (2012)
Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek
A black-box approach to understanding concurrency in DaCapo. OOPSLA (2012)
Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP (2011)
Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek
Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Syst. 29 (3) (2011)
Fadi Meawad, Martin Schoeberl, Karthik Iyer, Jan Vitek
Real-time wait-free queues using micro-transactions. JTRES (2011)
Ana Milanova, Jan Vitek
Static Dominance Inference. TOOLS (49) (2011)
Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek
Automated construction of JavaScript benchmarks. OOPSLA (2011)
Jan Vitek
Virtualizing real-time embedded systems with Java. DAC (2011)
Jan Vitek, Tomas Kalibera
Repeatability, reproducibility, and rigor in systems research. EMSOFT (2011)
Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek
A family of real-time Java benchmarks. Concurr. Comput. Pract. Exp. 23 (14) (2011)
Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek
Integrating typed and untyped code in a scripting language. POPL (2010)
Daniel Tang, Ales Plsek, Jan Vitek
Static checking of safety critical Java annotations. JTRES (2010)
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
A Type System for Data-Centric Synchronization. ECOOP (2010)
Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek
Reflexes: Abstractions for integrating highly responsive tasks into Java applications. ACM Trans. Embed. Comput. Syst. 10 (1) (2010)
Jan Vitek
Conference Report: TOOLS'10. J. Object Technol. 9 (5) (2010)
Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek
High-level programming of embedded hard real-time devices. EuroSys (2010)
Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek
Schism: fragmentation-tolerant real-time garbage collection. PLDI (2010)

Jan Vitek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Vitek