Theses most similar to The JCilk multithreaded language (Lee, I-Ting Angelina; 2005) 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

The JCilk-1 runtime system

Danaher, John (John Stephen) (2005)

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

Cilk : efficient multithreaded computing

Randall, Keith H. (Keith Harold) (1998)

  • Advisor: Charles E. Leiserson
  • 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

Automating abstraction functions

Rayside, Derek F (2010)

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

Systematic testing of multithreaded Java programs

Bruening, Derek L. (Derek Lane), 1976- (1999)

  • Advisor: John Chapin
  • 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

Programming language design for service-oriented systems

Ahmad, Salman Azeem (2014)

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