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
-
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 -
Correctness of Speculative Optimizations with Dynamic Deoptimization
Citation: Olivier Fluckiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed and 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