Vikram S. Adve

Arun Narenthiran Sivakumar

Jessica M. Wedow

Elizabeth A. Ainsworth

Girish Chowdhary

Angela Green-Miller

Christina Tucker

AI Mag., 2024

An Empirical Comparison of Code Generation Approaches for Ansible.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Interpretability, 2024

Felix: Optimizing Tensor Programs with Gradient Descent.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Trireme: Exploration of Hierarchical Multi-level Parallelism for Hardware Acceleration.

[BibT_eX]

[DOI]

Georgios Zacharopoulos

ACM Trans. Embed. Comput. Syst., 2023

Semi-Supervised Object Detection in the Open World.

[BibT_eX]

[DOI]

CoRR, 2023

ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization.

[BibT_eX]

[DOI]

Mateus Valverde Gasparino

Proceedings of the Sixth Conference on Machine Learning and Systems, 2023

2022

HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems.

[BibT_eX]

[DOI]

IEEE Micro, 2022

Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing.

[BibT_eX]

[DOI]

CoRR, 2022

Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration.

[BibT_eX]

[DOI]

Georgios Zacharopoulos

CoRR, 2022

HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Application-specific Systems, 2022

2021

Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software.

[BibT_eX]

[DOI]

Bogdan Alexandru Stoica

Swarup Kumar Sahoo

James R. Larus

CoRR, 2021

ApproxTuner: a compiler and runtime system for adaptive approximations.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Language-parametric compiler validation with application to LLVM.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Guided linking: dynamic linking without the costs.

[BibT_eX]

[DOI]

Sean Bartell

Will Dietz

Proc. ACM Program. Lang., 2020

Why digital agriculture is fertile ground for software systems research (keynote).

[BibT_eX]

[DOI]

Proceedings of the SPLASH '20: Conference on Systems, 2020

Scalable validation of binary lifters.

[BibT_eX]

[DOI]

Christopher W. Fletcher

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL.

[BibT_eX]

[DOI]

Adel Ejjeh

Rob A. Rutenbar

Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020

2019

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms.

[BibT_eX]

[DOI]

IEEE Micro, 2019

Region and effect inference for safe parallelism.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2019

A complete formal semantics of x86-64 user-level instruction set architecture.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Wok: statistical program slicing in production.

[BibT_eX]

[DOI]

Bogdan Alexandru Stoica

Swarup Kumar Sahoo

James R. Larus

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Software multiplexing: share your libraries and statically link them too.

[BibT_eX]

[DOI]

Will Dietz

Proc. ACM Program. Lang., 2018

HPVM: heterogeneous parallel virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

PROMISE: An End-to-End Design of a Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

DLVM: A modern compiler infrastructure for deep learning systems.

[BibT_eX]

[DOI]

Richard Wei

Lane Schwartz

Proceedings of the 6th International Conference on Learning Representations, 2018

2016

HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems.

[BibT_eX]

[DOI]

Prakalp Srivastava

Maria Kotsifakou

CoRR, 2016

POSTER: hVISC: A Portable Abstraction for Heterogeneous Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015

