Jan Vitek -

Registered user since Wed 30 Apr 2014

Name: Jan Vitek

Bio: 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.

Affiliation: Northeastern University / Czech Technical University

Personal website: http://janvitek.org

Research interests: Programming Languages

Contributions

SPLASH 2021	Committee Member in Steering Committee
CC 2021	Committee Member in Program Committee within the CC Research Papers-track Session Chair of Safety & Correctness (part of CC Research Papers)
META'20	PC Member in Program Committee within the META'20-track
SySEPL 2020	Co-chair in Organizing Committee within the SySEPL 2020-track
POPL 2021	Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track
ECOOP and ISSTA 2021	Co-chair in REBASE within the REBASE-track
DLS 2020	Author of Sampling Optimized Code for Type Feedback within the DLS 2020-track
ECOOP 2020	Workshops Co-Chair in Organizing Committee Co-chair in Chairs within the Workshops-track Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	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)
PLDI 2020	Session Chair of Session 16 (part of Ask Me Anything)
VMIL 2019	Committee Member in Program Committee within the VMIL 2019-track
META 2019	Keynote Speaker of Meta-programming in Data Science within the META 2019-track
ICOOOLPS 2019	Author of Towards a Type System for R within the ICOOOLPS 2019-track
DLS 2019	Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track
MPLR 2019	Author of Adversarial Compilation within the MPLR 2019-track
Onward! 2019
VEE 2019	Committee Member in Program Committee within the Research Papers-track
SPLASH 2019	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 2019	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
CurryOn 2018	Author of Opening Remarks within the Curry On Keynotes-track Committee Member in Organizing Committee
WoSSCA 2018	Comfy Chair in Organizing Committee within the WoSSCA 2018-track Organizer in Attendees within the WoSSCA 2018-track Session Chair of WoSSCA 3 (part of WoSSCA 2018)
GRACE 2018	Committee Member in Program Committee within the GRACE 2018-track
PLATEAU 2018	Author of Julia: Dynamism and Performance Reconciled by Design - Preview within the PLATEAU 2018-track
ETAPS 2019	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
FTfJP 2018	Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track
NJR 2018	Author of Analyzing Code Repositories: A Case Study in Reproducibility within the NJR-track
SALAD 2018	Session Chair of SALAD 3 (part of SALAD) Co-chair in Organizing Committee within the SALAD-track
BenchWork 2018	Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track Author of Analyzing Duplication in JavaScript within the BenchWork-track
DLS 2018	Author of Self-Contained Development Environments within the DLS 2018-track
Onward! 2018	Steering Committee Member in Steering Committee
SPLASH 2018	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
VEE 2018	Committee Member in Program Committee within the Research Papers-track
ICOOOLPS 2017	Committee Member in Program Committee within the ICOOOLPS 2017-track
ARRAY 2017	Committee Member in Program Committee within the ARRAY 2017-track
DLS 2017	Committee Member in Program Committee within the DLS 2017-track
POPL 2018	Committee Member in Steering Committee Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track
RUMPLE 2016	Committee Member in Program Committee within the RUMPLE-track
NOOL 2016	Author of Static Typing Without Static Types - Typing Inheritance from the Bottom Up within the NOOL-track
Scala 2016	Keynote Speaker of This is not a Type: Gradual typing in practice within the Scala-track Keynote Speaker in Keynote Speakers within the Scala-track
OOPSLA 2016 PC Meeting	Speaker of A gradual typing throwdown within the Workshop-track
STOP 2016	Committee Member in Program Committee within the STOP-track Invited Speaker of Gradual types for real-world objects within the STOP-track
ARRAY	Committee Member in Programme Committee within the ARRAY-track
CurryOn 2016	Committee Member in Organizing Committee Presenter of Curry On opening remarks within the CurryOn -track
GRACE 2016	Committee Member in Program Committee within the GRACE-track
LCTES 2016	Committee Member in Steering Committee
POPL 2017	Committee Member in Steering Committee
TRANSACT 2016	Committee Member in Steering Committee within the TRANSACT 2016-track
ECOOP 2018	Presenter of ECOOP 2019 Preview within the ECOOP Keynotes-track Comfy Chair in Organizing Committee Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track Summer School Co-Chair in Organizing Committee
ISSTA 2018	Summer School Co-Chair in Organizing Committee Author of Tests from Traces: Automated Unit Test Extraction for R within the ISSTA Technical Papers-track Author of Tests from Traces: Automated Unit Test Generation for R within the ISSTA Artifacts-track
ECOOP and ISSTA 2018	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
DLS 2016	Committee Member in Program Committee within the DLS-track
SPLASH 2017	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
PLDI 2017	Committee Member in Steering Committee
ECOOP 2017	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, Curry On, DEBS, LCTES and ISMM	Comfy Chair in Organizing Committee
* ICSE 2018 *	Author of Keynote: Engineering your software engineering research career within the DS - Doctoral Symposium -track
ECOOP 2016	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
SPLASH 2016	Presenter of What to do at SPLASH within the PLMW-track Speaker of My Twenty-Five Years in OO within the PLMW-track Session Chair of Optimization and Performance (part of OOPSLA) Committee Member in Program Committee within the OOPSLA-track
POPL 2016	Author of Is Sound Gradual Typing Dead? within the Research Papers-track Committee Member in Steering Committee
ARRAY 2015	Organizing Committee in Program Committee within the ARRAY-track
DLS 2015	Committee Member in Program Committee within the DLS-track
RIOT 2015	Comfy Chair in Program Committee within the RIOT-track Author of Introduction within the RIOT-track
ICOOOLPS 2015	Committee Member in Program Committee within the ICOOOLPS-track
( Curry On ) Prague
ML4PL 2015	Comfy Chair in Organization within the ML4PL-track
STOP 2015	Moderator of Types for an Untyped World within the STOP-track Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track
ESOP 2015	Session Chair of Session 8 (part of ESOP) Committee Member in Steering Committee Session Chair of Session 9 (part of ESOP) Session Chair of Session 1 (part of ESOP) Session Chair of Session 5 (part of ESOP) Chair in Program Committee within the ESOP-track
SPLASH 2015	Committee Member in Organizers within the SPLASH-I-track SPLASH-I Co-Chair in Organizing Committee SIGPLAN Chair in Steering Committee Author of Repeatability, Reproducibility and Rigor in CS Research within the PLMW-track
PLDI 2015	Chair of ACM SIGPLAN Townhall Meeting within the Research Papers-track Session Chair of SIGPLAN Awards Luncheon within the Research Papers-track
ECOOP 2015	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
DLS	Committee Member in Program Committee within the DLS-track
SPLASH 2014	Committee Member in Steering Committee Committee Member in Organizing Committee within the Tutorials-track
SPLASH 2013	Committee Member in Program Committee within the GPCE-track Author of Flexible Access Control for Javascript within the OOPSLA-track Comfy Chair in General
SPLASH 2012	Author of A black-box approach to understanding concurrency in DaCapo within the OOPSLA Research Papers-track Author of Eval begone!: semi-automated removal of eval from javascript programs within the OOPSLA Research Papers-track
SPLASH 2011	Author of Automated Construction of JavaScript Benchmarks within the OOPSLA-track

Blog Posts

ECOOP, thirty years later Fri 8 Jul 2016