How do we physically implement computations?
Broadly, my research interests address this question, including
physical substrates (VLSI, molecular, ...), programmable media
(FPGAs, (multi-) processors, ...), mapping (compilation and CAD),
system abstractions and dynamic management
(run-time systems, OS, scheduling),
and problem capture (programming languages).
- In-network Computing to the Rescue of Faulty Links
in ACM SIGCOMM Workshop on In-Network Computing, August 2018.
the Stack with Metadata Policies and Tagged Hardware in IEEE
S&P (Oakland), May 2018.
Online Self-Monitoring Introspection Circuitry for Timing Repair by
Incremental Partial-Reconfiguration (COSMIC TRIP)
in ACM TRETS, January 2018.
- BreakApp: Automated, Flexible Application Compartmentalization in
NDSS, February 2018.
Timing Repair in IEEE Design and Test, November/December 2017.
Tradeoffs in Component-Specific Mapping: How to Train Your Dynamically
Reconfigurable Array of Gates with Outrageous Network-delays.
in FPGA, February 2017.
Impact of Parallelism and Memory Architecture on FPGA Energy Consumption.
in ACM TRETS, August 2016.
DOVER Edge in RICV-V
Workshop, July 2016.
- Accurate Parallel Floating-Point Accumulation
in IEEE Transactions on Computers, November 2016.
and Tradeoffs in Simultaneous, On-Chip FPGA Delay Measurement
in FPGA, February 2016.
a Metadata-extended RISC-V
Workshop, January 2016.
Minimization in the Time-Space Continuum in FPT 2015, December 2015. (Best Paper)
Underpinnings of Reconfigurable Computing Architectures in Proc. of the IEEE Special Issue on Reconfigurable Sysems,
- Reconfigurable Computing Architectures in Proc. of the IEEE Special Issue on Reconfigurable Sysems,
Support for Software-Defined Metadata Processing in ASPLOS, March 2015.
- Final Report of
the CRA/CCC Visioning study on Cross
Layer Reliability, March 2011
- Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation, edited book from Elsevier (available from amazon.com)
- For earlier publications, see longer list.
- ESE 532:
System-on-a-Chip Architecture (Penn, Spring and Fall 2017)
- ESE370: Circuit-Level
Modeling, Design, and Optimization for Digital Systems, (Penn, Fall
2010, 2011, 2012, 2013, 2014)
- ESE534: Computer
Organization, (Penn, Spring 2010, 2012, 2014, 2016)
- ESE 150: Digital Audio
Basics (Penn, Spring 2018)
- ESE250: Digital Audio
Basics, (Penn, Fall 2009, Spring 2013)
- ESE535: Electronic Design
Automation (Penn, Spring 2008, 2009, 2011, 2013, 2015)
- see longer list for earlier courses
André DeHon <email@example.com>
Electrical and Systems Engineering
University of Pennsylvania
200 S. 33rd Street
Philadelphia, PA 19104