Cited By
View all- Li SSato H(2025)SBD: Securing Safe Rust Automatically From Unsafe RustScience of Computer Programming10.1016/j.scico.2025.103281(103281)Online publication date: Feb-2025
- Chen ZChen PWang PYu GHe ZMai GChandra SBlincoe KTonella P(2023)DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software SystemsProceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3616300(566-578)Online publication date: 30-Nov-2023
- Ottoni GLiu BLee J(2021)HHVM jump-startProceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization10.1109/CGO51591.2021.9370314(340-350)Online publication date: 27-Feb-2021
- Show More Cited By