Theses most similar to An improved scalable mixed-level approach to dynamic analysis of C and C++ programs (Rudd, Robert Andre; 2010) read it

Converting Java programs to use generic libraries

Donovan, Alan A. A., 1976- (2004)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Detecting buffer overflows using testcase synthesis and code instrumentation

Zhivich, Michael A (2005)

  • Advisor: Lippmann, Richard Paul
  • Department of Electrical Engineering and Computer Science
Read it

Reducing cross-domain call overhead using batched futures

Bogle, Phillip Lee (1994)

  • Advisor: Barbara Liskov
  • Department of Electrical Engineering and Computer Science
Read it

An empirical study of a novel technique : rationed-memory compiling

Leu, Ioan Tudor (2005)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
Read it

A scalable mixed-level approach to dynamic analysis of C and C++ programs

Guo, Philip Jia (2006)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Debugging support for dynamically generated code

Litt, Jonathan Zachary (1997)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Practical pluggable types for Java

Papi, Matthew M (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

A relational framework for bounded program verification

Dennis, Gregory D. (Gregory David), 1980- (2009)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Automating abstraction functions

Rayside, Derek F (2010)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Multithreaded design in the Athena environment

Hudson, Greg (1996)

  • Advisor: Jeffrey I. Schiller
  • Department of Electrical Engineering and Computer Science
Read it