Announcement_3

October 8, 2024

2024

Our paper Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly was accepted at The Programming Journal!

---

Enjoy Reading This Article?

Here are some more articles you might like to read next:

Static Analysis Lab: C

Rust 101

Advances in Symbolic Execution: A Workshop on C, JavaScript, and WebAssembly