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, 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, Oracle America, None, 8/8/2012.
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.
Last Updated: June 27, 2013 11:49am
