ESOP
ESOPProgramming Languages and Systems
CSF
csf
EuroSys
Proceedings of the Fourteenth EuroSys Conference 2019
CREST
4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
EuroS&P
In Submission