Theses most similar to those of author Kuncak, Viktor (Viktor Jaroslav), 1977-

Modular data structure verification (2007) 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

Quantitative information-flow tracking for real systems

McCamant, Stephen (2008)

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

A constraint solver for software engineering : finding models and cores of large relational specifications

Torlak, Emina, 1979- (2009)

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

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

Automating abstraction functions

Rayside, Derek F (2010)

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

Smten and the art of satisfiability-based search

Uhler, Richard Stephen (2014)

  • Advisor: Jack B. Dennis
  • Department of Electrical Engineering and Computer Science
Read it

Compilation using correct-by-construction program synthesis

Pit-Claudel, Clément (2016)

  • Advisor: Adam Chlipala
  • Department of Electrical Engineering and Computer Science
Read it

Designing an algorithm for role analysis (2001) read it

Partitioning non-strict languages for multi-threaded code generation

Coorg, Satyan R (1994)

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

The JCilk-1 runtime system

Danaher, John (John Stephen) (2005)

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

Algorithms for data-race detection in multithreaded programs

Cheng, Guang-Ien, 1975- (1998)

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

Debugging multithreaded programs that incorporate user-level locking

Stark, Andrew F. (Andrew Frederick), 1975- (1998)

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

Credible compilation

Marinov, Darko, 1976- (2000)

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

Pointer analysis and its applications for Java programs

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

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

Statistically determining memory consumption of real-time Java threads

Gheorghioiu, Ovidiu, 1979- (2002)

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

Static detection of deadlock for Java libraries

Williams, Amy Lynne, Ph.D (2005)

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

MergeArray and scalable, relaxed, concurrent, mergeable priority queues

Coulombe, Michael Joseph (2015)

  • Advisor: Nir Shavit
  • Department of Electrical Engineering and Computer Science
Read it

Memory-mapped transactions

Sukha, Jim (2005)

  • Advisors: Bradley C. Kuszmaul; Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it