ACM transactions on programming languages and systems

• 

  Año 2016, Vol. 38, Número 2. Texto Completo Ejemplar

  • Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

    Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

    • Resumen
    • Texto completo
    

  • Compiler-Driven Software Speculation for Thread-Level Parallelism

    Paraskevas Yiapanis, Gavin Brown, Mikel Lujan

    • Resumen
    • Texto completo
    

  • Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

    Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

    • Resumen
    • Texto completo
    

  • An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation

    Stefano Dissegna, Francesco Logozzo, Francesco Ranzato

    • Resumen
    • Texto completo