Cited By
View all- Patton NRahmani KMissula MBiswas JDillig I(2024)Programming-by-Demonstration for Long-Horizon Robot TasksProceedings of the ACM on Programming Languages10.1145/36328608:POPL(512-545)Online publication date: 5-Jan-2024
- Cifuentes CGauthier FHassanshahi BKrishnan PMcCall D(2023)The role of program analysis in security vulnerability detection: Then and nowComputers & Security10.1016/j.cose.2023.103463135(103463)Online publication date: Dec-2023
- Park JAn SRyu SRoychoudhury ACadar CKim M(2022)Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysisProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549097(1022-1034)Online publication date: 7-Nov-2022
- Show More Cited By