Theses most similar to those of author Milicevic, Aleksanda

Executable specifications for Java programs (2010) read it

Extending the Java language for the prevention of data races

Lee, Robert Honway, 1981- (2002)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
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

Pointer analysis for Java programs : novel techniques and applications

Sălcianu, Alexandru D. (Alexandru Doru), 1975- (2006)

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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

Automating modular program verification by refining specifications

Taghdiri, Mana, 1979- (2008)

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

JPS : a distributed persistent Java system

Boyapati, Chandrasekhar, 1973- (1998)

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

An imperative extension to alloy and a compiler for its execution

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

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

Storyboard programming of data structure manipulations : a picture is worth 20 lines of code

Singh, Rishabh (2010)

  • Advisor: Armando Solar-Lezama
  • 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

MSL : a synthesis enabled language for distributed high performance computing implementations

Xu, Zhilei (2016)

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

Advancing declarative programming (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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

Automating modular program verification by refining specifications

Taghdiri, Mana, 1979- (2008)

  • Advisor: Daniel N. Jackson
  • 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

Storyboard programming of data structure manipulations : a picture is worth 20 lines of code

Singh, Rishabh (2010)

  • Advisor: Armando Solar-Lezama
  • 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

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

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

Logical reasoning for approximate and unreliable computation

Carbin, Michael (Michael James) (2015)

  • Advisor: Martin C. Rinard
  • 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

MSL : a synthesis enabled language for distributed high performance computing implementations

Xu, Zhilei (2016)

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