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.

Country: United States

Affiliation: Northeastern University

Personal website: http://janvitek.org

Research interests: Programming Languages

Contributions

VMIL 2019Committee Member in Program Committee within the VMIL 2019-track
ICOOOLPS 2019Author of Towards a Type System for R within the ICOOOLPS 2019-track
Onward! 2019
VEE 2019Committee Member in Program Committee within the Research Papers-track
SPLASH 2019Author 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
Committee Member in Onward! Steering Committee within the Onward! Essays-track
Author of Scala Implicits are Everywhere within the OOPSLA-track
Author in Onward! Steering Committee within the Onward! Papers-track
ECOOP 2019Committee 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 2018Author of Opening Remarks within the Curry On Keynotes-track
Committee Member in Organizing Committee
WoSSCA 2018Comfy 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 2018Committee Member in Program Committee within the GRACE 2018-track
PLATEAU 2018Author of Julia: Dynamism and Performance Reconciled by Design - Preview within the PLATEAU 2018-track
ETAPS 2019Comfy 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 2018Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track
NJR 2018Author of Analyzing Code Repositories: A Case Study in Reproducibility within the NJR-track
SALAD 2018Session Chair of SALAD 3 (part of SALAD)
Co-chair in Organizing Committee within the SALAD-track
BenchWork 2018Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track
Author of Analyzing Duplication in JavaScript within the BenchWork-track
DLS 2018Author of Self-Contained Development Environments within the DLS 2018-track
Onward! 2018Steering Committee Member in Steering Committee
SPLASH 2018Author 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 2018Committee Member in Program Committee within the Research Papers-track
ICOOOLPS 2017Committee Member in Program Committee within the ICOOOLPS 2017-track
ARRAY 2017Committee Member in Program Committee within the ARRAY 2017-track
DLS 2017Committee Member in Program Committee within the DLS 2017-track
POPL 2018Committee Member in Steering Committee
Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track
RUMPLE 2016Committee Member in Program Committee within the RUMPLE-track
NOOL 2016Author of Static Typing Without Static Types - Typing Inheritance from the Bottom Up within the NOOL-track
Scala 2016Keynote 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 MeetingSpeaker of A gradual typing throwdown within the Workshop-track
STOP 2016Committee Member in Program Committee within the STOP-track
Invited speaker of Gradual types for real-world objects within the STOP-track
ARRAYCommittee Member in Programme Committee within the ARRAY-track
CurryOn 2016Committee Member in Organizing Committee
Presenter of Curry On opening remarks within the CurryOn -track
GRACE 2016Committee Member in Program Committee within the GRACE-track
LCTES 2016Committee Member in Steering Committee
POPL 2017Committee Member in Steering Committee
TRANSACT 2016Committee Member in Steering Committee within the TRANSACT 2016-track
ECOOP 2018Presenter 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 2018Summer 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 ISSTASession 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 2016Committee Member in Program Committee within the DLS-track
SPLASH 2017Author 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 2017Committee Member in Steering Committee
ECOOP 2017Sponsorship 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 ISMMComfy Chair in Organizing Committee
* ICSE 2018 *Author of Keynote: Engineering your software engineering research career within the DS - Doctoral Symposium -track
ECOOP 2016Session 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 2016Presenter 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 2016Author of Is Sound Gradual Typing Dead? within the Research Papers-track
Committee Member in Steering Committee
ARRAY 2015Organizing Committee in Program Committee within the ARRAY-track
DLS 2015Committee Member in Program Committee within the DLS-track
RIOT 2015Comfy Chair in Program Committee within the RIOT-track
Author of Introduction within the RIOT-track
ICOOOLPS 2015Committee Member in Program Committee within the ICOOOLPS-track
( Curry On ) Prague
ML4PL 2015Comfy Chair in Organization within the ML4PL-track
STOP 2015Moderator of Types for an Untyped World within the STOP-track
Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track
ESOP 2015Session 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 2015Committee 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 2015Chair of ACM SIGPLAN Townhall Meeting within the Research Papers-track
Session Chair of SIGPLAN Awards Luncheon within the Research Papers-track
ECOOP 2015Committee 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
DLSCommittee Member in Program Committee within the DLS-track
SPLASH 2014Committee Member in Steering Committee
Committee Member in Organizing Committee within the Tutorials-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track
Author of Flexible Access Control for Javascript within the OOPSLA-track
Comfy Chair in General
SPLASH 2012Author 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

Blog Posts