Refining Abstract Locations
|
Rupak Majumdar (rupak@eecs)
|
Software Verification with Blast
|
|
Arindam Chakrabarti (arindam@cs)
| Interface Compatibility
Checking for Software Modules
|
|
Ben Liblit (liblit@cs)
| Building a Better
Backtrace: Techniques for Postmortem Program Analysis
|
|
Hao Chen (hchen@cs)
| setuid Demystified
|
|
Scott Mcpeak (smcpeak@cs)
| Data Modeling
for Program Analysis
|
|
Sumit Gulwani (gulwani@cs)
| Program Analysis using
Randomization
|
|
Marco Sanvido (msanvido@eecs)
| Testing Embedded Control Systems combining
Hardware-in-the-Loop Simulation and Temporal Logic
|
|
Christoph Kirsch (cm@ic.eecs)
| The Embedded Machine:
Predictable, Portable Real-Time Code
|
|
Wes Weimer (weimer@cs)
|
CCured: Taming C Pointers
|
