Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
Compiler-Driven Software Speculation for Thread-Level Parallelism
Paraskevas Yiapanis, Gavin Brown, Mikel Lujan
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: