The continuous demand for ever more complex software systems and the emergence of new computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group (SRG) at Imperial College London focuses on designing novel techniques for improving the quality and dependability of software, with an emphasis on building practical tools for automatically finding software bugs, generating high-quality test suites, verifying the absence of certain types of bugs, and allowing applications to survive critical errors. Our research spans the areas of software engineering, software testing, computer systems and computer security, and has been generously sponsored by the UK Engineering and Physical Sciences Research Council (EPSRC), DSO, Google, Microsoft Research and ARM.
Computing Summaries of String Loops in C for Better Testing and Refactoring
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Mvedsua: Higher Availability Dynamic Software Updates via Multi-Version Execution
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
24th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019)
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar
Empirical Software Engineering (EMSE 2018)
Shadow Symbolic Execution for Testing Software Patches
Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
ACM Transactions on Software Engineering and Methodology (TOSEM 2018)
PARTI: A Multi-interval Theory Solver for Symbolic Execution
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)
Bill Hallahan, Yale University
Tuesday, June 4th, 2019, 11:00 amSergey Mechtaev, University College London (UCL)
Thursday, May 16th, 2019, 11:00 am