- University of Michigan
EECS 578 - Correct Operation for Processors
and Embedded Systems
Prof. Valeria Bertacco
FALL 2015
Paper presentation assignments
No.
Date
Paper title
Presenter 1
Presenter 2
1
24-Sep
A systematic methodology to develop resilient cache coherence protocols
Helen Hagos
Milind Furia
2
29-Sep
Hardware trojan detection for gate-level ICs using signal correlation based clustering
Javad Bagherzadeh
Ameya Rune
3
1-Oct
Exploring fault-tolerant network-on-chip architectures
Yang Jiao
Tan Bie
4
6-Oct
Accelerating microprocessor silicon validation by exposing ISA diversity
Zixin Wang
Rong Xu
5
8-Oct
Argus: low-cost, comprehensive error detection in simple cores
Yunkai Zhao
-
6
13-Oct
Architectural core salvaging in a multi-core processor for hard-error tolerance
Meghan Cowan
Yilei Xu
7
15-Oct
GRASP: a search algorithm for propositional satisfiability
Jing Ji
Qilu Guo
8
22-Oct
Trends in functional verification: a 2014 industry study
Sugandha Gupta
Byoungchan Oh
9
3-Nov
ArMOR: defending against consistency model mismatches in heterogeneous architectures
Zeyu Bu
Yao Jiang
10
5-Nov
PVCoherence: designing flat coherence protocols for scalable verification
Amlan Nayak
Jay Zhang
11
10-Nov
Threadmill: a post-silicon exerciser for multi-threaded processors
Dong-hyeon Park
Abraham Addisie
12
12-Nov
QED: quick error detection tests for effective post-silicon validation
Jiabo Li
Jiong Xue
13
12-Nov
Automatic concolic test generation with virtual prototypes for post-silicon validation
Jianchao Gao
Dike Zhou
14
17-Nov
Transaction-based online debug for NoC-based multiprocessor SoCs
Chenxi Lou
Xiangfei Kong
15
17-Nov
Runtime validation of memory ordering using constraint graph checking
Sijia He
Xiaoming Guo
16
19-Nov
Decoupling dynamic information flow tracking with a dedicated coprocessor
Yue Zheng
Yulin Shi
17
24-Nov
Raccoon: closing digital side-channels through obfuscated execution
Arjun Khurana
Timothy Wong
Back to the homepage
