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: Switzerland

Affiliation: Northeastern University

Personal website: http://janvitek.org

Research interests: Programming Languages

All Activities

• Committee Member in Steering Committee for POPL 2017
• Committee Member in Program Committee for ICOOOLPS 2017
• Session Chair of Session 8 (part of ESOP 2015 )
• Chair of ACM SIGPLAN Townhall Meeting within the Research Papers-track in PLDI 2015
• Session Chair of Welcome Session (part of ECOOP 2016 Summer School)
• Comfy Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
• Committee Member in Organizing Committee for CurryOn
• Committee Member in Program Committee for ARRAY 2017
• Sponsorship Chair in Organizing Committee for ECOOP 2017
• Author of Is Sound Gradual Typing Dead? within the Research Papers-track in POPL 2016
• Committee Member in Program Committee for ICOOOLPS 2015
• Session Chair of Lecture 4b (part of ECOOP 2016 Summer School)
• Comfy Chair in Organizing Committee for ECOOP 2018
• Presenter of Curry On opening remarks within the CurryOn -track in CurryOn
• Committee Member in Program Committee for GRACE
• Committee Member in Steering Committee for ESOP 2015
• Committee Member in Program Committee for ECOOP 2015 Posters
• Moderator of Types for an Untyped World within the STOP-track in STOP 2015
• Committee Member in Steering Committee for PLDI 2018
• Comfy Chair in Organizers for ECOOP 2017 ECOOP Summer School
• Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track in STOP 2015
• Session Chair of Lecture 5a (part of ECOOP 2016 Summer School)
• Session Chair of Keynote: Meyer (part of ECOOP 2015 Research Track)
• Session Chair of Session 9 (part of ESOP 2015 )
• Committee Member in Steering Committee for POPL 2016
• Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
• Committee Member in Program Committee for DLS 2017
• Presenter of What to do at SPLASH within the PLMW-track in SPLASH 2016
• Author of Concrete Types for TypeScript within the Research Track-track in ECOOP 2015
• Session Chair of Lecture 4a (part of ECOOP 2016 Summer School)
• Session Chair of Keynote: Choi (part of ECOOP 2015 Research Track)
• Presenter of SPLASH 2018 within the Keynotes and Awards-track in SPLASH 2017
• Committee Member in Program Committee for DLS 2015
• Session Chair of Session 1 (part of ESOP 2015 )
• Comfy Chair in Organizing Committee for ECOOP 2015
• Author of Cooking the Books: Formalizing JMM Implementation Recipes within the Research Track-track in ECOOP 2015
• Session Chair of Lecture 3 (part of ECOOP 2016 Summer School)
• Committee Member in Steering Committee for PLDI 2017
• Comfy Chair in Program Committee for RIOT 2015
• Committee Member in Programme Committee for ARRAY
• Author of Static Typing Without Static Types - Typing Inheritance from the Bottom Up within the NOOL-track in NOOL 2016
• Committee Member in Organizers for SPLASH 2015 SPLASH-I
• Speaker of What You Need to Know about Performance Evaluation within the ECOOP Summer School-track in ECOOP 2017
• Keynote Speaker of This is not a Type: Gradual typing in practice within the Scala-track in Scala 2016
• Session Chair of Lecture 2a (part of ECOOP 2016 Summer School)
• Committee Member in Program Committee for RUMPLE 2016
• Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017
• Keynote Speaker in Keynote Speakers for Scala 2016
• Comfy Chair in Organizing Committee for ECOOP 2017
• SPLASH-I Co-Chair in Organizing Committee for SPLASH 2015
• Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017
• Committee Member in Senior Mentors for ECOOP 2016 Summer School
• Organizing Committee in Program Committee for ARRAY 2015
• Committee Member in Program Committee for STOP
• Committee Member in Mentors for ECOOP 2017 ECOOP Summer School
• Session Chair of Lecture 5b (part of ECOOP 2016 Summer School)
• Speaker of My 25 years in OO within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017
• Committee Member in Program Committee for DLS 2016
• Speaker in Speakers for ECOOP 2017 ECOOP Summer School
• Committee Member in Steering Committee for LCTES 2016
• Committee Member in Steering Committee for SPLASH 2014
• Committee Member in Steering Committee for TRANSACT 2016
• Committee Member in Organizing Committee for SPLASH 2014 Tutorials
• Speaker of My Twenty-Five Years in OO within the PLMW-track in SPLASH 2016
• Speaker of A gradual typing throwdown within the Workshop-track in OOPSLA 2016 PC Meeting
• Speaker of Experimental Evaluation of Programming Systems within the Summer School-track in ECOOP 2016
• SIGPLAN Chair in Steering Committee for SPLASH 2015
• Speaker in PLMW Speakers for SPLASH 2017 PL Mentoring Workshop (PLMW)
• Author of Repeatability, Reproducibility and Rigor in CS Research within the PLMW-track in SPLASH 2015
• invited speaker of Gradual types for real-world objects within the STOP-track in STOP
• Session Chair of Session 5 (part of ESOP 2015 )
• Author of Introduction Session within the ECOOP Summer School-track in ECOOP 2017
• Session Chair of Lecture 1 (part of ECOOP 2016 Summer School)
• Comfy Chair in Organizers for ECOOP 2015 Summer School
• Summer School Co-Chair in Organizing Committee for ECOOP '18 and ISSTA '18 Summer School
• Session Chair of Optimization and Performance (part of SPLASH 2016 OOPSLA)
• Speaker of My twenty-five years of ECOOP within the Summer School-track in ECOOP 2016
• Comfy Chair in Organizing Committee for ECOOP 2016
• CurryOn Co-Chair in Organizing Committee for ECOOP '18 and ISSTA '18
• Committee Member in Program Committee for SPLASH 2016 OOPSLA
• Committee Member in Program Committee for DLS
• Session Chair of Lecture 2b (part of ECOOP 2016 Summer School)
• Summer School Co-Chair in Organizing Committee for ECOOP 2018
• Committee Member in Program Committee for ECOOP 2017 ECOOP Research Papers
• Chair in Program Committee for ESOP 2015
• Comfy Chair in Organization for ML4PL 2015
• Session Chair of SIGPLAN Awards Luncheon within the Research Papers-track in PLDI 2015
• Comfy Chair in Organizing Committee for ECOOP 2016 Summer School
• Author of Introduction within the RIOT-track in RIOT 2015
• Comfy Chair in Organizing Committee for ECOOP '18 and ISSTA '18

Blog Posts

• ECOOP, thirty years later Fri 8 Jul 2016