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
-
[TEST-FEB13]-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