TSD 2013
3rd Tsinghua Software Day
               
 Home  Organization  Lecture  Program  Local Infomation  Contact Us  
               
Marc Pouzet

Marc Pouzet

Marc Pouzet is Professor at Universit Pierre et Marie Curie in the Computer Science Department of cole normale suprieure, Paris, France. He is also junior member at Institut Universitaire de France. His main research activity concerns programming languages for real-time systems with particular interest in synchronous languages, semantics, type-systems and compilation. He was the main architect and developper of the language Lucid Synchrone and several of his works have been transfered into industrial tools (e.g., SCADE 6). His recent works focus on programming models for computer intensive real-time systems (e.g., TV boxes) and the extension of synchronous languages with continuous time. In particular, he is interested in the semantics and implementation of hybrid modelers (Simulink, Modelica), the design of a synchronous language with mixed (discrete/continuous signals, and the certification of a Lustre compiler in Coq.
Louis Mandel

Louis Mandel

Louis Mandel is a collaborator of Marc Pouzet which main interest is in design and implementation of programming languages for reactive systems. He is especially interested in the theory of compositional time models.
Edmund Clarke

Edmund Clarke

Edmund Clarke is professor at Carnegie Mellon University where he holds an endowed chair in the School of Computer Science.

Clarke's interests include software and hardware verification and automatic theorem proving. In 1981 he and his Ph.D. student E. Allen Emerson first proposed the use of model checking as a verification technique for finite state concurrent systems, with application to hardware verification. With Randal Bryant, E. Allen Emerson, and Kenneth McMillan, he also initiated the development of symbolic model checking, for which they received the prestigious ACM Paris Kanellakis Award in 1999. In 2004 he received the IEEE Computer Society Harry H. Goode Memorial Award for significant and pioneering contributions to formal verification of hardware and software systems, and for the profound impact these contributions have had on the electronics industry. He, Alan Emerson and Joseph Sifakis received the prestigious Turing award for their pionneering achievements on model checking in 2007. He also received the Herbrand award in 2008. In 2009, he led the creation of the Computational Modeling and Analysis of Complex Systems center, funded by the National Science Foundation. This center spans multiple universities, applying abstract interpretation and model checking to biological and embedded systems.

Edmund Clarke is a member of the American Academies of Engineering and of Art and Sciences, and a fellow of the ACM and IEEE.
Erik Hagersten

Erik Hagersten

Erik Hagersten has held a professor chair in computer architecture at Uppsala University in Sweden since 1999 and is a member of the Royal Swedish Academy of Engineering Sciences. He has created the Uppsala Architecture Research Team (UART), consisting of three professors and about fifteen graduate students specializing in the ultrafast modelling technology of parallel memory systems, out-of-order execution processors and various power consumption models.

Erik gained his initial interest in parallel architecture in the Dataflow project at MIT in the early 1980s and brought parallel processing and programming to Ericsson in the late 1980s. He coined cache-only memory architecture (and it brain-dead acronym COMA) while managing the architecture research group at the Swedish Institute of Computer Science (SICS) in the early 1990s. The Simics simulator by Virtutech, Inc. is another result from that group.

Erik was the chief architect for Sun Microsystem's high-end server engineering division in the US 1993?C1999. He is the architect of the Sun WildFire and Sunfire Link products as well as the Sun Enterprise 15k/25k and UltraSPARC III and IV scalable coherence technology.

He founded Acumem AB in 2006, developing new modelling technology for multicore optimizations. Acumem was acquired by Rogue Wave Software Inc. in 2010. Erik served part-time as chief scientist for Rogue Wave Software Inc. 2010C2012. He has now returned to his professorship full time.