Theses most similar to those of author Pacheco, Carlos, Ph.D

Directed random testing (2009) read it

Starkiller : a static type inferencer and compiler for Python

Salib, Michael, 1978- (2004)

  • Advisor: Jonathan Bachrach
  • Department of Electrical Engineering and Computer Science
Read it

Static conformance checking for matrices

Seto, Roy (1994)

  • Advisor: Raymie Stata
  • Department of Electrical Engineering and Computer Science
Read it

Principal typings and type inference

Jim, Trevor (1996)

  • Advisor: Albert R. Meyer
  • Department of Electrical Engineering and Computer Science
Read it

A lightweight specification language for bounded program verification

Yessenov, Kuat T (2009)

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

Dynamically fighting bugs : prevention, detection and elimination

Artzi, Shay (2009)

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

Effective software testing with a string-constraint solver

Kieżun, Adam (2009)

  • 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

Verification of full functional correctness for imperative linked data structures

Zee, Karen K (2010)

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

Accessible programming using program synthesis

Singh, Rishabh (2014)

  • Advisors: Armando Solar̆-Lezam; Sumit Gulwani
  • Department of Electrical Engineering and Computer Science
Read it

An extension-oriented compiler

Cox, Russell Stensby (2008)

  • Advisors: Eddie Kohler; M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it