• Papers
    • » Support for Software Reliability
  1. AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
    by Thomas Shull, Jian Huang, Josep Torrellas,
    International Conference on Programming Language Design and Implementation (PLDI), June 2019. [Presentation slides].

  2. Reusable Inline Caching for JavaScript Performance
    by Jiho Choi, Thomas Shull, and Josep Torrellas,
    International Conference on Programming Language Design and Implementation (PLDI), June 2019. [Presentation slides].

  3. QuickCheck: Using Speculation to Reduce the Overhead of Checks in NVM Frameworks
    by Thomas Shull, Jian Huang, and Josep Torrellas,
    International Conference on Virtual Execution Environments (VEE), April 2019. [Presentation slides].

  4. Designing a User-Friendly Java NVM Framework
    by Thomas Shull, Jian Huang, and Josep Torrellas,
    10th Non-Volatile Memories Workshop, March 2019. [Presentation slides].

  5. Biased Reference Counting: Limiting Atomic Operations in Reference Counting for Garbage Collection
    by Jiho Choi, Thomas Shull, and Josep Torrellas,
    International Conference on Parallel Architectures and Compilation Techniques (PACT), November 2018. [Presentation slides].

  6. An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
    by Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, and Josep Torrellas,
    Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2018. [Presentation slides].

  7. Defining a High-Level Programming Model for Emerging NVRAM Technologies
    by Thomas Shull, Jian Huang, and Josep Torrellas,
    International Conference on Managed Languages and Runtimes (ManLang), September 2018. [Presentation slides].

  8. Dynamically Detecting and Tolerating IF-Condition Data Races
    by Shanxiang Qi, Abdullah Muzahid, Wonsun Ahn, and Josep Torrellas,
    International Symposium on High Performance Computer Architecture (HPCA), February 2014. [Presentation slides]

  9. Volition: Scalable and Precise Sequential Consistency Violation Detection
    by Xuehai Qian, Benjamin Sahelices, Josep Torrellas and Depei Qian,
    International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2013. [Presentation slides]

  10. Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically
    by Abdullah Muzahid, Shanxiang Qi and Josep Torrellas,
    International Symposium on Microarchitecture (MICRO), December 2012. [Video of a presentation at UIUC]. [Presentation slides]

  11. Pacman: Tolerating Asymmetric Data Races with Unintrusive Hardware
    by Shanxiang Qi, Norimasa Otsuki, Lois Orosa, Abdullah Muzahid, and Josep Torrellas,
    International Symposium on High Perfomance Computer Architecture (HPCA), February 2012. [Presentation slides]

  12. AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection
    by Abdullah Muzahid, Norimasa Otsuki, and Josep Torrellas,
    International Symposium on Microarchitecture (MICRO), December 2010. [Presentation slides]

  13. InstantCheck: Checking the Determinism of Parallel Programs Using On-the-fly Incremental Hashing
    by Adrian Nistor, Darko Marinov, and Josep Torrellas,
    International Symposium on Microarchitecture (MICRO), December 2010. [Presentation slides]

  14. Light64: Lightweight Hardware Support for Data Race Detection during Systematic Testing of Parallel Programs
    by Adrian Nistor, Darko Marinov, and Josep Torrellas,
    International Symposium on Microarchitecture (MICRO), December 2009. [Presentation slides]

  15. SigRace: Signature-Based Data Race Detection
    by Abdullah Muzahid, Dario Suarez, Shanxiang Qi, and Josep Torrellas,
    36th Annual International Symposium on Computer Architecture (ISCA), June 2009. [Presentation slides]

  16. SoftSig: Software-Exposed Hardware Signatures for Code Analysis and Optimization
    by James Tuck, Wonsun Ahn, Luis Ceze, and Josep Torrellas,
    IEEE Micro Special Issue: Micro's Top Picks from Computer Architecture Conferences, January-February 2009.

  17. Programming and Debugging Shared Memory Programs with Data Coloring
    by Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, and Josep Torrellas,
    Workshop on Compilers for Parallel Computing (CPC), January 2009.

  18. SoftSig: Software-Exposed Hardware Signatures for Code Analysis and Optimization
    by James Tuck, Wonsun Ahn, Luis Ceze, and Josep Torrellas,
    13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008. [Presentation slides]

  19. PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
    by Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, and Josep Torrellas,
    39th International Symposium on Microarchitecture (MICRO), December 2006.

  20. Accurate and Efficient Filtering for the Intel Thread Checker Race Detector
    by Paul Sack, Brian E Bliss, Zhiqiang Ma, Paul Petersen, and Josep Torrellas,
    Workshop on Architectural and System Support for Improving Software Dependability (ASID), October 2006. [Presentation slides]

  21. Empowering Software Debugging Through Architectural Support for Program Rollback
    by Radu Teodorescu and Josep Torrellas,
    Workshop on the Evaluation of Software Defect Detection Tools (BUGS), in conjunction with PLDI, June 2005. [Presentation slides]

  22. Deploying Architectural Support for Software Defect Detection in Future Processors
    by Yuanyuan Zhou and Josep Torrellas,
    Workshop on the Evaluation of Software Defect Detection Tools (BUGS), in conjunction with PLDI, June 2005.

  23. Efficient and Flexible Architectural Support for Dynamic Monitoring
    by Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu, and Josep Torrellas,
    ACM Transactions on Architecture and Code Optimization (TACO), December 2004.

  24. iWatcher: Simple and General Architectural Support for Software Debugging
    by Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas,
    IEEE Micro Special Issue: Micro's Top Picks from Computer Architecture Conferences, November-December 2004.

  25. AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
    by Pin Zhou, Wei Liu, Fei Long, Shan Lu, Feng Qin, Yuanyuan Zhou, Sam Midkiff and Josep Torrellas,
    37th International Symposium on Microarchitecture (MICRO), December 2004.

  26. iWatcher: Efficient Architectural Support for Software Debugging
    by Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas,
    31th Annual International Symposium on Computer Architecture (ISCA), June 2004. [Presentation slides]

  27. ReEnact: Using Thread-Level Speculation to Debug Data Races in Multithreaded Codes
    by Milos Prvulovic and Josep Torrellas,
    30th Annual International Symposium on Computer Architecture (ISCA), June 2003. [Presentation slides]