| 2023 | LPAR | On the Complexity of Convex and Reverse Convex Prequadratic Constraints. | Rodrigo Raya, Jad Hamza, Viktor Kuncak |
| 2021 | FMCAD | Stainless Verification System Tutorial. | Viktor Kuncak, Jad Hamza |
| 2020 | PLDI | Zippy LL(1) parsing with derivatives. | Romain Edelmann, Jad Hamza, Viktor Kuncak |
| 2019 | VMCAI | Minimal Synthesis of String to String Functions from Examples. | Jad Hamza, Viktor Kuncak |
| 2018 | FORTE | Monotonic Prefix Consistency in Distributed Systems. | Alain Girault, Gregor Gler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
| 2017 | ECOOP | Proactive Synthesis of Recursive Tree-to-String Functions from Examples. | Mikal Mayer, Jad Hamza, Viktor Kuncak |
| 2017 | POPL | On verifying causal consistency. | Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza |
| 2015 | ICALP | On Reducing Linearizability to State Reachability. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | PLDI | Monitoring refinement via symbolic reasoning. | Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | POPL | Tractable Refinement Checking for Concurrent Objects. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2014 | POPL | Verifying eventual consistency of optimistic replication systems. | Ahmed Bouajjani, Constantin Enea, Jad Hamza |
| 2013 | ESOP | Verifying Concurrent Programs against Sequential Specifications. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2010 | FMCAD | Synthesis for regular specifications over unbounded domains. | Jad Hamza, Barbara Jobstmann, Viktor Kuncak |