Professor of Computer Science
Joined department: 1999
Education:
BS, Computer Science
University of Geneva (1989)
University of Geneva (1989)
MS, Computer Science
University of Victoria (1995)
University of Victoria (1995)
PhD, Computer Science
University of Geneva (1999)
University of Geneva (1999)
Professor Vitek works in foundations and implementation of programming languages and has an interest in program analysis, real time systems, object-oriented software engineering, and information security. His research is being conducted in the Secure Software Systems (S3) Lab which he co-founded.
Dr. Vitek was born in Czechoslovakia and educated in Switzerland. He authored over 100 papers and edited books on mobile objects and secure Internet programming. He served on program committees for international conferences such as PLDI, OOPSLA, ECOOP, POPL, ESOP, ICALP, RTSS and RTAS.
Selected Publications
Richards, Lebresne, Burg, Vitek, "An Analysis of the Dynamic Behavior of JavaScript Programs",
Proceedings of the Conference on Programming Language Design and Implementation (PLDI),
2010.
Wrigstad, Zappa Nardelli, Lebresne, Ostlund, Vitek, "Integrating Typed and Untyped Code in a
Scripting Language.", Proceedings of the Conference on Principles of Programming Languages
(POPL), 2010.
Pizlo, Blanton, Hosking, Maj, Vitek, Ziarek, "Schism: Fragmentation-Tolerant Real-Time Garbage
Collection", Proceedings of the Conference on Programming Language Design and Implementation
(PLDI), 2010.
Research Funding
Jan Vitek, 2008 Trends in Currency Summer School, Microsoft Corporation, 11/15/2007.
Jan Vitek, Microsoft SHARDS, Microsoft Corporation, 3/11/2010.
Jan Vitek, Mozilla STOP Workshop, Mozilla Corporation, 5/1/2010.
Jan Vitek, Purdue International Summer School Award, Intel Corporation, 11/15/2007.
Jan Vitek, REU: CPA-CPL Certified Garbage Collection For Highly Responsive Systems, National
Science Foundation, 1/1/2010-7/31/2012.
Jan Vitek, REU: CPA-SEL-T: Collaborative Research: Unified Open Source Transactional,
National Science Foundation, 1/1/2010-8/31/2012.
Jan Vitek, SHF: Small: Collaborative Research: Verifying and Validating Safety Critical
Java, National Science Foundation, 7/15/2009-6/30/2012.
Jan Vitek, Software Engineering, Microsoft Corporation, 1/15/2002.
Jan Vitek and Olga Vitek, SI2-SSE: A Traccing Virtual Machine for Statistical Computing,
National Science Foundation, 12/1/2010-11/30/2013.
Jan Vitek and Suresh Jagannathan, CPA-SEL-T: Collaborative Research: Unified Open Source
Transactional Infrastructure, National Science Foundation, 9/15/2008-8/31/2012.
Jan Vitek and Tony Hosking, CPA-CPL Certified Garbage Collection for Highly Responsive
Systems, National Science Foundation, 8/1/2008-7/31/2012.
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power
Engineering, National Science Foundation, 10/1/2011-1/31/2015.
Suresh Jagannathan and Jan Vitek, CRI II-New: A Computational Infrastructure For Scalable
Transactional Memory Abstraction in Managed Languages, National Science Foundation,
6/1/2010-5/31/2013.
Tony Hosking, ECOOP 2012 CONFERENCE, Assoc Internationale pour les Tech Objet, 4/1/2011.
Tony Hosking, Microsoft: Language & Runtime Support, Microsoft Corporation, 6/16/2008.
Last Updated: January 18, 2012 05:26pm
