Cited By
View all- Li TBai JSui YHu SFalsafi BFerdman MLu SWenisch T(2022)Path-sensitive and alias-aware typestate analysis for detecting OS bugsProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507770(859-872)Online publication date: 28-Feb-2022
- Licker NJones T(2020)Duplo: a framework for OCaml post-link optimisationProceedings of the ACM on Programming Languages10.1145/34089804:ICFP(1-29)Online publication date: 3-Aug-2020
- Oliveira LPereira FMisoczki RAranha DBorges FNogueira MWangham MWu MLiu J(2018)The computer for the 21st century: present security & privacy challengesJournal of Internet Services and Applications10.1186/s13174-018-0095-29:1Online publication date: 4-Dec-2018