Cristian Cadar is Professor of Software Reliability in the Department of Computing at Imperial College London, where he leads the Software Reliability Group, working on automatic techniques for increasing the reliability and security of software systems. Cristian’s research has been recognised by several prestigious awards, including the EuroSys Jochen Liedtke Award, the HVC Award, the BCS Roger Needham Award, the ACM SIGOPS Hall of Fame Award, and the ACM CCS Test of Time Award. He also received an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. Many of the research techniques he co-authored have been open-sourced and used by several groups in both academia and industry. In particular, he is co-author and the principal maintainer of the KLEE symbolic execution system, a popular system with a large user base. Cristian has a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.
Tue 16 AprDisplayed time zone: Lisbon change
16:00 - 17:30 | Coverage and Memory Errors & ClosingKLEE at Maria Helena Vieira da Silva Chair(s): Julien Vanegue Bloomberg, USA | ||
16:00 22mTalk | An Efficient Black-box Support of Advanced Coverage Criteria for KLEE KLEE Nicolas Berthier OCamlPro, Steven de Oliveira OCamlPro, Nikolai Kosmatov Thales Research & Technology, P: Delphine Longuet Thales Research & Technology, Romain Soulat | ||
16:22 22mTalk | Concretely Mapped Symbolic Memory Locations for Memory Error Detection KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Jiaqi Hong Independent Researcher, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology | ||
16:44 16mDay closing | Closing Remarks KLEE Cristian Cadar Imperial College London | ||
