Publications

Non-Model-Based Search Guidance for Set Partitioning Problems
- - Serdar Kadioglu
  - Yuri Malitsky
  - et al.
- 2012
- AAAI 2012
Conference paper
Checking architectural outputs instruction-by-instruction on acceleration platforms
- - Debapriya Chatterjee
  - Anatoly Koyfman
  - et al.
- 2012
- DAC 2012
Conference paper
Proving correctness of regular expression accelerators
- - Mitra Purandare
  - Kubilay Atasu
  - et al.
- 2012
- DAC 2012
Conference paper
Timing analysis with nonseparable statistical and deterministic variations
- - Vladimir Zolotov
  - Debjit Sinha
  - et al.
- 2012
- DAC 2012
Conference paper
A compiler and runtime for heterogeneous computing
- - Joshua Auerbach
  - David F. Bacon
  - et al.
- 2012
- DAC 2012
Conference paper
Reversible statistical max/min operation: Concept and applications to timing
- - Debjit Sinha
  - Chandu Visweswariah
  - et al.
- 2012
- DAC 2012
Conference paper
Near-threshold operation for power-efficient computing? It depends...
- - Leland Chang
  - Wilfried Haensch
- 2012
- DAC 2012
Conference paper
Analysis of DC current crowding in through-silicon-vias and its impact on power integrity in 3D ICs
- - Xin Zhao
  - Michael Scheuermann
  - et al.
- 2012
- DAC 2012
Conference paper
WizIE: A best practices guided development environment for information extraction
- - Yunyao Li
  - Laura Chiticariu
  - et al.
- 2012
- ACL 2012
Conference paper
Compiling a high-level language for GPUs: Via language support for architectures and compilers
- - Christophe Dubach
  - Perry Cheng
  - et al.
- 2012
- PLDI 2012
Conference paper