Theses most similar to those of author Shen, Jiasi

RIFL : a language with filtered iterators (2015) 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

Reducing cross-domain call overhead using batched futures

Bogle, Phillip Lee (1994)

  • Advisor: Barbara Liskov
  • 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

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

Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language

Gupta, Shail Aditya (1995)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

A comparison of designs for extensible and extension-oriented compilers

Clements, Austin T. (2008)

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

Implementing concurrency for an ML-based operating system

Lin, Albert C. (Albert Chia-Jui), 1974- (1998)

  • Advisor: Olin Shivers
  • 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

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

  • Advisor: Alan Edelman
  • Department of Electrical Engineering and Computer Science
Read it

Finding security bugs in web applications using domain-specific static analysis

Near, Joseph P. (Joseph Paul) (2015)

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