Theses most similar to those of author Yang, Jea

Specification-enhanced execution (2010) 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

Path splitting--a technique for improving data flow analysis

Poletto, Massimiliano Antonio (1995)

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

A type-checking preprocessor for Cilk 2, a multithreaded C language

Miller, Robert C. (Robert Chisolm) (1995)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Automating the construction of a complier heuristics using machine learning

Stephenson, Mark William, 1975- (2006)

  • Advisor: Saman Amarasinghe
  • 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

Directed random testing

Pacheco, Carlos, Ph.D (2009)

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

Jelf : a web framework for automatic privacy policy enforcement

Hance, Travis J (2014)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Programming language design for service-oriented systems

Ahmad, Salman Azeem (2014)

  • Advisor: Sepandar D. Kamvar
  • 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

Incremental parametric syntax for multi-language transformation

Koppel, James (James Brandon) (2017)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Preventing information leaks with policy-agnostic programming (2015) 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

Fine-grained control of Java applets using a simple constraint language

Mehta Nimisha V. (Nimisha Vasantlal) (1997)

  • Advisor: Dr. Karen R. Sollins
  • Department of Electrical Engineering and Computer Science
Read it

Quantitative information-flow tracking for real systems

McCamant, Stephen (2008)

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

Information flow control for secure web sites

Krohn, Maxwell N. (Maxwell Norman) (2008)

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

Improving web site security with data flow management

Yip, Alexander Siumann, 1979- (2009)

  • Advisors: Robert T. Morris; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Query-based database policy assurance using semantic web technologies

Soltren, José Hiram (2009)

  • Advisor: Lalana Kagal
  • Department of Electrical Engineering and Computer Science
Read it

Decentralized information flow control for databases

Schultz, David Andrew (2012)

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

Jelf : a web framework for automatic privacy policy enforcement

Hance, Travis J (2014)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Programming language design for service-oriented systems

Ahmad, Salman Azeem (2014)

  • Advisor: Sepandar D. Kamvar
  • Department of Electrical Engineering and Computer Science
Read it

DepTracker : tracking JavaScript dependencies on the web

Goyal, Ameesh Kumar (2015)

  • Advisor: Hari Balakrishnam
  • Department of Electrical Engineering and Computer Science
Read it