Jan Vitek
Professor
Research interests
- Programming languages
- Compilers
- Program analysis
- Memory management
- Virtual machine
- Type systems
Education
- PhD in information systems, University of Geneva — Switzerland
- MS in computer science, University of Victoria — Canada
Biography
Jan Vitek is a professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.
Vitek's research has led to advances in the theory and practice of modern programming systems — from Objective-C and JavaScript to languages for data analytics like R — with applications in information security, memory management, and real-time safety critical systems. Vitek led the team that developed the first real-time Java virtual machine to be deployed on a drone designed by Boeing.
Prior to joining Northeastern University, Vitek was a professor and faculty scholar at Purdue University, as well as a co-founder of Fiji Systems and 0xdata. He holds a leadership role in the programming language community as the former chair of the ACM Special Interest Group on Programming Languages, and served as vice-president of AITO and of the IFIP WG 2.4 on Software Technology. Vitek chairs the steering committee of the PLDI conference and has been on the steering committees of POPL, ICFP, SPLASH, and ECOOP.
Labs and groups
Recent publications
-
Decidable Subtyping of Existential Types for Julia
Citation: Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek. (2024). Decidable Subtyping of Existential Types for Julia Proc. ACM Program. Lang., 8, 1091-1114. https://doi.org/10.1145/3656421 -
Reusing Just-in-Time Compiled Code
Citation: Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek. (2023). Reusing Just-in-Time Compiled Code Proc. ACM Program. Lang., 7, 1176-1197. https://doi.org/10.1145/3622839 -
signatr: A Data-Driven Fuzzing Tool for R
Citation: Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek. (2022). signatr: A Data-Driven Fuzzing Tool for R SLE, 216-221. https://doi.org/10.1145/3567512.3567530 -
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Citation: Olivier Flückiger, Jan Jecmen, Sebastián Krynski, Jan Vitek. (2022). Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations CoRR, abs/2203.02340. https://doi.org/10.48550/arXiv.2203.02340 -
Promises are made to be broken: migrating R to strict semantics
Citation: Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek. (2021). Promises are made to be broken: migrating R to strict semantics Proc. ACM Program. Lang., 5, 1-20. https://doi.org/10.1145/3485478 -
Tests from traces: automated unit test extraction for R
Citation: Filip Krikava, Jan Vitek. (2018). Tests from traces: automated unit test extraction for R ISSTA, 232-241. https://doi.org/10.1145/3213846.3213863 -
Correctness of Speculative Optimizations with Dynamic Deoptimization
Citation: Olivier Fluckiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed and Jan Vitek -
Orca: GC and Type System Co-Design for Actor Languages
Citation: Sylvain Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek -
Dej́à Vu: A Map of Code Duplicates on GitHub
Citation: Crista Lopes, Petr Maj, Pedro Martins, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek -
Is Sound Gradual Typing Dead?
Citation: Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen. "Is Sound Gradual Typing Dead?". POPL ‘16 Principles of Programming Languages (POPL). 456-468, 2016. DOI: 10.1145/2837614.2837630
Related news
Post docs
Previous PhD students
-
Julia Belyakova
-
Benjamin Chung
-
Olivier Flückiger
-
Aviral Goel
-
Artem Pelenitsyn
-
Alexi Turcotte
-
Ming-Ho Yee