Cited By
View all- Liu JMurphy CGrover AJohnson KReps TD’Antoni L(2024)Synthesizing Formal Semantics from Executable InterpretersProceedings of the ACM on Programming Languages10.1145/36897248:OOPSLA2(362-388)Online publication date: 8-Oct-2024
- Craaijo JVerbeek FRavindran B(2024)libLISA: Instruction Discovery and Analysis on x86-64Proceedings of the ACM on Programming Languages10.1145/36897238:OOPSLA2(333-361)Online publication date: 8-Oct-2024
- Jensen TRébiscoul VSchmitt A(2023)Deriving Abstract Interpreters from Skeletal SemanticsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.387.8387(97-113)Online publication date: 14-Sep-2023
- Show More Cited By