University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > Soteria and Compositional Symbolic Execution à la Carte

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Soteria and Compositional Symbolic Execution à la Carte

Download to your calendar using vCal

If you have a question about this talk, please contact Rini Banerjee .

My research focuses on symbolic execution and a variant called compositional symbolic execution (CSE) where function bodies can be replaced by their separation-logic specifications. In this talk, I present an overview of two of my recent contributions to that field: CSE à la carte, a combinator approach for modularly building the model of state during symbolic execution allowing to construct various memory models as well as analysis-specific features such as user-defined predicates or bi-abduction; and Soteria, monadic approach to writing the engine itself.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Basement of CB2 cafe, Norfolk Street Hughes Hall, Cambridge University Cambridge Botanic Garden

Other talks

Online Causal Inference Seminar TBC Title to be confirmed Title TBC TBC Paediatric Medicine and Rheumatology
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity