Satnam Singh

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 12

Top Topics

Machine Learning

Fault Diagnosis

Top Venues

J. Cheminformatics

Publications

Satnam Singh, Gina Zeh, Jessica Freiherr, Thilo Bauer, Isik Türkmen, Andreas Grasskamp
Classification of substances by health hazard using deep neural networks and molecular electron densities. J. Cheminformatics 16 (1) (2024)
Debasis Mohapatra, Satnam Singh, Rupsalin Pradhan, Soumya Ranjan Behera
Integrating structural features for link prediction in directed social network using supervised machine learning with SHapley Additive exPlanations. OCIT (2023)
Doris Schicker, Satnam Singh, Jessica Freiherr, Andreas Grasskamp
OWSum: algorithmic odor prediction and insight into structure-odor relationships. J. Cheminformatics 15 (1) (2023)
Gina Zeh, Maximilian Koehne, Andreas Grasskamp, Helen Haug, Satnam Singh, Tilman Sauerwald
Towards Artificial Intelligent Olfactory Systems. ISOEN (2022)
Satnam Singh
The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. FPGA (2022)
Kumar Priyadarshini, Satnam Singh, Anil Kumar Dixit
Recognition of Handwritten Digit Using Different Machine Learning Algorithms. ICCR (2022)
Shruti Khatri, Amardeep Kaur, Shubham Verma, Satnam Singh, Mandeep Kaur, Nitin Rakesh, Parma Nand
Sunrise Based Alarm Clock using IoT. ACI@ISIC (2022)
Sakshi, Satnam Singh, Reeta Rautela
Chatbot: A Bridge Between Technology and Learn. ICCR (2022)
Satnam Singh, Doris Schicker
Seven Basic Expression Recognition Using ResNet-18. CoRR (2021)
Sara Akbarzadeh, Sungmin Lee, Satnam Singh, Chin-Tuan Tan
Implication of speech level control in noise to sound quality judgement. APSIPA (2018)
Sungmin Lee, Sara Akbarzadeh, Satnam Singh, Chin-Tuan Tan
A Speech Processing Strategy based on Sinusoidal Speech Model for Cochlear Implant Users. APSIPA (2018)
Satnam Singh
Cluster-level Logging of Containers with Containers. ACM Queue 14 (3) (2016)
Chaitanya Sankavaram, Anuradha Kodali, Krishna R. Pattipati, Satnam Singh
Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems. IEEE Access 3 (2015)
Satnam Singh, Robert Bruce Findler
Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. 24 (2-3) (2014)
Dnyanesh G. Rajpathak, Satnam Singh
An Ontology-Based Text Mining Method to Develop D-Matrix From Unstructured Text. IEEE Trans. Syst. Man Cybern. Syst. 44 (7) (2014)
Anuradha Kodali, Krishna R. Pattipati, Satnam Singh
Coupled Factorial Hidden Markov Models (CFHMM) for Diagnosing Multiple and Coupled Faults. IEEE Trans. Syst. Man Cybern. Syst. 43 (3) (2013)
Maunendra Sankar Desarkar, Sandip Bhaumik, Sailesh K. Sathish, Satnam Singh, Ranga V. Narayanan
Med-Tree: A user knowledge graph framework for medical applications. BIBE (2013)
Anuradha Kodali, Satnam Singh, Krishna R. Pattipati
Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis With Delayed Test Outcomes. IEEE Trans. Syst. Man Cybern. Syst. 43 (3) (2013)
Chih Lin, Pei-Chi Shao, Satnam Singh
Preventing Domestic Violence Via Education in Cloud Computing Service. LTEC (2013)
Satnam Singh
Computing without processors. CODES+ISSS (2012)
Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux
Accelerator compiler for the VENICE vector processor. FPGA (2012)
Satnam Singh, Halasya Siva Subramania, Steven W. Holland, Jason T. Davis
Decision Forest for Root Cause Analysis of Intermittent Faults. IEEE Trans. Syst. Man Cybern. Part C 42 (6) (2012)
Oriol Arcas, Nehir Sönmez, Gokhan Sayilar, Satnam Singh, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero
Resource-bounded multicore emulation using Beefarm. Microprocess. Microsystems 36 (8) (2012)
Gang Niu, Satnam Singh, Steven W. Holland, Michael G. Pecht
Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics. Microelectron. Reliab. 51 (2) (2011)
Dan R. Ghica, Alex I. Smith, Satnam Singh
Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP (2011)
Alex Cole, Alistair A. McEwan, Satnam Singh
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA (2011)
David J. Greaves, Satnam Singh
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE (2011)
Satnam Singh
Computing without Processors. ACM Queue 9 (6) (2011)
Satnam Singh
Computing without processors. Commun. ACM 54 (8) (2011)
Anil Madhavapeddy, Satnam Singh
Reconfigurable Data Processing for Clouds. FCCM (2011)
Satnam Singh
The RLOC is dead - long live the RLOC. FPGA (2011)
Nehir Sönmez, Oriol Arcas, Otto Pflucker, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero
TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory System. FCCM (2011)
Nehir Sönmez, Oriol Arcas, Gokhan Sayilar, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero
From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype. ARC (2011)
Satnam Singh
Declarative data-parallel programming with the accelerator system. DAMP (2010)
Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh
FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. FCCM (2010)
Jirí Simsa, Satnam Singh
Designing hardware with dynamic memory abstraction. FPGA (2010)
Satnam Singh
Design and verification of peripheral control circuits in Esterel. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Aurobinda Routray, Aparna Rajaguru, Satnam Singh
Data reduction and clustering techniques for fault detection and diagnosis in automotives. CASE (2010)
Leopold Haller, Satnam Singh
Relieving capacity limits on FPGA-based SAT-solvers. FMCAD (2010)
David J. Greaves, Satnam Singh
Designing application specific circuits with concurrent C# programs. MEMOCODE (2010)
Simon Marlow, Simon L. Peyton Jones, Satnam Singh
Runtime support for multicore Haskell. ICFP (2009)
Don Jones Jr., Simon Marlow, Satnam Singh
Parallel performance tuning for Haskell. Haskell (2009)
Kihoon Choi, Satnam Singh, Anuradha Kodali, Krishna R. Pattipati, John W. Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao
Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems. IEEE Trans. Instrum. Meas. 58 (3) (2009)
Satnam Singh, Anuradha Kodali, Kihoon Choi, Krishna R. Pattipati, Setu Madhavi Namburu, S. C. Sean, Danil V. Prokhorov, Liu Qiao
Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques. IEEE Trans. Syst. Man Cybern. Part A 39 (1) (2009)
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
Finding heap-bounds for hardware synthesis. FMCAD (2009)
Satnam Singh, Haiying Tu, William Donat, Krishna R. Pattipati, Peter Willett
Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models. IEEE Trans. Syst. Man Cybern. Part A 39 (1) (2009)
Satnam Singh, Anuradha Kodali, Krishna R. Pattipati
A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults. CASE (2009)
Woosun An, Satnam Singh, Krishna R. Pattipati, David L. Kleinman, Swapna S. Gokhale
Dynamic Scheduling of Multiple Hidden Markov Model-Based Sensors. J. Adv. Inf. Fusion 3 (1) (2008)
Satnam Singh, David J. Greaves
Synthesizing FPGA Circuits from Parallel Programs. ARC (2008)
David J. Greaves, Satnam Singh
Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM (2008)
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards
A deterministic multi-way rendezvous library for haskell. IPDPS (2008)
Simon L. Peyton Jones, Satnam Singh
A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming (2008)
David J. Greaves, Satnam Singh
Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL (2008)
Satnam Singh, Kihoon Choi, Anuradha Kodali, Krishna R. Pattipati, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao
Dynamic fusion of classifiers for fault diagnosis. SMC (2007)
Satnam Singh
New parallel programming techniques for hardware design. VLSI-SoC (2007)
Satnam Singh
Hardware/Software Synthesis and Verification Using Esterel. CPA (2007)
Hyunsung Lee, Satnam Singh, Woosun An, Swapna S. Gokhale, Krishna R. Pattipati, David L. Kleinman
Rollout strategy for Hidden Markov Model (HMM)-based dynamic sensor scheduling. SMC (2007)
Satnam Singh
Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. FPGA (2007)
Tim Harris, Satnam Singh
Feedback directed implicit parallelism. ICFP (2007)
Haiying Tu, Jefferey Allanach, Satnam Singh, Krishna R. Pattipati, Peter Willett
Information Integration via Hierarchical and Hybrid Bayesian Networks. IEEE Trans. Syst. Man Cybern. Part A 36 (1) (2006)
Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett
An Advanced System for Modeling Asymmetric Threats. SMC (2006)
Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
Lock Free Data Structures Using STM in Haskell. FLOPS (2006)
Satnam Singh
Designing Reconfigurable Systems in Lava. VLSI Design (2004)
Satnam Singh
A Demonstration of Co-Design and Co-Verification in a Synchronous Language. DATE (2004)
Satnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett
Stochastic modeling of a terrorist event via the ASAM system. SMC (6) (2004)
Satnam Singh
Design and Verification of CoreConnectTM IP Using Esterel. CHARME (2003)
Satnam Singh
System Level Specification in Lava. DATE (2003)
Koen Claessen, Mary Sheeran, Satnam Singh
Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Gérard Berry, Michael Kishinevsky, Satnam Singh
System Level Design and Verification Using a Synchronous Language. ICCAD (2003)
Satnam Singh
Interface specification for reconfigurable components. ICCAD (2002)
Satnam Singh, Philip James-Roxby
Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. FPL (2001)
Koen Claessen, Mary Sheeran, Satnam Singh
The Design and Verification of a Sorter Core. CHARME (2001)
Satnam Singh, Philip James-Roxby
Lava and JBits: From HDL to Bitstream in Seconds. FCCM (2001)
Satnam Singh
Death of the RLOC? FCCM (2000)
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
Checking Safety Properties Using Induction and a SAT-Solver. FMCAD (2000)
Herman Schmit, Ray Andraka, Philip Friedin, Satnam Singh, Tim Southgate
The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designers. FPGA (2000)
Satnam Singh, Carl Johan Lillieroth
Formal Verification of Reconfigurable Cores. FCCM (1999)
Stefan H.-M. Ludwig, Robert Slous, Satnam Singh
Implementing Photoshop Filters in Virtex. FPL (1999)
Donald MacVicar, John W. Patterson, Satnam Singh
Rendering Postscript Fonts on FPGAs. FPL (1999)
Carl Johan Lillieroth, Satnam Singh
Formal Verification of FPGA Cores. Nord. J. Comput. 6 (3) (1999)
Donald MacVicar, Satnam Singh, Robert Slous
Bézier Curve Rendering on Virtex(tm). FCCM (1999)
Nicholas McKay, Satnam Singh
Debugging Techniques for Dynamically Reconfigurable Hardware. FCCM (1999)
Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
Lava: Hardware Design in Haskell. ICFP (1998)
Satnam Singh, Nicholas McKay
Partial Evaluation of Hardware. Partial Evaluation (1998)
Satnam Singh, Robert Slous
Accelerating Adobe Photoshop with the Reconfigurable Logic. FCCM (1998)
Donald MacVicar, Satnam Singh
Accelerating DTP with Reconfigurable Computing Engines. FPL (1998)
Nicholas McKay, Satnam Singh
Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. FPL (1998)
Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh
Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM (1998)
Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark de Wit
A dynamic reconfiguration run-time system. FCCM (1997)
Satnam Singh, John W. Patterson, Jim Burns, Michael Winston Dales
rendering with virtual hardware. FPL (1997)
Satnam Singh, Jonathan Hogg, Derek McAuley
Expressing dynamic reconfiguration by partial evaluation. FCCM (1996)
Satnam Singh
Architectural descriptions for FPGA circuits. FCCM (1995)
Alastair Reid, Satnam Singh
Implementing Fudgets with Standard Widget Sets. Functional Programming (1993)
Satnam Singh
Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits (1992)
Satnam Singh
Using XView/X11 from Miranda. Functional Programming (1991)
Satnam Singh
Differentiating Strictness. Functional Programming (1990)
Satnam Singh
Implementation of a Non-Standard Interpretation System. Functional Programming (1989)