Tuesday, March 29, 2016

Tuesday, March 29, 2016 — 9:00 AM EDT

Candidate

Murphy Thomas Reynolds Berzish

Title

Design of A High-Level Language and Toolchain for Microfluidic Design Automation

Supervisor

Derek Rayside

Abstract

Microfluidic circuits are currently designed by hand, using a combination of the designer's domain knowledge and educated intuition to determine unknown design parameters. Circuits are typically tested by physically constructing them in silico and performing another design iteration if issues are identified with the device.

Tuesday, March 29, 2016 — 10:00 to 10:00 AM EDT

Candidate

Muhammad Riyad Parvez

Title

Combining Static and Dynamic Symbolic Program Analysis for Scalable Bug-finding in Application Binaries

Supervisors

Vijay Ganesh and Paul Ward

Abstract

Tuesday, March 29, 2016 — 10:00 to 10:00 AM EDT

Candidate

Yaoqiang Li

Title

An Energy-Efficient System with Timing-Reliable Error Detection Sequentials

Supervisor

Manoj Sachdev

Abstract

S M T W T F S
28
29
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
  1. 2020 (152)
    1. September (1)
    2. August (2)
    3. July (20)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
    1. December (11)
    2. November (17)
    3. October (11)
    4. September (21)
    5. August (27)
    6. July (54)
    7. June (13)
    8. May (20)
    9. April (22)
    10. March (18)
    11. February (6)
    12. January (22)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)