Research
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).
Ongoing
Recent
- Inversion
Schemes for Sublithographic Programmable Logic Arrays in IET
Computers and Digital Techniques, November 2009.
- VMATCH: Using Logical Variation to Counteract Physical Variation in Bottom-Up, Nanoscale Systems
in Proceedings of the IEEE International Conference on Field-Programmable Technology
- Parallelizing Sparse Matrix Solve for SPICE Circuit Simulation using FPGAs
in Proceedings of the IEEE International Conference on Field-Programmable Technology
- Performance
Comparison of Single-Precision SPICE Model-Evaluation on FPGA, GPU, Cell,
and multi-core Processors in FPL 2009
- Accelerating
SPICE Model-Evaluation using FPGAs in FCCM 2009
- Fault Secure
Encoder and Decoder for NanoMemory Applications, in IEEE Tr. on VLSI
Systems, April 2009.
- Choose-Your-Own-Adventure Routing: Lightweight Load-Time Defect Avoidance,
in FPGA 2009
- Pipelining Saturated Accumulation in IEEE Tr. on Computers, February 2009
- The Case for Reconfigurable Components with Logic Scrubbing:
Regular Hygiene Keeps Logic FIT (low), in 1st IEEE International Workshop on
Design and Test of Nano Devices, Circuits and Systems (NDCS),
Sept. 2008
- Fault-Tolerant Sub-lithographic Design with Rollback Recovery, in IOP Nanotechnology, March 2008
- Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation, edited book from Elsevier (available from amazon.com)
- Optimistic Parallelization of Floating-Point Accumulation in Arith18, June 2007
- For earlier publications, see longer list.
Courses
Current
Past
- ESE535: Electronic Design
Automation (Penn, Spring 2008, 2009)
- ESE680-002: Computer
Organization (Penn, Spring 2007)
- CS1: Introduction to
Computation (CALTECH, Fall 2002, 2001)
- CS24: Introduction
to Computing Systems (CALTECH, Spring 2006, Spring 2004)
- CS102:
Design Patterns in Reconfigurable Computing (CALTECH reading/discussion
group, ay 2003)
- CS137: Electronic
Design Automation (CALTECH, 2 term sequence, 2004, 2002, 2005)
- CS184: Computer
Architecture (CALTECH, 2 term sequence, academic year 2004-2005, 2002-2003; 3 term
sequence ay 2000-2001)
- Computing Beyond Silicon
Summer School -- June-July 2004,
June-July 2002
- Electronic Design Automation (CALTECH, Winter 2000)
- Reconfigurable
Computing (UCB, Fall 1998)
(also Spring 1997)
Writing
Academic History
André DeHon <andre@acm.org>
Electrical and Systems Engineering
University of Pennsylvania
200 S. 33rd Street
Philadelphia, PA 19104
PGP Key
