Keynote Speakers

Rajeev Alur, University of Pennsylvania
Syntax-Guided Synthesis

Rajeev Alur is Zisman Family Professor of Computer and Information Science at University of Pennsylvania. He obtained his bachelor's degree in computer science from IIT Kanpur in 1987, and PhD in computer science from Stanford University in 1991. Before joining Penn in 1997, he was with Computing Science Research Center at Bell Labs. His research is focused on formal methods for system design, and spans theoretical computer science, software verification and synthesis, and cyber-physical systems. He is a Fellow of the ACM, a Fellow of the IEEE, an Alfred P. Sloan Faculty Fellow, and a Simons Investigator, and was awarded ACM/IEEE Logic in Computer Science (LICS) Test-of-Time award in 2010 and the inaugural CAV (Computer-Aided Verification) award in 2008, for his work on timed automata. Prof. Alur has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems), and as the general chair of LICS, and is currently the lead PI on NSF Expeditions in Computing center ExCAPE (Expeditions in Computer Augmented Program Engineering).

Derek Chiou, The University of Texas at Austin and Microsoft Research
Accelerating Data Center Scale Applications using Reconfigurable Logic

Derek Chiou is an architect at Microsoft where he leads a team working on FPGAs for data center applications and an associate professor at The University of Texas at Austin. His research areas are FPGA acceleration, high performance computer simulation, rapid system design, computer architecture, parallel computing, Internet router architecture, and network processors. Before going to UT, Dr. Chiou was a system architect and lead the performance modeling team at Avici Systems, a manufacturer of terabit core routers. Dr. Chiou received his Ph.D., S.M. and S.B. degrees in Electrical Engineering and Computer Science from MIT.

Paul Clements, BigLever Software
A Formal Methods Perspective on Product Line Engineering

Paul Clements is the Vice President of Customer Success at BigLever Software, Inc., where he works to spread the adoption of systems and software product line engineering. Prior to this, he was a senior member of the technical staff at Carnegie Mellon University's Software Engineering Institute, where for 17 years he worked leading or co-leading projects in software product line engineering and software architecture documentation and analysis. Prior to the SEI, he was a computer scientist with the U.S. Naval Research Laboratory in Washington, D. C. Clements is the co-author of three practitioner-oriented books about software architecture, including ''Software Architecture in Practice'' and co-wrote ''Software Product Lines: Practices and Patterns''.