Imperial College London

Best Experience Paper at the ASE 2017 Conference

by

Daniel Liew, Cristian Cadar and collaborators pick up the Best Experience Paper award.

Daniel Liew, Cristian Cadar and collaborators pick up the Best Experience Paper award.

The Best Experience Paper award at ASE 2017 was awarded to a paper from authors including Imperial researchers Liew, Cadar and Donaldson.

The 32nd IEEE/ACM International Conference on Automated Software Engineering was held last week at the University of Illinois at Urbana-Champaign, Illinois. The conference's Programme Committee selected a paper from Imperial College London researchers Daniel Liew (PhD student) and Crisitian Cadar and Alastair Donaldson (Daniel's PhD supervisors), co-authored with collaborators at RWTH Aachen University, for the Best Experience Paper Award.

The paper, Floating-Point Symbolic Execution: A Case Study in N-version Programming, tells a story whereby the teams of researchers at Imperial and Aachen discovered that each other had independently implemented extensions to the KLEE symbolic execution engine to support floating-point reasoning. The teams used this coincidence, an undesirable situation in some respects, to undertake a controlled study in N-version programming, with N = 2, undertaking a controlled experiment in which the two extensions to KLEE were systematically improved, driven by sets of benchmarks written independently produced by opposite teams, and then rigorously compared, both quantitatively with respect to reliability and performance, and qualitatively to investigate notable design similarities and differences.

The paper describes in detail the methodology that was followed, and the lessons learned, both about floating-point symbolic execuction and N-version programming, via the study.

Reporter

Joseph Worsfold

Joseph Worsfold
Department of Computing

Click to expand or contract

Contact details

Email: press.office@imperial.ac.uk
Show all stories by this author

Tags:

Education, International, Research
See more tags

Leave a comment

Your comment may be published, displaying your name as you provide it, unless you request otherwise. Your contact details will never be published.