CESCA Newsletter : April 2014


TR Number



Journal Title

Journal ISSN

Volume Title


Virginia Tech. Center for Embedded Systems for Critical Applications


Dr. Chao Wang and his Ph.D. student, Hassan Eldib, received the Best Paper Award at the International Conference on Formal Methods in Computer Aided Design (FMCAD) in November 2013 for a paper titled “An SMT based method for optimizing arithmetic computations in embedded software code.” FMCAD 2013 is a leading conference on the theory and applications of formal methods in hardware and system verification, providing a forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. According to the FMCAD 2013 Best Paper Committee, Eldib and Wang’s work “tackles a very interesting problem, namely the optimization of control software manipulating fixed-point integer data, and presents an innovative and scalable solution based on the use of SMT solvers and inductive synthesis procedures” and is “an important step towards the design of better embedded software.”