| 2012 | A correlation preserving performance analysis for stream processing systems. Gideon Smeding, Gregor Gößler |
| 2012 | A general technique for deterministic model-cycle-level debugging. Asif Khan, Muralidaran Vijayaraghavan, Arvind |
| 2012 | Clearing the clutter: Unified modeling and verification methodology for system level hardware design. Yosinori Watanabe, Stuart Swan |
| 2012 | Compositional performance verification of NoC designs. Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
| 2012 | Direct generation of invariants for reactive models. Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords |
| 2012 | FAST: Formal specification driven test harness generation. Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma |
| 2012 | Fast CPU-based DNA exact sequence aligner. Aryan Arbabi, Milad Gholami, Mojtaba Varmazyar, Shervin Daneshpajouh |
| 2012 | Improving design verifiability by early RTL coverability analysis. Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu |
| 2012 | Interactive verification of synchronous systems. Manuel Gesell, Klaus Schneider |
| 2012 | Interdependent cache analyses for better precision and safety. Kartik Nagar, Y. N. Srikant |
| 2012 | MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. Stephen A. Edwards |
| 2012 | Model-based diagnosis versus error explanation. Heinz Riener, Görschwin Fey |
| 2012 | Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2 Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita |
| 2012 | Preservation of LTL properties in desynchronized systems. Yu Bai, Jens Brandt, Klaus Schneider |
| 2012 | Shepard: A fast exact match short read aligner. Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno |
| 2012 | Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012 |