Personal
Formal Methods (FM)
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Correctness Witness Validation by Abstract Interpretation.
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).