Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
students [2020/08/07 16:29] – editstudents [2020/09/27 23:51] – edit
Line 7: Line 7:
    
   * **Joseph Melber** (started F'2014)   * **Joseph Melber** (started F'2014)
- 
-  * **Marie Nguyen** (started F'2013) 
  
   * **Shashank Obla** (started F'2019)   * **Shashank Obla** (started F'2019)
Line 28: Line 26:
   * **Peter A. Milder**, PhD, ECE/CMU, 8/2010 ([[http://www.ece.cmu.edu/~jhoe/distribution/2010/milder.pdf |A Mathematical Approach for Compiling and Optimizing Hardware Implementations of DSP Transforms]])   * **Peter A. Milder**, PhD, ECE/CMU, 8/2010 ([[http://www.ece.cmu.edu/~jhoe/distribution/2010/milder.pdf |A Mathematical Approach for Compiling and Optimizing Hardware Implementations of DSP Transforms]])
   * **Smarahara Misra**, MS, ECE/CMU, 12/2003   * **Smarahara Misra**, MS, ECE/CMU, 12/2003
 +  * **Marie Nguyen**, PhD, ECE/CMU, 8/2020 ([[http://www.ece.cmu.edu/~jhoe/distribution/2020/nguyen.pdf |Dynamically Managing FPGAs for Efficient Computing]])
   * **Eriko Nurvitadhi**, PhD, ECE/CMU, 12/2010 ([[http://www.ece.cmu.edu/~jhoe/distribution/2010/nurvitadhi.pdf |Automatic Pipeline Synthesis and Formal Verification from Transactional Datapath Specifications]])   * **Eriko Nurvitadhi**, PhD, ECE/CMU, 12/2010 ([[http://www.ece.cmu.edu/~jhoe/distribution/2010/nurvitadhi.pdf |Automatic Pipeline Synthesis and Formal Verification from Transactional Datapath Specifications]])
   * **Michael Papamichael**, PhD, CS/CMU, 8/2015 ([[http://www.ece.cmu.edu/~jhoe/distribution/2015/papamichael.pdf |Pandora: Facilitating IP Development for Hardware Specialization]])   * **Michael Papamichael**, PhD, CS/CMU, 8/2015 ([[http://www.ece.cmu.edu/~jhoe/distribution/2015/papamichael.pdf |Pandora: Facilitating IP Development for Hardware Specialization]])