| 2025 | PEPM | The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). | Satnam Singh |
| 2023 | CIT | Integrating structural features for link prediction in directed social network using supervised machine learning with SHapley Additive exPlanations. | Debasis Mohapatra, Satnam Singh, Rupsalin Pradhan, Soumya Ranjan Behera |
| 2022 | FPGA | The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. | Satnam Singh |
| 2013 | BIBE | Med-Tree: A user knowledge graph framework for medical applications. | Maunendra Sankar Desarkar, Sandip Bhaumik, Sailesh K. Sathish, Satnam Singh, Ranga V. Narayanan |
| 2012 | FPGA | Accelerator compiler for the VENICE vector processor. | Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux |
| 2011 | FCCM | Reconfigurable Data Processing for Clouds. | Anil Madhavapeddy, Satnam Singh |
| 2011 | FCCM | TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory System. | Nehir Snmez, Oriol Arcas, Otto Pflucker, Osman S. Unsal, Adrin Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero |
| 2011 | FPGA | The RLOC is dead - long live the RLOC. | Satnam Singh |
| 2011 | ICFP | Geometry of synthesis iv: compiling affine recursion into static hardware. | Dan R. Ghica, Alex I. Smith, Satnam Singh |
| 2011 | MEMOCODE | Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. | David J. Greaves, Satnam Singh |
| 2010 | FCCM | FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. | Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh |
| 2010 | FMCAD | Relieving capacity limits on FPGA-based SAT-solvers. | Leopold Haller, Satnam Singh |
| 2010 | FPGA | Designing hardware with dynamic memory abstraction. | Jir Simsa, Satnam Singh |
| 2010 | MEMOCODE | Designing application specific circuits with concurrent C# programs. | David J. Greaves, Satnam Singh |
| 2010 | POPL | Declarative data-parallel programming with the accelerator system. | Satnam Singh |
| 2009 | FMCAD | Finding heap-bounds for hardware synthesis. | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jir Simsa, Satnam Singh, Viktor Vafeiadis |
| 2009 | HASKELL | Parallel performance tuning for Haskell. | Don Jones Jr., Simon Marlow, Satnam Singh |
| 2009 | ICFP | Runtime support for multicore Haskell. | Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2008 | FCCM | Kiwi: Synthesis of FPGA Circuits from Parallel Programs. | David J. Greaves, Satnam Singh |
| 2008 | FDL | Using C# Attributes to Describe Hardware Artefacts within Kiwi. | David J. Greaves, Satnam Singh |
| 2007 | FPGA | Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. | Satnam Singh |
| 2007 | ICFP | Feedback directed implicit parallelism. | Tim Harris, Satnam Singh |
| 2007 | SMC | Rollout strategy for Hidden Markov Model (HMM)-based dynamic sensor scheduling. | Hyunsung Lee, Satnam Singh, Woosun An, Swapna S. Gokhale, Krishna R. Pattipati, David L. Kleinman |
| 2007 | SMC | Dynamic fusion of classifiers for fault diagnosis. | Satnam Singh, Kihoon Choi, Anuradha Kodali, Krishna R. Pattipati, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao |
| 2006 | FLOPS | Lock Free Data Structures Using STM in Haskell. | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2006 | SMC | An Advanced System for Modeling Asymmetric Threats. | Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett |
| 2004 | DATE | A Demonstration of Co-Design and Co-Verification in a Synchronous Language. | Satnam Singh |
| 2004 | SMC | Stochastic modeling of a terrorist event via the ASAM system. | Satnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett |
| 2004 | VLSID | Designing Reconfigurable Systems in Lava. | Satnam Singh |
| 2003 | DATE | System Level Specification in Lava. | Satnam Singh |
| 2003 | ICCAD | System Level Design and Verification Using a Synchronous Language. | Grard Berry, Michael Kishinevsky, Satnam Singh |
| 2002 | ICCAD | Interface specification for reconfigurable components. | Satnam Singh |
| 2001 | FCCM | Lava and JBits: From HDL to Bitstream in Seconds. | Satnam Singh, Philip James-Roxby |
| 2001 | FPL | Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. | Satnam Singh, Philip James-Roxby |
| 2000 | FCCM | Death of the RLOC? | Satnam Singh |
| 2000 | FMCAD | Checking Safety Properties Using Induction and a SAT-Solver. | Mary Sheeran, Satnam Singh, Gunnar Stlmarck |
| 2000 | FPGA | The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designers. | Herman Schmit, Ray Andraka, Philip Friedin, Satnam Singh, Tim Southgate |
| 1999 | FCCM | Bzier Curve Rendering on Virtex(tm). | Donald MacVicar, Satnam Singh, Robert Slous |
| 1999 | FCCM | Debugging Techniques for Dynamically Reconfigurable Hardware. | Nicholas McKay, Satnam Singh |
| 1999 | FCCM | Formal Verification of Reconfigurable Cores. | Satnam Singh, Carl Johan Lillieroth |
| 1999 | FPL | Implementing Photoshop Filters in Virtex. | Stefan H.-M. Ludwig, Robert Slous, Satnam Singh |
| 1999 | FPL | Rendering Postscript Fonts on FPGAs. | Donald MacVicar, John W. Patterson, Satnam Singh |
| 1998 | FCCM | Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. | Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh |
| 1998 | FCCM | Accelerating Adobe Photoshop with the Reconfigurable Logic. | Satnam Singh, Robert Slous |
| 1998 | FPL | Accelerating DTP with Reconfigurable Computing Engines. | Donald MacVicar, Satnam Singh |
| 1998 | FPL | Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. | Nicholas McKay, Satnam Singh |
| 1998 | ICFP | Lava: Hardware Design in Haskell. | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
| 1998 | PEPM | Partial Evaluation of Hardware. | Satnam Singh, Nicholas McKay |
| 1997 | FCCM | A dynamic reconfiguration run-time system. | Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark de Wit |
| 1997 | FPL | Postscript | Satnam Singh, John W. Patterson, Jim Burns, Michael Winston Dales |
| 1996 | FCCM | Expressing dynamic reconfiguration by partial evaluation. | Satnam Singh, Jonathan Hogg, Derek McAuley |
| 1995 | FCCM | Architectural descriptions for FPGA circuits. | Satnam Singh |