Opale Sjöstedt

According to our database, Opale Sjöstedt authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Soteria: Efficient Symbolic Execution as a Functional Library.

Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad

CoRR, November, 2025

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version).

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

CoRR, August, 2025

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., 2025