David I. August

IEEE Micro, 2012

DAFT: Decoupled Acyclic Fault Tolerance.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2012

Parcae: a system for flexible parallel execution.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Speculative separation for privatization and reductions.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

A General Approach for Efficiently Accelerating Software-based Dynamic Data Flow Tracking on Commodity Hardware.

[BibT_eX]

[DOI]

Kangkook Jee

Georgios Portokalidis

Vasileios P. Kemerlis

Soumyadeep Ghosh

Angelos D. Keromytis

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Runtime asynchronous fault tolerance via speculation.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

Automatic speculative DOALL for clusters.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

Dynamically managed data for CPU-GPU architectures.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

passert: A Tool for Debugging Parallel Programs.

[BibT_eX]

[DOI]

Daniel Schwartz-Narbonne

Feng Liu

Sharad Malik

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

From sequential programming to flexible parallel execution.

[BibT_eX]

[DOI]

Arun Raman

Jae W. Lee

Proceedings of the 15th International Conference on Compilers, 2012

Automatic Extraction of Parallelism from Sequential Code.

[BibT_eX]

[DOI]

Fundamentals of Multicore Software Development, 2012

2011

EPIC Processors.

[BibT_eX]

[DOI]

Arun Raman

Proceedings of the Encyclopedia of Parallel Computing, 2011

A survey of the practice of computational science.

[BibT_eX]

[DOI]

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Parallelism orchestration using DoPE: the degree of parallelism executive.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Commutative set: a language extension for implicit parallel programming.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Automatic CPU-GPU communication management and optimization.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Bundled execution of recurring traces for energy-efficient general purpose processing.

[BibT_eX]

[DOI]

Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

Encore: low-cost, fine-grained transient fault recovery.

[BibT_eX]

[DOI]

Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

Parallel assertions for debugging parallel programs.

[BibT_eX]

[DOI]

Daniel Schwartz-Narbonne

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

The SPARCHS Project: Hardware Support for Software Security.

[BibT_eX]

[DOI]

Proceedings of the First SysSec Workshop 2011, 2011

2010

Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?

[BibT_eX]

[DOI]

IEEE Micro, 2010

Scalable Speculative Parallelization on Commodity Clusters.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Decoupled software pipelining creates parallelization opportunities.

[BibT_eX]

[DOI]

Proceedings of the CGO 2010, 2010

Speculative parallelization using software multi-threaded transactions.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

Multicore compilation strategies and challenges.

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2009

2008

Speculation.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Performance scalability of decoupled software pipelining.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2008

Revisiting the Sequential Programming Model for the Multicore Era.

[BibT_eX]

[DOI]

IEEE Micro, 2008

Spice: speculative parallel iteration chunk execution.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

Parallel-stage decoupled software pipelining.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

Communication optimizations for global multi-threaded instruction scheduling.

[BibT_eX]

[DOI]

Guilherme Ottoni

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

Automatic Instruction-Level Software-Only Recovery.

[BibT_eX]

[DOI]

George A. Reis

Jonathan Chang

IEEE Micro, 2007

UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2007

Fault-tolerant typed assembly language.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Shape analysis with inductive recursion synthesis.

[BibT_eX]

[DOI]

Bolei Guo

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Global Multi-Threaded Instruction Scheduling.

[BibT_eX]

[DOI]

Guilherme Ottoni

Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 2007

Revisiting the Sequential Programming Model for Multi-Core.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 2007

Speculative Decoupled Software Pipelining.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

Optimizations for Memory Hierarchies.

[BibT_eX]

Easwaran Raman

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

The Liberty Simulation Environment: A deliberate approach to high-level system modeling.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2006

From sequential programs to concurrent threads.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2006

A framework for unrestricted whole-program optimization.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Automatic instruction scheduler retargeting by reverse-engineering.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Support for High-Frequency Streaming in CMPs.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

