Cited By
View all- Alcock PRotsos CRace N(2024)Oz: Towards an Extensible Intent Handler Architecture with Semantic ReasoningNOMS 2024-2024 IEEE Network Operations and Management Symposium10.1109/NOMS59830.2024.10575364(1-5)Online publication date: 6-May-2024
- Liu YMechtaev SSubotić PRoychoudhury AChandra SBlincoe KTonella P(2023)Program Repair Guided by Datalog-Defined Static AnalysisProceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3616363(1216-1228)Online publication date: 30-Nov-2023
- Bembenek AGreenberg MChong S(2023)From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection ProblemsProceedings of the ACM on Programming Languages10.1145/35712007:POPL(185-217)Online publication date: 11-Jan-2023
- Show More Cited By