Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 11:55 - 12:25 at Belli - Session 1

Program analyzers have proven effective in detecting undesired behavior in programs such as crashes, bugs, and security vulnerabilities. Some settings require high assurance in the results of program analysis, such as software embedded in automobiles or airplanes. To achieve high assurance in the correctness or security of a piece of software, formal methods are used to automatically construct or check proofs of these properties using computers. Achieving high assurance for a piece of software is a monumental task, and is widely considered by experts to be out of reach for mainstream use using current methods. As a result, verification is only attempted for the most critical software components. In this thesis, I describe how to bring high assurance software closer to a reality by improving the methods used to develop implementations and proofs for program analyzers.

Sun 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 12:25: Doctoral Symposium - Session 1 at Belli
ecoop-2016-doctoral-symposium10:05 - 10:35
A: Lisa Nguyen Quang DoFraunhofer IEM
ecoop-2016-doctoral-symposium10:35 - 11:05
A: Adam ZiolkowskiUniversity of East Anglia
ecoop-2016-doctoral-symposium11:05 - 11:25
Coffee break
ecoop-2016-doctoral-symposium11:25 - 11:55
A: Daco HarkesDelft University of Technology
ecoop-2016-doctoral-symposium11:55 - 12:25
A: David DaraisUniversity of Maryland, College Park