Static typing for a faulty lambda calculus.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Exploiting parallelism and structure to accelerate the simulation of chip multi-processors.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on High-Performance Computer Architecture, 2006

Selective Runtime Memory Disambiguation in a Dynamic Binary Translator.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Software-controlled fault tolerance.

[BibT_eX]

[DOI]

Shubhendu S. Mukherjee

ACM Trans. Archit. Code Optim., 2005

Chip multi-processor scalability for single-threaded applications.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 2005

Compiler Optimization-Space Exploration.

[BibT_eX]

[DOI]

Manish Vachharajani

J. Instr. Level Parallelism, 2005

Achieving Structural and Composable Modeling of Complex Systems.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2005

Automatic Thread Extraction with Decoupled Software Pipelining.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 2005

Design and Evaluation of Hybrid Fault-Detection Systems.

[BibT_eX]

[DOI]

Shubhendu S. Mukherjee

Proceedings of the 32st International Symposium on Computer Architecture (ISCA 2005), 2005

SWIFT: Software Implemented Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

Practical and Accurate Low-Level Pointer Analysis.

[BibT_eX]

[DOI]

Bolei Guo

Matthew J. Bridges

Guilherme Ottoni

Easwaran Raman

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

Recursive data structure profiling.

[BibT_eX]

[DOI]

Easwaran Raman

Proceedings of the 2005 workshop on Memory System Performance, 2005

2004

The Liberty Simulation Environment, version 1.0.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2004

The liberty structural specification language: a high-level modeling language for component reuse.

[BibT_eX]

[DOI]

Manish Vachharajani

Renato Fonseca F. Werneck

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

RIFLE: An Architectural Framework for User-Centric Information-Flow Security.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Achieving Structural and Composable Modeling of Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Finding Dominators in Practice.

[BibT_eX]

[DOI]

Loukas Georgiadis

Robert Endre Tarjan

Proceedings of the Algorithms, 2004

Facilitating reuse in hardware models with enhanced type inference.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

Exposing Memory Access Regularities Using Object-Relative Memory Profiling.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

Decoupled Software Pipelining with the Synchronization Array.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003

Challenges in Computer Architecture Evaluation.

[BibT_eX]

[DOI]

Computer, 2003

The liberty simulation environment as a pedagogical tool.

[BibT_eX]

[DOI]

Proceedings of the 2003 workshop on Computer architecture education, 2003

Optimizations for a simulator construction system supporting reusable components.

[BibT_eX]

[DOI]

David A. Penry

Proceedings of the 40th Design Automation Conference, 2003

Compiler Optimization-Space Exploration.

[BibT_eX]

[DOI]

Manish Vachharajani

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2002

Microarchitectural exploration with Liberty.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual International Symposium on Microarchitecture, 2002

Design Tools for Application Specific Embedded Processors.

[BibT_eX]

[DOI]

Wei Qin

Subramanian Rajagopalan

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Program decision logic optimization using predication and control speculation.

[BibT_eX]

[DOI]

Wen-Mei W. Hwu

John W. Sias

Proc. IEEE, 2001

Retargetable static timing analysis for embedded software.

[BibT_eX]

[DOI]

Kaiyu Chen

Sharad Malik

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

Systematic Compilation for Predicated Execution

[BibT_eX]

[DOI]

PhD thesis, 2000

Accurate and efficient predicate analysis with binary decision diagrams.

[BibT_eX]

[DOI]

John W. Sias

Wen-mei W. Hwu

Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, 2000

1999

The Partial Reverse If-Conversion Framework for Balancing Control Flow and Predication.

[BibT_eX]

[DOI]

Wen-mei W. Hwu

Scott A. Mahlke

Int. J. Parallel Program., 1999

The Program Decision Logic Approach to Predicated Execution.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

An Architecture Framework for Introducing Predicated Execution into Embedded Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Symposium on Computer Architecture, 1998

1997

A Framework for Balancing Control Flow and Predication.

[BibT_eX]

[DOI]