Publications

Sketching tools for ideation (NIER track)
- - Rachel Bellamy
  - Michael Desmond
  - et al.
- 2011
- ICSE 2011
Second international workshop on Product Line Approaches in Software Engineering (PLEASE 2011)
- - Julia Rubin
  - Goetz Botterweck
  - et al.
- 2011
- ICSE 2011
Angelic debugging
- - Satish Chandra
  - Emina Torlak
  - et al.
- 2011
- ICSE 2011
Partial-coherence abstractions for relaxed memory models
- - Michael Kuperstein
  - Martin Vechev
  - et al.
- 2011
- PLDI 2011
Testability driven statistical path selection
- - Jaeyong Chung
  - Jinjun Xiong
  - et al.
- 2011
- DAC 2011
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
- - Allon Adir
  - Amir Nahir
  - et al.
- 2011
- DAC 2011
Learning microarchitectural behaviors to improve stimuli generation quality
- - Yoav Katz
  - Michal Rimon
  - et al.
- 2011
- DAC 2011
Circuit design challenges at the 14nm technology node
- - James Warnock
- 2011
- DAC 2011
Power shifting in thrifty interconnection network
- - Jian Li
  - Wei Huang
  - et al.
- 2011
- HPCA 2011
Practical and secure PCM systems by online detection of malicious write streams
- - Moinuddin K. Qureshi
  - Andre Seznec
  - et al.
- 2011
- HPCA 2011