Henry Hoffmann

Affiliations:
  • University of Chicago, USA
  • MIT, Cambridge, USA (former)


According to our database1, Henry Hoffmann authored at least 136 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SEASONS: Signal and Energy Aware Sensing on iNtermittent Systems.
CoRR, 2024

2023
Run-Time Prevention of Software Integration Failures of Machine Learning APIs.
Proc. ACM Program. Lang., October, 2023

CacheGen: Fast Context Loading for Language Model Applications.
CoRR, 2023

Automatic and Efficient Customization of Neural Networks for ML Applications.
CoRR, 2023

DPS: Adaptive Power Management for Overprovisioned Systems.
Proceedings of the International Conference for High Performance Computing, 2023

Prediction Privacy in Distributed Multi-Exit Neural Networks: Vulnerabilities and Solutions.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

CAFQA: A Classical Simulation Bootstrap for Variational Quantum Algorithms.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
Acela: Predictable Datacenter-level Maintenance Job Scheduling.
CoRR, 2022

SCOPE: Safe Exploration for Dynamic Computer Systems Optimization.
CoRR, 2022

Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression.
CoRR, 2022

CAFQA: Clifford Ansatz For Quantum Accuracy.
CoRR, 2022

AgileCtrl: a self-adaptive framework for configuration tuning.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

GOAL: Supporting General and Dynamic Adaptation in Computing Systems.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

NURD: Negative-Unlabeled Learning for Online Datacenter Straggler Prediction.
Proceedings of Machine Learning and Systems 2022, 2022

Automated Testing of Software that Uses Machine Learning APIs.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Penelope: Peer-to-peer Power Management.
Proceedings of the 51st International Conference on Parallel Processing, 2022

Analyzing CAN's Timing under Periodically Authenticated Encryption.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Protecting adaptive sampling from information leakage on low-power sensors.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021
Comparing and Combining Approximate Computing Frameworks.
CoRR, 2021

NEAT: A Framework for Automated Exploration of Floating Point Approximations.
CoRR, 2021

Do Users Have Contextual Preferencesfor Smartphone Power Management?
Proceedings of the 29th ACM Conference on User Modeling, Adaptation and Personalization, 2021

Generalizable and interpretable learning for configuration extrapolation.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Budget RNNs: Multi-Capacity Neural Networks to Improve In-Sensor Inference Under Energy Budgets.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures.
Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

A Replication of Are Machine Learning Cloud APIs Used Correctly.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Are Machine Learning Cloud APIs Used Correctly?
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Proxima: accelerating the integration of machine learning in atomistic simulations.
Proceedings of the ICS '21: 2021 International Conference on Supercomputing, 2021

2020
Embodied Self-Aware Computing Systems.
Proc. IEEE, 2020

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures.
IEEE Open J. Comput. Soc., 2020

ALERT: Accurate Learning for Energy and Timeliness.
Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Server-Driven Video Streaming for Deep Learning Inference.
Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020


LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

SeeSAw: Optimizing Performance of In-Situ Analytics Applications under Power Constraints.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

Orthogonalized SGD and Nested Architectures for Anytime Neural Networks.
Proceedings of the 37th International Conference on Machine Learning, 2020

Statically inferring performance properties of software configurations.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

A Simple Cache Coherence Scheme for Integrated CPU-GPU Systems.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
Proteus: Language and Runtime Support for Self-Adaptive Software Development.
IEEE Softw., 2019

Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.
CoRR, 2019

ALERT: Accurate Anytime Learning for Energy and Timeliness.
CoRR, 2019

Language Support for Adaptation: Intent-Driven Programming in FAST.
CoRR, 2019

<i>PoDD</i>: power-capping dependent distributed applications.
Proceedings of the International Conference for High Performance Computing, 2019

Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines.
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

Introduction of a Pathophysiology-Based Diagnostic Decision Support System and Its Potential Impact on the Use of AI in Healthcare.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Generative and multi-phase learning for computer systems optimization.
Proceedings of the 46th International Symposium on Computer Architecture, 2019

