Implementation of a Non-Standard Interpretation System. - Satnam Singh (Functional Programming, 1989)

Differentiating Strictness. - Satnam Singh (Functional Programming, 1990)

Using XView/X11 from Miranda. - Satnam Singh (Functional Programming, 1991)

Circuit Analysis by Non-Standard Interpretation. - Satnam Singh (Designing Correct Circuits, 1992)

Implementing Fudgets with Standard Widget Sets. - Alastair Reid 001; Satnam Singh (Functional Programming, 1993)

Architectural descriptions for FPGA circuits. - Satnam Singh (FCCM, 1995)

Expressing dynamic reconfiguration by partial evaluation. - Satnam Singh; Jonathan Hogg; Derek McAuley (FCCM, 1996)

A dynamic reconfiguration run-time system. - Jim Burns; Adam Donlin; Jonathan Hogg; Satnam Singh; Mark de Wit (FCCM, 1997)

PostscriptTM rendering with virtual hardware. - Satnam Singh; John W. Patterson; Jim Burns; Michael Winston Dales (FPL, 1997)

Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. - Nicholas McKay; Thomas F. Melham; Kong Woei Susanto; Satnam Singh (FCCM, 1998)

Accelerating Adobe Photoshop with the Reconfigurable Logic. - Satnam Singh; Robert Slous (FCCM, 1998)

Accelerating DTP with Reconfigurable Computing Engines. - Donald MacVicar; Satnam Singh (FPL, 1998)

Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. - Nicholas McKay; Satnam Singh (FPL, 1998)

Lava: Hardware Design in Haskell. - Per Bjesse; Koen Claessen; Mary Sheeran; Satnam Singh (ICFP, 1998)

Partial Evaluation of Hardware. - Satnam Singh; Nicholas McKay (Partial Evaluation, 1998)

Bézier Curve Rendering on Virtex(tm). - Donald MacVicar; Satnam Singh; Robert Slous (FCCM, 1999)

Debugging Techniques for Dynamically Reconfigurable Hardware. - Nicholas McKay; Satnam Singh (FCCM, 1999)

Formal Verification of Reconfigurable Cores. - Satnam Singh; Carl Johan Lillieroth (FCCM, 1999)

Implementing Photoshop Filters in Virtex. - Stefan H.-M. Ludwig; Robert Slous; Satnam Singh (FPL, 1999)

Rendering Postscript Fonts on FPGAs. - Donald MacVicar; John W. Patterson; Satnam Singh (FPL, 1999)

Formal Verification of FPGA Cores. - Carl Johan Lillieroth; Satnam Singh (Nord. J. Comput., 1999)

Death of the RLOC? - Satnam Singh (FCCM, 2000)

Checking Safety Properties Using Induction and a SAT-Solver. - Mary Sheeran; Satnam Singh; Gunnar Stålmarck (FMCAD, 2000)

The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designers. - Herman Schmit; Ray Andraka; Philip Friedin; Satnam Singh; Tim Southgate (FPGA, 2000)

The Design and Verification of a Sorter Core. - Koen Claessen; Mary Sheeran; Satnam Singh (CHARME, 2001)

Lava and JBits: From HDL to Bitstream in Seconds. - Satnam Singh; Philip James-Roxby (FCCM, 2001)

Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. - Satnam Singh; Philip James-Roxby (FPL, 2001)

Interface specification for reconfigurable components. - Satnam Singh (ICCAD, 2002)

Design and Verification of CoreConnectTM IP Using Esterel. - Satnam Singh (CHARME, 2003)

System Level Specification in Lava. - Satnam Singh (DATE, 2003)

System Level Design and Verification Using a Synchronous Language. - Gérard Berry; Michael Kishinevsky; Satnam Singh (ICCAD, 2003)

Using Lava to design and verify recursive and periodic sorters. - Koen Claessen; Mary Sheeran; Satnam Singh (Int. J. Softw. Tools Technol. Transf., 2003)

A Demonstration of Co-Design and Co-Verification in a Synchronous Language. - Satnam Singh (DATE, 2004)

Stochastic modeling of a terrorist event via the ASAM system. - Satnam Singh; Jefferey Allanach; Haiying Tu; Krishna R. Pattipati; Peter Willett 001 (SMC (6), 2004)

Designing Reconfigurable Systems in Lava. - Satnam Singh (VLSI Design, 2004)

Hidden Markov Models and Bayesian Networks for Counter-Terrorism. - Krishna R. Pattipati; Peter Willett 001; Jefferey Allanach; Haiying Tu; Satnam Singh (Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006)

Lock Free Data Structures Using STM in Haskell. - Anthony Discolo; Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Satnam Singh (FLOPS, 2006)

