Publications

Verification of non-mainline functions in todays processor chips
- - Johannes Koesters
  - Alex Goryachev
- 2014
- DAC 2014
Conference paper
A new field-assisted access scheme of STT-RAM with self-reference capability
- - Enes Eken
  - Yaojun Zhang
  - et al.
- 2014
- DAC 2014
Conference paper
Scalable co-simulation of functional models with accurate event exchange
- - Asim Munawar
  - Shuichi Shimizu
- 2014
- DAC 2014
Conference paper
Post-Silicon validation of the IBM Power8 processor
- - Amir Nahir
  - Manoj Dusanapudi
  - et al.
- 2014
- DAC 2014
Conference paper
Software services: A research roadmap
- - Satish Chandra
  - Vibha Singhal Sinha
  - et al.
- 2014
- ICSE 2014
Conference paper
Controlled modeling environment using flexibly-formatted spreadsheets
- - Hisashi Miyashita
  - Hideki Tai
  - et al.
- 2014
- ICSE 2014
Conference paper
Improving software through automatic untangling of cyclic dependencies
- - Maayan Goldstein
  - Dany Moshkovich
- 2014
- ICSE 2014
Conference paper
Data-guided repair of selection statements
- - Divya Gopinath
  - Sarfraz Khurshid
  - et al.
- 2014
- ICSE 2014
Conference paper
API as a social glue
- - Rohan Padhye
  - Debdoot Mukherjee
  - et al.
- 2014
- ICSE 2014
Conference paper
New opportunities for extracting insights from cloud based IDEs
- - Yi Wang
  - Patrick Wagstrom
  - et al.
- 2014
- ICSE 2014
Conference paper