Cited By
View all- Lu SBodík R(2023)Grisette: Symbolic Compilation as a Functional Programming LibraryProceedings of the ACM on Programming Languages10.1145/35712097:POPL(455-487)Online publication date: 11-Jan-2023
- Yao PShi QHuang HZhang C(2021)Program analysis via efficient symbolic abstractionProceedings of the ACM on Programming Languages10.1145/34854955:OOPSLA(1-32)Online publication date: 15-Oct-2021
- Beckett RMahajan RZhao BZheng HMadhyastha HPadmanabhan V(2020)A General Framework for Compositional Network ModelingProceedings of the 19th ACM Workshop on Hot Topics in Networks10.1145/3422604.3425930(8-15)Online publication date: 4-Nov-2020
- Show More Cited By