CoPPer: Soft Real-Time Application Performance Using Hardware Power Capping.
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019

Introduction of a Pathophysiology-Based Diagnostic Decision Support System.
Proceedings of the ICT for Health Science Research - Proceedings of the EFMI 2019 Special Topic Conference, 2019

Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Approximation Algorithms for Scheduling with Resource and Precedence Constraints.
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

A divide and conquer algorithm for DAG scheduling under power constraints.
Proceedings of the International Conference for High Performance Computing, 2018

MERLOT: Architectural Support for Energy-Efficient Real-Time Processing in GPUs.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Performance & Energy Tradeoffs for Dependent Distributed Applications Under System-wide Power Caps.
Proceedings of the 47th International Conference on Parallel Processing, 2018

Energy-efficient Application Resource Scheduling using Machine Learning Classifiers.
Proceedings of the 47th International Conference on Parallel Processing, 2018

GraphZ: Improving the Performance of Large-Scale Graph Analytics on Small-Scale Machines.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Formalin: Architectural Support for Power & Performance Aware GPU.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Understanding and Auto-Adjusting Performance-Sensitive Configurations.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

CALOREE: Learning Control for Predictable Latency and Low Energy.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017
Power Mitigation by Performance Equalization in a Heterogeneous Reconfigurable Multicore Architecture.
J. Signal Process. Syst., 2017

Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst., 2017

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact).
Dagstuhl Artifacts Ser., 2017

Understanding and Auto-Adjusting Performance-Related Configurations.
CoRR, 2017

Automated control of multiple software goals using multiple actuators.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

PoLiMEr: An Energy Monitoring and Power Limiting Interface for HPC Applications.
Proceedings of the 5th International Workshop on Energy Efficient Supercomputing, 2017

Memory cocktail therapy: a general learning-based framework to optimize dynamic tradeoffs in NVMs.
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

ESP: A Machine Learning Approach to Predicting Application Interference.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Reference Scenarios for Self-aware Computing.
Proceedings of the Self-Aware Computing Systems., 2017

2016
HARP2: An X-Scale Reconfigurable Accelerator-Rich Platform for Massively-Parallel Signal Processing Algorithms.
J. Signal Process. Syst., 2016

Adapt&Cap: Coordinating System- and Application-Level Adaptation for Power-Constrained Systems.
IEEE Des. Test, 2016

MEANTIME: Achieving Both Minimal Energy and Timeliness with Approximate Computing.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

A portable interface for runtime energy monitoring.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Bard: A unified framework for managing soft timing and power constraints.
Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

GRAPE: Minimizing energy for GPU applications with performance requirements.
Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016

Portable Multicore Resource Management for Applications with Performance Constraints.
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

CASH: Supporting IaaS Customers with a Sub-core Configurable Architecture.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

IPDRM 2016 Keynote.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Systemwide Power Management with Argo.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Providing Fairness in Heterogeneous Multicores with a Predictive, Adaptive Scheduler.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Self-aware systems for the internet-of-things.
Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
A Cross-Layer Multicore Architecture to Tradeoff Program Accuracy and Resilience Overheads.
IEEE Comput. Archit. Lett., 2015

JouleGuard: energy guarantees for approximate applications.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Automated multi-objective control for self-adaptive software design.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

POET: a portable approach to minimizing energy under soft real-time constraints.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Design of a hybrid multicore platform for high performance reconfigurable computing.
Proceedings of the Nordic Circuits and Systems Conference, 2015


Distributed Monitoring and Management of Exascale Systems in the Argo Project.
Proceedings of the Distributed Applications and Interoperable Systems, 2015

A STT-RAM-based low-power hybrid register file for GPGPUs.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Racing and Pacing to Idle: Theoretical and Empirical Analysis of Energy Optimization Heuristics.
Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems, 2015

A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Does arithmetic logic dominate data movement? a systematic comparison of energy-efficiency for FFT accelerators.
Proceedings of the 26th IEEE International Conference on Application-specific Systems, 2015