An Advanced System for Modeling Asymmetric Threats. - Satnam Singh; William Donat; Haiying Tu; Jijun Lu; Krishna R. Pattipati; Peter Willett 001 (SMC, 2006)

Information Integration via Hierarchical and Hybrid Bayesian Networks. - Haiying Tu; Jefferey Allanach; Satnam Singh; Krishna R. Pattipati; Peter Willett 001 (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Integrating FPGAs in high-performance computing: programming models for parallel systems – the programmer's perspective. - Satnam Singh (FPGA, 2007)

Feedback directed implicit parallelism. - Tim Harris 001; Satnam Singh (ICFP, 2007)

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 (SMC, 2007)

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 (SMC, 2007)

New parallel programming techniques for hardware design. - Satnam Singh (VLSI-SoC, 2007)

Hardware/Software Synthesis and Verification Using Esterel. - Satnam Singh (CPA, 2007)

A Tutorial on Parallel and Concurrent Programming in Haskell. - Simon L. Peyton Jones; Satnam Singh (Advanced Functional Programming, 2008)

Synthesizing FPGA Circuits from Parallel Programs. - Satnam Singh; David J. Greaves (ARC, 2008)

Kiwi: Synthesis of FPGA Circuits from Parallel Programs. - David J. Greaves; Satnam Singh (FCCM, 2008)

Using C# Attributes to Describe Hardware Artefacts within Kiwi. - David J. Greaves; Satnam Singh (FDL, 2008)

A deterministic multi-way rendezvous library for haskell. - Nalini Vasudevan; Satnam Singh; Stephen A. Edwards (IPDPS, 2008)

Dynamic Scheduling of Multiple Hidden Markov Model-Based Sensors. - Woosun An; Satnam Singh; Krishna R. Pattipati; David L. Kleinman; Swapna S. Gokhale (J. Adv. Inf. Fusion, 2008)

An Integrated Diagnostic Process for Automotive Systems. - Krishna R. Pattipati; Anuradha Kodali; Jianhui Luo; Kihoon Choi; Satnam Singh; Chaitanya Sankavaram; Suvasri Mandal; William Donat; Setu Madhavi Namburu; Shunsuke Chigusa; Liu Qiao (Computational Intelligence in Automotive Applications, 2008)

A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults. - Satnam Singh; Anuradha Kodali; Krishna R. Pattipati (CASE, 2009)

Finding heap-bounds for hardware synthesis. - Byron Cook; Ashutosh Gupta 001; Stephen Magill; Andrey Rybalchenko; Jirí Simsa; Satnam Singh; Viktor Vafeiadis (FMCAD, 2009)

Parallel performance tuning for Haskell. - Don Jones Jr.; Simon Marlow; Satnam Singh (Haskell, 2009)

Runtime support for multicore Haskell. - Simon Marlow; Simon L. Peyton Jones; Satnam Singh (ICFP, 2009)

Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems. - Kihoon Choi; Satnam Singh; Anuradha Kodali; Krishna R. Pattipati; John W. Sheppard; Setu Madhavi Namburu; Shunsuke Chigusa; Danil V. Prokhorov; Liu Qiao (IEEE Trans. Instrum. Meas., 2009)

Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques. - Satnam Singh; Anuradha Kodali; Kihoon Choi; Krishna R. Pattipati; Setu Madhavi Namburu; S. C. Sean; Danil V. Prokhorov; Liu Qiao (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models. - Satnam Singh; Haiying Tu; William Donat; Krishna R. Pattipati; Peter Willett 001 (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Data reduction and clustering techniques for fault detection and diagnosis in automotives. - Aurobinda Routray; Aparna Rajaguru; Satnam Singh (CASE, 2010)

FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. - Barry Bond; Kerry Hammil; Lubomir Litchev; Satnam Singh (FCCM, 2010)

Relieving capacity limits on FPGA-based SAT-solvers. - Leopold Haller; Satnam Singh (FMCAD, 2010)

Designing hardware with dynamic memory abstraction. - Jirí Simsa; Satnam Singh (FPGA, 2010)

Designing application specific circuits with concurrent C# programs. - David J. Greaves; Satnam Singh (MEMOCODE, 2010)

Declarative data-parallel programming with the accelerator system. - Satnam Singh (DAMP, 2010)

Design and verification of peripheral control circuits in Esterel. - Satnam Singh (Concurr. Comput. Pract. Exp., 2010)

From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype. - Nehir Sönmez; Oriol Arcas; Gokhan Sayilar; Osman S. Unsal; Adrián Cristal; Ibrahim Hur; Satnam Singh; Mateo Valero (ARC, 2011)

Reconfigurable Data Processing for Clouds. - Anil Madhavapeddy; Satnam Singh (FCCM, 2011)

TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory System. - Nehir Sönmez; Oriol Arcas; Otto Pflucker; Osman S. Unsal; Adrián Cristal; Ibrahim Hur; Satnam Singh; Mateo Valero (FCCM, 2011)

The RLOC is dead - long live the RLOC. - Satnam Singh (FPGA, 2011)

Geometry of synthesis iv: compiling affine recursion into static hardware. - Dan R. Ghica; Alex I. Smith; Satnam Singh (ICFP, 2011)

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. - David J. Greaves; Satnam Singh (MEMOCODE, 2011)

An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. - Alex Cole; Alistair A. McEwan; Satnam Singh (CPA, 2011)

Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics. - Gang Niu 002; Satnam Singh; Steven W. Holland; Michael G. Pecht (Microelectron. Reliab., 2011)

Computing without Processors. - Satnam Singh (ACM Queue, 2011)

Accelerator compiler for the VENICE vector processor. - Zhiduo Liu; Aaron Severance; Satnam Singh; Guy G. F. Lemieux (FPGA, 2012)

Resource-bounded multicore emulation using Beefarm. - Oriol Arcas; Nehir Sönmez; Gokhan Sayilar; Satnam Singh; Osman S. Unsal; Adrián Cristal; Ibrahim Hur; Mateo Valero (Microprocess. Microsystems, 2012)

Decision Forest for Root Cause Analysis of Intermittent Faults. - Satnam Singh; Halasya Siva Subramania; Steven W. Holland; Jason T. Davis (IEEE Trans. Syst. Man Cybern. Part C, 2012)

Med-Tree: A user knowledge graph framework for medical applications. - Maunendra Sankar Desarkar; Sandip Bhaumik; Sailesh K. Sathish; Satnam Singh; Ranga V. Narayanan (BIBE, 2013)

Preventing Domestic Violence Via Education in Cloud Computing Service. - Chih Lin; Pei-Chi Shao; Satnam Singh (LTEC, 2013)

Coupled Factorial Hidden Markov Models (CFHMM) for Diagnosing Multiple and Coupled Faults. - Anuradha Kodali; Krishna R. Pattipati; Satnam Singh (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis With Delayed Test Outcomes. - Anuradha Kodali; Satnam Singh; Krishna R. Pattipati (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Special Issue Dedicated to ICFP 2012: Editorial. - Satnam Singh; Robert Bruce Findler (J. Funct. Program., 2014)

An Ontology-Based Text Mining Method to Develop D-Matrix From Unstructured Text. - Dnyanesh G. Rajpathak; Satnam Singh (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems. - Chaitanya Sankavaram; Anuradha Kodali; Krishna R. Pattipati; Satnam Singh (IEEE Access, 2015)

Cluster-level Logging of Containers with Containers. - Satnam Singh (ACM Queue, 2016)

Implication of speech level control in noise to sound quality judgement. - Sara Akbarzadeh; Sungmin Lee 003; Satnam Singh; Chin-Tuan Tan (APSIPA, 2018)

A Speech Processing Strategy based on Sinusoidal Speech Model for Cochlear Implant Users. - Sungmin Lee 003; Sara Akbarzadeh; Satnam Singh; Chin-Tuan Tan (APSIPA, 2018)

Seven Basic Expression Recognition Using ResNet-18. - Satnam Singh; Doris Schicker (CoRR, 2021)

The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. - Satnam Singh (FPGA, 2022)

Recognition of Handwritten Digit Using Different Machine Learning Algorithms. - Kumar Priyadarshini; Satnam Singh; Anil Kumar Dixit (ICCR, 2022)

Chatbot: A Bridge Between Technology and Learn. - Sakshi; Satnam Singh; Reeta Rautela (ICCR, 2022)

Sunrise Based Alarm Clock using IoT. - Shruti Khatri; Amardeep Kaur; Shubham Verma; Satnam Singh; Mandeep Kaur; Nitin Rakesh; Parma Nand (ACI@ISIC, 2022)

Towards Artificial Intelligent Olfactory Systems. - Gina Zeh; Maximilian Koehne; Andreas Grasskamp; Helen Haug; Satnam Singh; Tilman Sauerwald (ISOEN, 2022)

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 (OCIT, 2023)

OWSum: algorithmic odor prediction and insight into structure-odor relationships. - Doris Schicker; Satnam Singh; Jessica Freiherr; Andreas Grasskamp (J. Cheminformatics, 2023)

Classification of substances by health hazard using deep neural networks and molecular electron densities. - Satnam Singh; Gina Zeh; Jessica Freiherr; Thilo Bauer; Isik Türkmen; Andreas Grasskamp (J. Cheminformatics, 2024)

The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). - Satnam Singh (PEPM, 2025)