Cited By
View all- Stein BNielsen BChang BMøller A(2019)Static analysis with demand-driven value refinementProceedings of the ACM on Programming Languages10.1145/33605663:OOPSLA(1-29)Online publication date: 10-Oct-2019
- Vukotic IRahli VEsteves-Veríssimo P(2019)Asphalion: trustworthy shielding against Byzantine faultsProceedings of the ACM on Programming Languages10.1145/33605643:OOPSLA(1-32)Online publication date: 10-Oct-2019
- Sjöberg VSang YWeng SShao Z(2019)DeepSEA: a language for certified system softwareProceedings of the ACM on Programming Languages10.1145/33605623:OOPSLA(1-27)Online publication date: 10-Oct-2019
- Show More Cited By