Theses most similar to those of author Karczmarek, Michal, 1977-

Synthesis of multi-cycle circuits from guarded atomic actions (2011) read it

Designing a processor in Bluespec

Dave, Nirav Hemant, 1982- (2005)

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

Verifiable compilation of I/O automata without global synchronization

Tauber, Joshua A. (Joshua Allen) (2005)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Automatic verification of pipelined microprocessors

Bhagwati, Vishal Lalit (1994)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

A performance driven approach for hardware synthesis of guarded atomic actions

Rosenband, Daniel L., 1977- (2005)

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

HAsim : cycle-accurate multicore performance models on FPGAs

Pellauer, Michael (Michael Ignatius) (2011)

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

Defending against side-channel attacks : DynamoREA

Wen, David, M. Eng. (David Y.) (2011)

  • Advisors: Eran Tromer; Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Mechanisms for efficient, protected messaging

Lee, Whay Sing, 1967- (1999)

  • Advisor: William J. Dally
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Operation-centric hardware description and synthesis

Hoe, James C. (James Chu-Yue) (2000)

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

A unified model for hardware/software codesign

Dave, Nirav Hemant, 1982- (2011)

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

Constrained and phased scheduling of synchronous data flow graphs for StreamIt language (2002) read it

Efficient algorithms for new computational models

Ruhl, Jan Matthias, 1973- (2003)

  • Advisor: David R. Karger
  • Department of Electrical Engineering and Computer Science
Read it

Linear analysis and optimization of stream programs

Lamb, Andrew Allinson, 1980- (2003)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Linear state-space analysis and optimization of StreamIt programs

Agrawal, Sitij (2004)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Diastolic arrays : throughput-driven reconfigurable computing

Cho, Myong Hyo (2008)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

Language and compiler support for stream programs

Thies, William Frederick, 1978- (2009)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Compiler techniques for scalable performance of stream programs on multicore architectures

Gordon, Michael I. (Michael Ian), 1978- (2010)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

A hybrid static/dynamic approach to scheduling stream programs

Tan, Ceryen (Ceryen C.) (2009)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

A statically scheduling compiler for a parameterized numerical accelerator

Wright, Andrew Charles (2013)

  • Advisor: Vladimir Stojanovic
  • Department of Electrical Engineering and Computer Science
Read it

SIFt : a compiler for streaming applications

Waingold, Elliot L. (Elliot Lee), 1977- (2000)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

A stream-aware compiler for communication exposed-architectures

Gordon, Michael I. (Michael Ian), 1978- (2002)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it