| 2013 | MEMOCODE 2013 hardware/software co-design contest: Stereo matching. | Eriko Nurvitadhi |
| 2013 | Fast prototyping from assertions: A pragmatic approach. | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
| 2013 | Safe CCSL specifications and marked graphs. | Frdric Mallet, Jean-Vivien Millo, Robert de Simone |
| 2013 | FERAL - Framework for simulator coupling on requirements and architecture level. | Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein |
| 2013 | Generation of inductive invariants from register transfer level designs of communication fabrics. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2013 | Keynote talk II: Designing tomorrow's chips. | Yatin Hoskote |
| 2013 | Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. | Robert de Groote, Philip K. F. Hlzenspies, Jan Kuper, Hajo Broersma |
| 2013 | Translating synchronous guarded actions to interleaved guarded actions. | Manuel Gesell, Klaus Schneider |
| 2013 | Keynote talk III: Industry pulse: Trends in function verification. | Harry Foster |
| 2013 | A GPU implementation of tiled belief propagation on Markov Random Fields. | Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou |
| 2013 | Causal analysis of probabilistic counterexamples. | Hichem Debbi, Mustapha Bourahla |
| 2013 | FPGA acceleration of Markov Random Field TRW-S inference for stereo matching. | Jungwook Choi, Rob A. Rutenbar |
| 2013 | Synthesizing distributed scheduling implementation for probabilistic component-based systems. | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
| 2013 | Compiler-directed memory hierarchy design for low-energy embedded systems. | Florin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu |
| 2013 | APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. | Matthew Anderson, Sandeep K. Shukla |
| 2013 | Tutorial I: Syntax-guided synthesis. | Rajeev Alur |
| 2013 | Fast and adaptive BP-based multi-core implementation for stereo matching. | Armin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin |
| 2012 | Clearing the clutter: Unified modeling and verification methodology for system level hardware design. | Yosinori Watanabe, Stuart Swan |
| 2012 | A correlation preserving performance analysis for stream processing systems. | Gideon Smeding, Gregor Gler |
| 2012 | Model-based diagnosis versus error explanation. | Heinz Riener, Grschwin Fey |
| 2012 | Shepard: A fast exact match short read aligner. | Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno |
| 2012 | Interdependent cache analyses for better precision and safety. | Kartik Nagar, Y. N. Srikant |
| 2012 | Direct generation of invariants for reactive models. | Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords |
| 2012 | A general technique for deterministic model-cycle-level debugging. | Asif Khan, Muralidaran Vijayaraghavan, Arvind |
| 2012 | Compositional performance verification of NoC designs. | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |