Satnam Singh

According to our database, Satnam Singh authored at least 95 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

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, December, 2024

2023

OWSum: algorithmic odor prediction and insight into structure-odor relationships.

Doris Schicker, Satnam Singh, Jessica Freiherr, Andreas Grasskamp

J. Cheminformatics, December, 2023

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

Proceedings of the OITS International Conference on Information Technology, 2023

2022

Towards Artificial Intelligent Olfactory Systems.

Gina Zeh, Maximilian Koehne, Andreas Grasskamp, Helen Haug, Satnam Singh, Tilman Sauerwald

Proceedings of the IEEE International Symposium on Olfaction and Electronic Nose, 2022

Sunrise Based Alarm Clock using IoT.

Shruti Khatri, Amardeep Kaur, Shubham Verma, Satnam Singh, Mandeep Kaur, Nitin Rakesh, Parma Nand

Proceedings of the Workshop on Advances in Computational Intelligence, 2022

The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor.

Satnam Singh

Proceedings of the FPGA '22: The 2022 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Virtual Event, USA, 27 February 2022, 2022

2021

Seven Basic Expression Recognition Using ResNet-18.

Satnam Singh, Doris Schicker

CoRR, 2021

2018

A Speech Processing Strategy based on Sinusoidal Speech Model for Cochlear Implant Users.

Sungmin Lee, Sara Akbarzadeh, Satnam Singh, Chin-Tuan Tan

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

Implication of speech level control in noise to sound quality judgement.

Sara Akbarzadeh, Sungmin Lee, Satnam Singh, Chin-Tuan Tan

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

2016

Cluster-level Logging of Containers with Containers.

Satnam Singh

ACM Queue, 2016

2015

Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems.

Chaitanya Sankavaram, Anuradha Kodali, Krishna R. Pattipati, Satnam Singh

IEEE Access, 2015

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

Special Issue Dedicated to ICFP 2012: Editorial.

Satnam Singh, Robert Bruce Findler

J. Funct. Program., 2014

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

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

Preventing Domestic Violence Via Education in Cloud Computing Service.

Chih Lin, Pei-Chi Shao, Satnam Singh

Proceedings of the 2nd International Workshop on Learning Technology for Education in Cloud, 2013

Med-Tree: A user knowledge graph framework for medical applications.

Maunendra Sankar Desarkar, Sandip Bhaumik, Sailesh K. Sathish, Satnam Singh, Ranga V. Narayanan

Proceedings of the 13th IEEE International Conference on BioInformatics and BioEngineering, 2013

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

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

Accelerator compiler for the VENICE vector processor.

Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux

Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

2011

Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics.

Gang Niu, Satnam Singh, Steven W. Holland, Michael G. Pecht

Microelectron. Reliab., 2011

Computing without processors.

Satnam Singh

Commun. ACM, 2011

An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming.

Alex Cole, Alistair A. McEwan, Satnam Singh

Proceedings of the 33th Communicating Process Architectures Conference, 2011

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi.

David J. Greaves, Satnam Singh

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Geometry of synthesis iv: compiling affine recursion into static hardware.

Dan R. Ghica, Alex I. Smith, Satnam Singh

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The RLOC is dead - long live the RLOC.

Satnam Singh

Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, 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

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

Reconfigurable Data Processing for Clouds.

Anil Madhavapeddy, Satnam Singh

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

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

Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2011

2010

Design and verification of peripheral control circuits in Esterel.

Satnam Singh

Concurr. Comput. Pract. Exp., 2010

Declarative data-parallel programming with the accelerator system.

Satnam Singh

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Designing application specific circuits with concurrent C# programs.

David J. Greaves, Satnam Singh

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Designing hardware with dynamic memory abstraction.

Jirí Simsa, Satnam Singh

Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

Relieving capacity limits on FPGA-based SAT-solvers.

Leopold Haller, Satnam Singh

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

FPGA Circuit Synthesis of Accelerator Data-Parallel Programs.

Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh

Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010

Data reduction and clustering techniques for fault detection and diagnosis in automotives.

Aurobinda Routray, Aparna Rajaguru, Satnam Singh

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models.

Satnam Singh, Haiying Tu, William Donat, Krishna R. Pattipati, Peter Willett

IEEE Trans. Syst. Man Cybern. Part A, 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

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

Runtime support for multicore Haskell.

Simon Marlow, Simon L. Peyton Jones, Satnam Singh

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Parallel performance tuning for Haskell.

Don Jones Jr., Simon Marlow, Satnam Singh

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Finding heap-bounds for hardware synthesis.

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults.

Satnam Singh, Anuradha Kodali, Krishna R. Pattipati

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

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

Proceedings of the Computational Intelligence in Automotive Applications, 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

A deterministic multi-way rendezvous library for haskell.

Nalini Vasudevan, Satnam Singh, Stephen A. Edwards

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Using C# Attributes to Describe Hardware Artefacts within Kiwi.

David J. Greaves, Satnam Singh

Proceedings of the Forum on specification and Design Languages, 2008

Kiwi: Synthesis of FPGA Circuits from Parallel Programs.

David J. Greaves, Satnam Singh

Proceedings of the 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, 2008

Synthesizing FPGA Circuits from Parallel Programs.

Satnam Singh, David J. Greaves

Proceedings of the Reconfigurable Computing: Architectures, 2008

A Tutorial on Parallel and Concurrent Programming in Haskell.

