| 2008 | High-throughput Pipelined Mergesort. | Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan, Muralidaran Vijayaraghavan |
| 2008 | Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). | Arvind, Rishiyur S. Nikhil |
| 2008 | Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. | Eyad Alkassar, Peter Bhm, Steffen Knapp |
| 2007 | Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. | Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten |
| 2007 | VT Matrix Multiply Design for MEMOCODE '07. | Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
| 2007 | Executable Analysis using Abstract Interpretation with Circular Linear Progressions. | Rathijit Sen, Y. N. Srikant |
| 2007 | A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems. | Proshanta Saha, Tarek A. El-Ghazawi |
| 2007 | McCharts and Multiclock FSMs for modeling large scale systems. | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
| 2007 | Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems. | Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee |
| 2007 | Towards a Unified Execution Model for Transactions in TLM. | Bernhard Niemann, Christian Haubelt |
| 2007 | From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. | Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2007 | Proving What Programs Do Not. | Bertrand Meyer |
| 2007 | Type Inference for IP Composition. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2007 | Verification Driven Formal Architecture and Microarchitecture Modeling. | Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin |
| 2007 | Computing Invariants for Parameter Abstraction. | Yi Lv, Huimin Lin, Hong Pan |
| 2007 | Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. | Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni |
| 2007 | Formal verification of an optimizing compiler. | Xavier Leroy |
| 2007 | One-dimensional Search Algorithms for Hardware/Software Partitioning. | Wu Jigang, Thambipillai Srikanthan, Guang Chen |
| 2007 | Multi-Level Assertion-Based Design. | Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler |
| 2007 | Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults. | Stephan Eggersgl, Grschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jrgen Schlffel |
| 2007 | Local Causal Reasoning of a Safety-Critical Subway System. | Edgar G. Daylight, Sandeep K. Shukla |
| 2007 | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. | Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan |
| 2007 | Scheduling as Rule Composition. | Nirav Dave, Arvind, Michael Pellauer |
| 2007 | Bringing Hardware and Software Closer Together with Termination Analysis. | Byron Cook |
| 2007 | Easier and More Informative Vacuity Checks. | Hana Chockler, Ofer Strichman |