Understanding Integer Overflow in C/C++.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Slipstream: Automatic Interprocess Communication Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Region and Effect Inference for Safe Parallelism (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Stash: have your scratchpad and cache it too.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Scalable Task Scheduling and Synchronization Using Hierarchical Effects.

[BibT_eX]

[DOI]

Stephen T. Heumann

Alexandros Tzannes

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels.

[BibT_eX]

[DOI]

Nathan Dautenhahn

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Virtual ghost: protecting applications from hostile operating systems.

[BibT_eX]

[DOI]

Nathan Dautenhahn

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

The tasks with effects model for safe concurrency.

[BibT_eX]

[DOI]

Stephen Heumann

Shengjie Wang

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Using likely invariants for automated software fault localization.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Disciplined Concurrent Programming Using Tasks with Effects.

[BibT_eX]

[DOI]

Stephen Heumann

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

A Mirrored Data Structures Approach to Diverse Partial Memory Replication.

[BibT_eX]

[DOI]

Ryan M. Lefever

William H. Sanders

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011

Safe nondeterminism in a deterministic-by-default parallel language.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

An empirical study of reported bugs in server software with implications for automated bug diagnosis.

[BibT_eX]

[DOI]

Swarup Kumar Sahoo

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Diverse Partial Memory Replication.

[BibT_eX]

[DOI]

Ryan M. Lefever

William H. Sanders

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Memory Safety for Low-Level Software/Hardware Interactions.

[BibT_eX]

[DOI]

Nicolas Geoffray

Proceedings of the 18th USENIX Security Symposium, 2009

A type and effect system for deterministic parallel Java.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Inferring Method Effect Summaries for Nested Heap Regions.

[BibT_eX]

[DOI]

Mohsen Vakilian

Danny Dig

Jeffrey Overbey

Ralph E. Johnson

Proceedings of the ASE 2009, 2009

Recovery domains: an organizing principle for recoverable operating systems.

[BibT_eX]

[DOI]

Andrew Lenharth

Samuel T. King

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

2008

Software transactional memory for large scale clusters.

[BibT_eX]

[DOI]

Bradford L. Chamberlain

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Using likely program invariants to detect hardware errors.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Trace-based microarchitecture-level diagnosis of permanent hardware faults.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Understanding the propagation of hard errors to software and implications for resilient system design.

[BibT_eX]

[DOI]

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

2007

Secure virtual architecture: a safe execution environment for commodity operating systems.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Making context-sensitive points-to analysis with heap cloning practical for the real world.

[BibT_eX]

[DOI]

Andrew Lenharth

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

2006

Vector LLVA: a virtual vector instruction set for media processing.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

SAFECode: enforcing alias analysis for weakly typed languages.

[BibT_eX]

[DOI]

Sumant Kowshik

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

Backwards-compatible array bounds checking for C with very low overhead.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Efficiently Detecting All Dangling Pointer Uses in Production Servers.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Memory safety without garbage collection for embedded applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Automatic pool allocation: improving performance by controlling data structure layout in the heap.

[BibT_eX]

[DOI]

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

A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance.

[BibT_eX]

[DOI]

Richard D. Schlichting

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Transparent pointer compression for linked data structures.

[BibT_eX]

[DOI]

Proceedings of the 2005 workshop on Memory System Performance, 2005

2004

Parallel program performance prediction using deterministic task graph analysis.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2004

Transforming Complex Loop Nests for Locality.

[BibT_eX]

[DOI]

Qing Yi

Ken Kennedy

J. Supercomput., 2004

The LLVM Compiler Framework and Infrastructure Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for High Performance Computing, 2004

Software Implications of Virtual Instruction Set Computers.

[BibT_eX]

[DOI]

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

Coordinating Adaptations in Distributed Systems.

[BibT_eX]

[DOI]

Brian Ensink

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.

[BibT_eX]

[DOI]

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

2003

Program Control Language: a programming language for adaptive distributed applications.

[BibT_eX]

[DOI]

Brian Ensink

Joel Stanley

J. Parallel Distributed Comput., 2003

LLVA: A Low-level Virtual Instruction Set Architecture.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual International Symposium on Microarchitecture, 2003

Memory safety without runtime checks or garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 2003 Conference on Languages, 2003

An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Advanced optimization strategies in the Rice dHPF compiler.

[BibT_eX]

[DOI]

Daniel G. Chavarría-Miranda

Bradley Broom

Concurr. Comput. Pract. Exp., 2002

Automatic pool allocation for disjoint data structures.

[BibT_eX]

[DOI]

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Model-Based Control of Adaptive Applications: An Overview.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Ensuring code safety without runtime checks for real-time control systems.

[BibT_eX]

[DOI]

Sumant Kowshik

Proceedings of the International Conference on Compilers, 2002

2001

Language and Compiler Support for Adaptive Distributed Applications.

[BibT_eX]

[DOI]

Vinh Vi Lam

Brian Ensink

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Advanced Code Generation for High Performance Fortran.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

2000

POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.

[BibT_eX]

[DOI]

David Sundaram-Stukel

Patricia J. Teller

IEEE Trans. Software Eng., 2000

Application Representations for Multiparadigm Performance Modeling of Large-Scale Parallel Scientific Codes.

[BibT_eX]

[DOI]

Rizos Sakellariou

Int. J. High Perform. Comput. Appl., 2000

Transforming loops to recursion for multi-level memory hierarchies.

[BibT_eX]

[DOI]

Qing Yi

Ken Kennedy

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction.

[BibT_eX]

[DOI]

Rizos Sakellariou

Proceedings of the Languages and Compilers for Parallel Computing, 2000

1999

Compiler-Supported Simulation of Highly Scalable Parallel Applications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

1998

Simplifying Control Flow in Compiler-Generated Parallel Code.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1998

Poems: end-to-end performance design of large parallel adaptive computational systems.

[BibT_eX]

[DOI]

David Sundaram-Stukel

Proceedings of the First International Workshop on Software and Performance, 1998

High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes.

[BibT_eX]

[DOI]

Guohua Jin

Qing Yi

Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

Using Integer Sets for Data-Parallel Program Analysis and Optimization.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Symposium on High-Performance Computer Architecture (HPCA '97), 1997

1995

An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

1994

Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

The Relationship Between Bernoulli and Fixed Feedback Policies for the M/G/1 Queue.

[BibT_eX]

[DOI]

Randolph Nelson

Oper. Res., 1994

Requirements for DataParallel Programming Environments.

[BibT_eX]

[DOI]

Scott K. Warren

Chau-Wen Tseng

IEEE Parallel Distributed Technol. Syst. Appl., 1994

1993

The Influence of Random Delays on Parallel Execution Times.

[BibT_eX]

[DOI]