Jens Palsberg is Professor and Chair of Computer Science at UCLA, University of California, Los Angeles. His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the editor-in-chief of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, a former member of the editorial board of IEEE Transactions on Software Engineering, and a former conference program chair of POPL, TACAS, SAS, EMSOFT, MEMOCODE, PASTE, SREIS. In 2012 he received the ACM SIGPLAN Distinguished Service Award.
John Bender is a fourth year PhD student. He previously worked in industry as an open source software developer on projects like vagrant and jquery. He works on compilers and verification techniques for concurrent algorithms executing on weak memory models.
Christian Kalhauge is a second year PhD Student. His primary focus is dynamic and static analysis on concurrent programs. Currently he is the working on DARPA's MUSE project. He has a Masters of Science in Engineering from DTU in Denmark, with a focus on reliable software systems.
Matt Brown is a PhD candidate. His research focus is typed self-applicable meta-programming, which aims to use typed program representation techniques to ensure correctness properties of self-applicable meta-programs like self-interpreters. Other research interests include functional programming, type systems, concurrency and program verification.
Mahdi Eslamimehr was born in Tehran, Iran. He received his bachelor in computer engineering from Sharif University, and his master in computer science from Linkoping University. He received his PhD in 2014 from UCLA. His research interest lies in the intersection of software testing, compiler construction and programming languages.
Mohsen Lesani has research experience with IBM Research, Oracle (Sun) Labs, HP Labs and EPFL and is currently an Associate Professor at University of California Riverside. His research focuses on the design, implementation, testing and verification of safety and security of concurrent and distributed systems.
Jonathan Lee, Fernando Pereira, Krishna Nandivada, Christian Grothoff, Ben Titzer
Kevin Chang, Vidyut Samanta, Joseph Cox
Lorenz Verzosa, Adam Harmetz
Daniel Lee, Keith Mayoral, Ryan Leon