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, CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale
Data Analytics, National Science Foundation, 7/1/2012-6/30/2015.
Jan Vitek, Google: High- assurance JavaScript, Google Inc., 2/13/2012.
Jan Vitek, Microsoft SHARDS, Microsoft Corporation, 3/11/2010.
Jan Vitek, Mozilla STOP Workshop, Mozilla Corporation, 5/1/2010.
Jan Vitek, Oracle America, None, 8/8/2012.
Jan Vitek, Purdue International Summer School Award, Intel Corporation, 11/15/2007.
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, 9/15/2010-8/31/2013.
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power
Engineering, National Science Foundation, 9/1/2011-8/31/2015.
Tony Hosking and Jan Vitek, ECOOP 2012 CONFERENCE, Assoc Internationale pour les Tech Objet,
4/1/2011.
Tony Hosking, Ananth Y. Grama, Jan Vitek, and Suresh Jagannathan, Microsoft: Language &
Runtime Support, Microsoft Corporation, 6/16/2008.
Last Updated: February 07, 2013 11:46am
