Ben L. Titzer, Lead Developer
Ben L. Titzer is researcher at Sun Microsystems Laboratories in Menlo Park, California. Virgil represents his doctorate work on languages and compilers for embedded systems. He received his Ph.D. in Computer Science at UCLA in 2007. His research interests center primarily around programming languages and compilers, with particular focus on embedded systems, of which sensor networks are one example. At UCLA, prior to his work on Virgil, he worked on simulation and analysis of sensor network programs. Beginning in 2004, he developed the Avrora microcontroller and sensor network simulator, which has attracted significant research attention and incorporated a number of contributions from the community. For more information, visit his homepage.
Jens Palsberg, Faculty Advisor
Jens Palsberg is a Professor and Vice Chair of Computer Science at UCLA. He received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992-1996 he was a visiting scientist at various institutions, including MIT. In 1996-2002 he was an Associate Professor and, in 2002-2003, Professor and Associate Head of Computer Science at Purdue University. His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel's textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, an IBM Faculty Award, and an Okawa Foundation research award. Dr. Palsberg's research has also been supported by DARPA, Intel, and British Telecom. Dr. Palsberg is an associate editor of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, and a former member of the editorial board of IEEE Transactions on Software Engineering. He is serving as the secretary/treasurer of ACM SIGBED, Special Interest Group on Embedded Systems, he has served as the general chair of the ACM Symposium on Principles of Programming Languages, he has served as a program chair for the Static Analysis Symposium (SAS), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Conference on Formal Methods and Programming Models for Co-Design (MEMOCODE), Symposium on Requirements Engineering for Information Security (SREIS), and ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE), and he has been a member of more than 50 other conference program committees. For more information, visit his homepage.
Virgil Mailing List
The Virgil Mailing List supports discussion of the Virgil Programming Language and its surrounding tools. Here you can find help and discussions with other people working with and developing Virgil, including help learning the language, developing applications, or reporting implementation bugs.