Improving Thread-Modular Abstract Interpretation.
Improving Thread-Modular Abstract Interpretation. SAS 2021: 359-383
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) 2021: 438-442
Artifact Evaluation Committee - TACAS'22
For inquiries related to IN0003 Functional Programming and Verification, please do not email me directly, but only our shared mailbox email@example.com.
- Tutorials for IN0003 Functional Programming and Verification (Winter '21/'22)
- Tutorials for IN2227 Compiler Construction (Summer '20, '21)
- Pratical Course: Static Analysis - Automated Bug Hunting and Beyond (Summer '21)
- Practial Course: Program Optimization with LLVM (Winter '20/'21, Summer '20)
If you are interested in doing a student thesis related to static analysis and Goblint, feel free to reach out. For more information on possible student topics see here.
|Bachelor's Theses||Master's Theses|
| || |