Registered user since Wed 30 Apr 2014
Jan Vitek is a Professor of Computer Science at Northeastern University. Dr. Vitek was born in Czechoslovakia and educated in Switzerland. Over the years, he worked on topics related to programming languages, their design, use, and implementation. With Noble and Potter, he proposed the notion of flexible alias control which became know as Ownership Types. He led the Ovm project which produced the first real-time Java virtual machine to be flight tested on a ScanEagle drone (he claims no one was harmed). Outcomes of this project include the Schism real-time garbage collector and the FijiVM – a production VM for embedded systems. More recently, he worked on dynamic languages, trying to make sense of JavaScript and to design a new language called, Thorn. Nowadays, he spends his time with statisticians and data scientists. Jan believes that his 2012 election as Chair of SIGPLAN was an accident; since has been busy trying to rock the boat to ensure this does not happen again. In his spare time, Jan enjoys organizing conferences and sitting on PCs (over 25 in the last decade). He founded the MOS (mobile objects), IWACO (alias control), STOP (gradual typing), and TRANSACT (transactional memory) workshop series. He was the first program chair of VEE and chaired ESOP, ECOOP, Coordination and TOOLS. He was the general chair of PLDI (in Beijing!), ISMM and LCTES. He may still be sitting on the steering committees of ECOOP, JTRES, ICFP, OOPLSA, POPL, PLDI, LCTES, ESOP.
Contributions
2025
ICFP/SPLASH
2024
PLDI
2023
SPLASH
2022
SPLASH
- Co-chair in Review Committee within the OOPSLA-track
- Session Chair of Quantum (part of OOPSLA)
- Committee Member in Overview Committee within the COVID Time Papers In Person-track
- Committee Member in Steering Committee
- Session Chair of SPLASH Keynote (part of Keynotes)
- Session Chair of Session 1 (part of V-OOPSLA)
- OOPSLA Review Committee Co-Chair in Organizing Committee
ECOOP
- Program Committee Chair in Program Committee within the Research Papers-track
- Presenter of Awards, Outlooks, and Farewells within the Keynotes-track
- Program Committee Chair in Organizers
- Author of What we eval in the shadows: a large-scale study of eval in R programs within the Hub Talks-track
- Speaker of Opening within the Keynotes-track
PLDI
2021
DLS
SPLASH
- Author of Designing Types for R, Empirically within the SIGPLAN Papers-track
- Committee Member in Review Committee within the OOPSLA-track
- Rebase Chair in Organizing Committee
- Author of Promises Are Made to Be Broken: Migrating R to Strict Semantics within the OOPSLA-track
- Author of What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs within the OOPSLA-track
- Committee Member in Steering Committee
- Author of Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation within the OOPSLA-track
ICOOOLPS
ECOOP
ECOOP/ISSTA
CC
2020
SPLASH
- Session Chair of R-5 (part of OOPSLA)
- Author of Designing Types for R, Empirically within the OOPSLA Artifacts-track
- Author of Designing Types for R, Empirically within the OOPSLA-track
- Mentor in Mentors within the PLMW-track
- Author of Contextual Dispatch for Function Specialization within the OOPSLA-track
- Committee Member in Onward! Steering Committee within the Onward! Papers-track
- Session Chair of W-4 (part of OOPSLA)
- Co-chair in REBASE Berlin within the REBASE-track
- Committee Member in Onward! Steering Committee within the Onward! Essays-track
- Virtualization Co-Chair in Organizing Committee
- Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track
- Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track
- Committee Member in Steering Committee
- Keynote Speaker of Fitzcarraldo — or How to Hack Academia to Build Stuff within the Keynotes-track
- Session Chair of W-6 (part of OOPSLA)
ECOOP
2019
SPLASH
- Author of On the Design, Implementation, and Use of Laziness in R within the OOPSLA-track
- Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
- OOPSLA Artifact Evaluation Chair in Organizing Committee
- Author of Scala Implicits are Everywhere within the OOPSLA Artifacts-track
- Session Chair of Analysis (part of OOPSLA)
- Committee Member in Onward! Steering Committee within the Onward! Essays-track
- Author of Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild within the OOPSLA-track
- Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track
- Author of On The Design, Implementation and Use of Laziness in R within the OOPSLA Artifacts-track
- Steering Committee Member in Steering Committee
- Author in Onward! Steering Committee within the Onward! Papers-track
ECOOP
- Committee Member in Organization Committee within the Curry On-track
- Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the Artifacts-track
- Summer School Co-Chair in Organizing Committee
- Contributor/Author of A tribute to Laurie Hendren within the Research Papers-track
- Session Chair of Summer School M1 (part of Summer School)
- Author of Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data within the Curry On-track
- Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track
ETAPS
- Comfy Chair in Organizing Committee within the Mooly Fest-track
- Committee Member in Steering Committee
- Comfy Chair in Organizers within the Mentoring Workshop-track
- Author of ETAPS Steering committee meeting within the Social-track
- Author of Do programming languages matter for correctness of code? A reproduction study within the Mentoring Workshop-track
- General Chair in Organizing Committee
- Author of Opening within the Social-track
2018
SPLASH
- Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
- Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
- Author of Julia: Dynamism and Performance Reconciled by Design within the OOPSLA-track
- Comfy Chair in Organizing Committee
- Chair in Artifact Evaluation Committee within the Artifacts-track
- Committee Member in Organizing Committee within the PLMW-track
- Comfy Chair in Organizers within the SPLASH-I-track
- Chair in Mentors within the Breakfasts-track
BenchWork
ECOOP
ECOOP/ISSTA
- Session Chair of Lecture: Orso (part of Summer School)
- Author of Tests from Traces: Automated Unit Test Extraction for R within the Posters-track
- Summer School Co-Chair in Organizing Committee
- Session Chair of Welcome: Peyton Jones (part of Summer School)
- Session Chair of Lecture: Møller (part of Summer School)
- Session Chair of Lecture: Click (part of Summer School)
- Summer School Co-Chair in Organizing Committee within the Summer School-track
- CurryOn Co-Chair in Organizing Committee
- Comfy Chair in Organizing Committee
ISSTA
SALAD
WoSSCA
CurryOn
2017
SPLASH
- Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track
- Author of Invited Talk: From PHD to PROF: blind luck or careful planning? within the Doctoral Symposium-track
- Presenter of SPLASH 2018 within the Keynotes-track
- Committee Member in Invited Talks within the Doctoral Symposium-track
- Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track
- Speaker of My 25 years in OO within the PL Mentoring Workshop (PLMW)-track
- Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
ECOOP
- Sponsorship Chair in Organizing Committee
- Comfy Chair in Organizers within the ECOOP Summer School-track
- Speaker of What You Need to Know about Performance Evaluation within the ECOOP Summer School-track
- Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track
- Comfy Chair in Organizing Committee
- Committee Member in Mentors within the ECOOP Summer School-track
- Speaker in Speakers within the ECOOP Summer School-track
- Author of Introduction Session within the ECOOP Summer School-track
- Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI ECOOP
2016
SPLASH
Scala
ECOOP
- Session Chair of Welcome Session (part of Summer School)
- Session Chair of Lecture 4b (part of Summer School)
- Session Chair of Lecture 5a (part of Summer School)
- Session Chair of Lecture 4a (part of Summer School)
- Session Chair of Lecture 3 (part of Summer School)
- Session Chair of Lecture 2a (part of Summer School)
- Committee Member in Senior Mentors within the Summer School-track
- Session Chair of Lecture 5b (part of Summer School)
- Speaker of Experimental Evaluation of Programming Systems within the Summer School-track
- Session Chair of Lecture 1 (part of Summer School)
- Speaker of My twenty-five years of ECOOP within the Summer School-track
- Comfy Chair in Organizing Committee
- Session Chair of Lecture 2b (part of Summer School)
- Comfy Chair in Organizing Committee within the Summer School-track
STOP
CurryOn
2015
SPLASH
ECOOP
- Committee Member in Program Committee within the Posters-track
- Session Chair of Keynote: Meyer (part of Research Track)
- Author of Concrete Types for TypeScript within the Research Track-track
- Session Chair of Keynote: Choi (part of Research Track)
- Comfy Chair in Organizing Committee
- Author of Cooking the Books: Formalizing JMM Implementation Recipes within the Research Track-track
- Comfy Chair in Organizers within the Summer School-track
RIOT
STOP
PLDI
2014
SPLASH
2013
2012
Blog Posts
- ECOOP, thirty years later Fri 8 Jul 2016