| 2025 | ESORICS | Formally-Verified Security Against Forgery of Remote Attestation Using SSProve. | Sara Zain, Jannik Mhn, Stefan Kpsell, Sebastian Ertel |
| 2025 | PLOS | Debug, Execute, Verify! Development-Verification Co-Design Made Practical. | Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel |
| 2023 | ECOOP | ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. | Felix Suchert, Lisza Zeidler, Jernimo Castrilln, Sebastian Ertel |
| 2020 | CC | Compiler-based graph representations for deep learning models of code. | Alexander Brauckmann, Andrs Goens, Sebastian Ertel, Jernimo Castrilln |
| 2019 | HASKELL | STCLang: state thread composition as a foundation for monadic dataflow parallelism. | Sebastian Ertel, Justus Adam, Norman A. Rink, Andrs Goens, Jernimo Castrilln |
| 2019 | PLDI | A case study on machine learning for synthesizing benchmarks. | Andrs Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jernimo Castrilln |
| 2018 | CC | Compiling for concise code and efficient I/O. | Sebastian Ertel, Andrs Goens, Justus Adam, Jernimo Castrilln |
| 2018 | PPoPP | Supporting Fine-grained Dataflow Parallelism in Big Data Systems. | Sebastian Ertel, Justus Adam, Jernimo Castrilln |
| 2014 | Middleware | A framework for the dynamic evolution of highly-available dataflow programs. | Sebastian Ertel, Pascal Felber |