Cited By
View all- Herklotz YWickerson J(2024)Hyperblock Scheduling for Verified High-Level SynthesisProceedings of the ACM on Programming Languages10.1145/36564558:PLDI(1929-1953)Online publication date: 20-Jun-2024
- Lesbre DLemerre M(2024)Compiling with Abstract InterpretationProceedings of the ACM on Programming Languages10.1145/36563928:PLDI(368-393)Online publication date: 20-Jun-2024
- Kwon SKwon JKang WLee JHeo KRoychoudhury APaiva AAbreu RStorey M(2024)Translation Validation for JIT Compiler in the V8 JavaScript EngineProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639189(1-12)Online publication date: 20-May-2024
- Show More Cited By