Publications

Making sense of healthcare benefits
- - Jonathan Bnayahu
  - Maayan Goldstein
  - et al.
- 2012
- ICSE 2012
Automated repair of HTML generation errors in PHP applications using string constraint solving
- - Hesam Samirni
  - Max Schäfer
  - et al.
- 2012
- ICSE 2012
Interactive refinement of combinatorial test plans
- - Itai Segall
  - Rachel Tzoref-Brill
- 2012
- ICSE 2012
Non-Model-Based Search Guidance for Set Partitioning Problems
- - Serdar Kadioglu
  - Yuri Malitsky
  - et al.
- 2012
- AAAI 2012
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters
- - Alex Fukunaga
  - Akihiro Kishimoto
  - et al.
- 2012
- AAAI 2012
Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks over Networks
- - Swaprava Nath
  - Pankaj Dayama
  - et al.
- 2012
- AAAI 2012
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
Proving correctness of regular expression accelerators
- - Mitra Purandare
  - Kubilay Atasu
  - et al.
- 2012
- DAC 2012
Checking architectural outputs instruction-by-instruction on acceleration platforms
- - Debapriya Chatterjee
  - Anatoly Koyfman
  - et al.
- 2012
- DAC 2012
A compiler and runtime for heterogeneous computing
- - Joshua Auerbach
  - David F. Bacon
  - et al.
- 2012
- DAC 2012