Simon L. Peyton Jones, Satnam Singh

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

Hardware/Software Synthesis and Verification Using Esterel.

Satnam Singh

Proceedings of the 30th Communicating Process Architectures Conference, 2007

New parallel programming techniques for hardware design.

Satnam Singh

Proceedings of the IFIP VLSI-SoC 2007, 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

Proceedings of the IEEE International Conference on Systems, 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

Proceedings of the IEEE International Conference on Systems, 2007

Feedback directed implicit parallelism.

Tim Harris, Satnam Singh

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective.

Satnam Singh

Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, 2007

2006

Information Integration via Hierarchical and Hybrid Bayesian Networks.

Haiying Tu, Jefferey Allanach, Satnam Singh, Krishna R. Pattipati, Peter Willett

IEEE Trans. Syst. Man Cybern. Part A, 2006

An Advanced System for Modeling Asymmetric Threats.

Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett

Proceedings of the IEEE International Conference on Systems, 2006

Lock Free Data Structures Using STM in Haskell.

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Hidden Markov Models and Bayesian Networks for Counter-Terrorism.

Krishna R. Pattipati, Peter Willett, Jefferey Allanach, Haiying Tu, Satnam Singh

Proceedings of the Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006

2004

Designing Reconfigurable Systems in Lava.

Satnam Singh

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Stochastic modeling of a terrorist event via the ASAM system.

Satnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett

Proceedings of the IEEE International Conference on Systems, 2004

A Demonstration of Co-Design and Co-Verification in a Synchronous Language.

Satnam Singh

Proceedings of the 2004 Design, 2004

2003

Using Lava to design and verify recursive and periodic sorters.

Koen Claessen, Mary Sheeran, Satnam Singh

Int. J. Softw. Tools Technol. Transf., 2003

System Level Design and Verification Using a Synchronous Language.

Gérard Berry, Michael Kishinevsky, Satnam Singh

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

System Level Specification in Lava.

Satnam Singh

Proceedings of the 2003 Design, 2003

Design and Verification of CoreConnectTM IP Using Esterel.

Satnam Singh

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Interface specification for reconfigurable components.

Satnam Singh

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

2001

Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits.

Satnam Singh, Philip James-Roxby

Proceedings of the Field-Programmable Logic and Applications, 2001

Lava and JBits: From HDL to Bitstream in Seconds.

Satnam Singh, Philip James-Roxby

Proceedings of the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2001

The Design and Verification of a Sorter Core.

Koen Claessen, Mary Sheeran, Satnam Singh

Proceedings of the Correct Hardware Design and Verification Methods, 2001

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

Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2000

Checking Safety Properties Using Induction and a SAT-Solver.

Mary Sheeran, Satnam Singh, Gunnar Stålmarck

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Death of the RLOC?

Satnam Singh

Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

1999

Formal Verification of FPGA Cores.

Carl Johan Lillieroth, Satnam Singh

Nord. J. Comput., 1999

Rendering Postscript Fonts on FPGAs.

Donald MacVicar, John W. Patterson, Satnam Singh

Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Implementing Photoshop Filters in Virtex.

Stefan H.-M. Ludwig, Robert Slous, Satnam Singh

Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Formal Verification of Reconfigurable Cores.

Satnam Singh, Carl Johan Lillieroth

Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

Debugging Techniques for Dynamically Reconfigurable Hardware.

Nicholas McKay, Satnam Singh

Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

Bézier Curve Rendering on Virtex(tm).

Donald MacVicar, Satnam Singh, Robert Slous

Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

1998

Partial Evaluation of Hardware.

Satnam Singh, Nicholas McKay

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Lava: Hardware Design in Haskell.

Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation.

Nicholas McKay, Satnam Singh

Proceedings of the Field-Programmable Logic and Applications, 1998

Accelerating DTP with Reconfigurable Computing Engines.

Donald MacVicar, Satnam Singh

Proceedings of the Field-Programmable Logic and Applications, 1998

Accelerating Adobe Photoshop with the Reconfigurable Logic.

Satnam Singh, Robert Slous

Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

Dynamic Specialization of XC6200 FPGAs by Partial Evaluation.

Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh

Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

1997

Postscript^TM rendering with virtual hardware.

Satnam Singh, John W. Patterson, Jim Burns, Michael Winston Dales

Proceedings of the Field-Programmable Logic and Applications, 7th International Workshop, 1997

A dynamic reconfiguration run-time system.

Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark de Wit

Proceedings of the 5th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '97), 1997

1996

Expressing dynamic reconfiguration by partial evaluation.

Satnam Singh, Jonathan Hogg, Derek McAuley

Proceedings of the 4th IEEE Symposium on FPGAs for Custom Computing Machines (FCCM '96), 1996

1995

Architectural descriptions for FPGA circuits.

Satnam Singh

Proceedings of the 3rd IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '95), 1995

1993

Implementing Fudgets with Standard Widget Sets.

Alastair Reid, Satnam Singh

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Circuit Analysis by Non-Standard Interpretation.

Satnam Singh

Proceedings of the Designing Correct Circuits, 1992

1991

Using XView/X11 from Miranda.

Satnam Singh

Proceedings of the Functional Programming, 1991

1990

Differentiating Strictness.

Satnam Singh

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

Implementation of a Non-Standard Interpretation System.

Satnam Singh

Proceedings of the Functional Programming, 1989