2014
Minimizing energy under performance constraints on embedded platforms: resource allocation heuristics for homogeneous and single-ISA heterogeneous multi-cores.
SIGBED Rev., 2014

A self-aware processor SoC using energy monitors integrated into power converters for self-adaptation.
Proceedings of the Symposium on VLSI Circuits, 2014

Constraint-driven frequency scaling in a Coarse Grain Reconfigurable Array.
Proceedings of the 2014 International Symposium on System-on-Chip, 2014

PCP: A Generalized Approach to Optimizing Performance Under Power Constraints through Resource Management.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

Performance and energy limits of a processor-integrated FFT accelerator.
Proceedings of the IEEE High Performance Extreme Computing Conference, 2014

Minimizing Energy Under Performance Constraints on Embedded Platforms.
Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014

CoAdapt: Predictable Behavior for Accuracy-Aware Applications Running on Power-Aware Systems.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Design of an accelerator-rich architecture by integrating multiple heterogeneous coarse grain reconfigurable arrays over a network-on-chip.
Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2013
Framework for self-aware management of goals and constraints in computing systems.
PhD thesis, 2013

Power Optimization in Embedded Systems via Feedback Control of Resource Allocation.
IEEE Trans. Control. Syst. Technol., 2013

Racing and pacing to idle: an evaluation of heuristics for energy-aware resource allocation.
Proceedings of the Workshop on Power-Aware Computing and Systems, 2013

ARPE: A Tool To Build Equation Models of Computing Systems.
Proceedings of the 8th International Workshop on Feedback Computing, 2013

A generalized software framework for accurate and efficient management of performance goals.
Proceedings of the International Conference on Embedded Software, 2013

2012
Selecting Spatiotemporal Patterns for Development of Parallel Applications.
IEEE Trans. Parallel Distributed Syst., 2012

Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems.
ACM Trans. Auton. Adapt. Syst., 2012

Metronome: operating system level performance management via self-adaptive computing.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Self-aware computing in the Angstrom processor.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
Managing performance vs. accuracy trade-offs with loop perforation.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

ARCc: A case for an architecturally redundant cache-coherence architecture for large multicores.
Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Decision making in autonomic computing systems: comparison of approaches and techniques.
Proceedings of the 8th International Conference on Autonomic Computing, 2011

Dynamic knobs for responsive power-aware computing.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

Evolvable systems on reconfigurable architecture via self-aware adaptive applications.
Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems, 2011

2010
Application heartbeats for software performance and health.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Patterns and statistical analysis for understanding reduced resource computing.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

ATAC: Improving performance and programmability with on-chip optical networks.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Quality of service profiling.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Application heartbeats: a generic interface for specifying program performance and goals in autonomous computing environments.
Proceedings of the 7th International Conference on Autonomic Computing, 2010

Remote Store Programming.
Proceedings of the High Performance Embedded Architectures and Compilers, 2010

Self-Aware Adaptation in FPGA-based Systems.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Controlling software applications via resource allocation within the heartbeats framework.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Enabling technologies for self-aware adaptive systems.
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2009

2007
On-Chip Interconnection Architecture of the Tile Processor.
IEEE Micro, 2007

2006
MPEG-2 decoding in a stream programming language.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Parallel VSIPL++: An Open Standard Software Library for High-Performance Parallel Signal Processing.
Proc. IEEE, 2005

Automatic Parallelization with pMapper.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2004
Stream Algorithms and Architecture.
J. Instr. Level Parallelism, 2004

Evaluation of the Raw Microprocessor: An Exposed-Wire-Delay Architecture for ILP and Streams.
Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

2002
A common machine language for grid-based architectures.
SIGARCH Comput. Archit. News, 2002

The Raw Microprocessor: A Computational Fabric for Software Circuits and General-Purpose Programs.
IEEE Micro, 2002

A stream compiler for communication-exposed architectures.
Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002

2001
Software fault recovery for real-time signal processing on massively parallel computers.
Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing, 2001


  Loading...