SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

META'20 PC Member in Program Committee within the META'20-track
SySEPL 2020 Co-chair in Organizing Committee within the SySEPL 2020-track
DLS 2020 Sampling Optimized Code for Type Feedback
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)
Designing Types for R, Empirically
Designing Types for R, Empirically
Mentor in Mentors within the PLMW-track
Contextual Dispatch for Function Specialization
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
Contextual Dispatch for Function Specialization
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Committee Member in Steering Committee
Fitzcarraldo — or How to Hack Academia to Build Stuff
Session Chair of W-6 (part of OOPSLA)
Show activities from other conferences

SPLASH 2020-profile
View general profile