Cited By
View all- Sammler MLepigre RKrebbers RMemarian KDreyer DGarg DFreund SYahav E(2021)RefinedC: automating the foundational verification of C code with refined ownership typesProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454036(158-174)Online publication date: 19-Jun-2021
- Narayanan VBaranowski MRyzhyk LRakamarić ZBurtsev A(2019)RedLeafProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3317550.3321449(37-44)Online publication date: 13-May-2019
- Ruef ALampropoulos LSweet ITarditi DHicks M(2019)Achieving Safety Incrementally with Checked CPrinciples of Security and Trust10.1007/978-3-030-17138-4_4(76-98)Online publication date: 3-Apr-2019
- Show More Cited By