- Papers
- » Support for Software Reliability
- 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]. - 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]. - 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]. - Designing a User-Friendly Java NVM Framework
by Thomas Shull, Jian Huang, and Josep Torrellas,
10th Non-Volatile Memories Workshop, March 2019. [Presentation slides]. - 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]. - 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]. - 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]. -
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] -
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] -
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] -
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] -
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] -
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] -
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] -
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] -
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. -
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. -
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] -
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. -
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] -
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] -
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. -
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. - 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. -
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. - 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] - 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]