Verified Software

Seung Hoon (Simon) is a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. His primary research interest is in the mechanisation of a Compostional Symbolic Execution (CSE) framework and bridging the gap between theory and implementation of CSE.

In the past, Simon worked on formally verifying C algorithms and formally modelling CHERI-C memory models.

Group Publications

1. Compositional Symbolic Execution for the Next 700 Memory Models

   • Andreas Lööw
   • Seung Hoon Park
   • Daniele Nantes-Sobrinho
   • Sacha-Élie Ayoun
   • Opale Sjöstedt
   • Philippa Gardner

   Proc. ACM Program. Lang., vol. 9(OOPSLA2)

2. Views: Compositional Reasoning for Concurrent Programs

   • Thomas Dinsdale-Young
   • Lars Birkedal
   • Philippa Gardner
   • Matthew J. Parkinson
   • Hongseok Yang

   Proceedings of the 40^th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’13), pp. 287–300

3. Concurrent Abstract Predicates

   • Thomas Dinsdale-Young
   • Mike Dodds
   • Philippa Gardner
   • Matthew J. Parkinson
   • Viktor Vafeiadis

   Proceedings of the 24^th European Conference on Object-Oriented Programming (ECOOP’10), pp. 504–528