default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSatnam Singh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c76]Satnam Singh:
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). PEPM 2025: 12- 2024
- [j21]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): 45 (2024) - 2023
- [j20]Doris Schicker
, Satnam Singh, Jessica Freiherr, Andreas Grasskamp:
OWSum: algorithmic odor prediction and insight into structure-odor relationships. J. Cheminformatics 15(1): 51 (2023) - [c75]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: 468-472 - 2022
- [c74]Satnam Singh:
The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. FPGA 2022: 153 - [c73]Kumar Priyadarshini, Satnam Singh, Anil Kumar Dixit:
Recognition of Handwritten Digit Using Different Machine Learning Algorithms. ICCR 2022: 1-4 - [c72]Sakshi, Satnam Singh, Reeta Rautela:
Chatbot: A Bridge Between Technology and Learn. ICCR 2022: 1-3 - [c71]Shruti Khatri, Amardeep Kaur, Shubham Verma, Satnam Singh, Mandeep Kaur, Nitin Rakesh, Parma Nand:
Sunrise Based Alarm Clock using IoT. ACI@ISIC 2022: 40-48 - [c70]Gina Zeh, Maximilian Koehne, Andreas Grasskamp, Helen Haug, Satnam Singh, Tilman Sauerwald:
Towards Artificial Intelligent Olfactory Systems. ISOEN 2022: 1-2 - 2021
- [i1]Satnam Singh, Doris Schicker:
Seven Basic Expression Recognition Using ResNet-18. CoRR abs/2107.04569 (2021)
2010 – 2019
- 2018
- [c69]Sara Akbarzadeh, Sungmin Lee, Satnam Singh, Chin-Tuan Tan:
Implication of speech level control in noise to sound quality judgement. APSIPA 2018: 388-392 - [c68]Sungmin Lee, Sara Akbarzadeh, Satnam Singh, Chin-Tuan Tan:
A Speech Processing Strategy based on Sinusoidal Speech Model for Cochlear Implant Users. APSIPA 2018: 393-397 - 2016
- [j19]Satnam Singh:
Cluster-level Logging of Containers with Containers. ACM Queue 14(3): 30 (2016) - 2015
- [j18]Chaitanya Sankavaram, Anuradha Kodali, Krishna R. Pattipati, Satnam Singh:
Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems. IEEE Access 3: 407-419 (2015) - 2014
- [j17]Satnam Singh, Robert Bruce Findler:
Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. 24(2-3): 131-132 (2014) - [j16]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): 966-977 (2014) - 2013
- [j15]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): 522-534 (2013) - [j14]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): 547-562 (2013) - [c67]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: 1-4 - [c66]Chih Lin, Pei-Chi Shao, Satnam Singh:
Preventing Domestic Violence Via Education in Cloud Computing Service. LTEC 2013: 205-209 - 2012
- [j13]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): 620-631 (2012) - [j12]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): 1818-1827 (2012) - [c65]Satnam Singh:
Computing without processors. CODES+ISSS 2012: 3-4 - [c64]Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux:
Accelerator compiler for the VENICE vector processor. FPGA 2012: 229-232 - [e3]Gianpiero Cabodi, Satnam Singh:
Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. IEEE 2012, ISBN 978-1-4673-4832-4 [contents] - [e2]Dirk Koch, Satnam Singh, Jim Tørresen:
22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. IEEE 2012, ISBN 978-1-4673-2257-7 [contents] - 2011
- [j11]Satnam Singh:
Computing without processors. Commun. ACM 54(8): 46-54 (2011) - [j10]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): 279-284 (2011) - [j9]Satnam Singh:
Computing without Processors. ACM Queue 9(6): 50 (2011) - [c63]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: 350-362 - [c62]Anil Madhavapeddy, Satnam Singh:
Reconfigurable Data Processing for Clouds. FCCM 2011: 141-145 - [c61]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: 146-153 - [c60]Satnam Singh:
The RLOC is dead - long live the RLOC. FPGA 2011: 185-188 - [c59]Dan R. Ghica, Alex I. Smith, Satnam Singh:
Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP 2011: 221-233 - [c58]David J. Greaves, Satnam Singh:
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE 2011: 1-9 - [c57]Alex Cole, Alistair A. McEwan, Satnam Singh:
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA 2011: 111-130 - [e1]Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt:
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. IEEE 2011, ISBN 978-1-4577-0117-7 [contents] - 2010
- [j8]Satnam Singh:
Design and verification of peripheral control circuits in Esterel. Concurr. Comput. Pract. Exp. 22(8): 981-994 (2010) - [c56]Aurobinda Routray, Aparna Rajaguru, Satnam Singh:
Data reduction and clustering techniques for fault detection and diagnosis in automotives. CASE 2010: 326-331 - [c55]Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh:
FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. FCCM 2010: 167-170 - [c54]Leopold Haller, Satnam Singh:
Relieving capacity limits on FPGA-based SAT-solvers. FMCAD 2010: 217-220 - [c53]Jirí Simsa, Satnam Singh:
Designing hardware with dynamic memory abstraction. FPGA 2010: 69-72 - [c52]David J. Greaves, Satnam Singh:
Designing application specific circuits with concurrent C# programs. MEMOCODE 2010: 21-30 - [c51]Satnam Singh:
Declarative data-parallel programming with the accelerator system. DAMP 2010: 1-2
2000 – 2009
- 2009
- [j7]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): 602-611 (2009) - [j6]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): 144-159 (2009) - [j5]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): 160-176 (2009) - [c50]Satnam Singh, Anuradha Kodali, Krishna R. Pattipati:
A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults. CASE 2009: 146-151 - [c49]Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis:
Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212 - [c48]Don Jones Jr., Simon Marlow, Satnam Singh:
Parallel performance tuning for Haskell. Haskell 2009: 81-92 - [c47]Simon Marlow, Simon L. Peyton Jones, Satnam Singh:
Runtime support for multicore Haskell. ICFP 2009: 65-78 - 2008
- [j4]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): 33-49 (2008) - [c46]Simon L. Peyton Jones, Satnam Singh:
A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming 2008: 267-305 - [c45]Satnam Singh, David J. Greaves:
Synthesizing FPGA Circuits from Parallel Programs. ARC 2008: 1 - [c44]David J. Greaves, Satnam Singh:
Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM 2008: 3-12 - [c43]David J. Greaves, Satnam Singh:
Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL 2008: 239-240 - [c42]Nalini Vasudevan, Satnam Singh, Stephen A. Edwards:
A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12 - [p2]Krishna R. Pattipati, Anuradha Kodali, Jianhui Luo, Kihoon Choi, Satnam Singh, Chaitanya Sankavaram, Suvasri Mandal, William Donat, Setu Madhavi Namburu, Shunsuke Chigusa, Liu Qiao:
An Integrated Diagnostic Process for Automotive Systems. Computational Intelligence in Automotive Applications 2008: 191-218 - 2007
- [c41]Satnam Singh:
Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. FPGA 2007: 133-135 - [c40]Tim Harris, Satnam Singh:
Feedback directed implicit parallelism. ICFP 2007: 251-264 - [c39]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: 553-558 - [c38]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: 2467-2472 - [c37]Satnam Singh:
New parallel programming techniques for hardware design. VLSI-SoC 2007: 163-167 - [c36]Satnam Singh:
Hardware/Software Synthesis and Verification Using Esterel. CPA 2007: 371-378 - 2006
- [j3]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): 19-33 (2006) - [c35]Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh:
Lock Free Data Structures Using STM in Haskell. FLOPS 2006: 65-80 - [c34]Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett:
An Advanced System for Modeling Asymmetric Threats. SMC 2006: 3943-3948 - [p1]Krishna R. Pattipati, Peter Willett, Jefferey Allanach, Haiying Tu, Satnam Singh:
Hidden Markov Models and Bayesian Networks for Counter-Terrorism. Emergent Information Technologies and Enabling Policies for Counter-Terrorism 2006 - 2004
- [c33]Satnam Singh:
A Demonstration of Co-Design and Co-Verification in a Synchronous Language. DATE 2004: 1394-1395 - [c32]Satnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett:
Stochastic modeling of a terrorist event via the ASAM system. SMC (6) 2004: 5673-5678 - [c31]Satnam Singh:
Designing Reconfigurable Systems in Lava. VLSI Design 2004: 299-306 - 2003
- [j2]Koen Claessen, Mary Sheeran, Satnam Singh:
Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. 4(3): 349-358 (2003) - [c30]Satnam Singh:
Design and Verification of CoreConnectTM IP Using Esterel. CHARME 2003: 283-288 - [c29]Satnam Singh:
System Level Specification in Lava. DATE 2003: 10370-10375 - [c28]Gérard Berry, Michael Kishinevsky, Satnam Singh:
System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440 - 2002
- [c27]Satnam Singh:
Interface specification for reconfigurable components. ICCAD 2002: 102-109 - 2001
- [c26]Koen Claessen, Mary Sheeran, Satnam Singh:
The Design and Verification of a Sorter Core. CHARME 2001: 355-369 - [c25]Satnam Singh, Philip James-Roxby:
Lava and JBits: From HDL to Bitstream in Seconds. FCCM 2001: 91-100 - [c24]Satnam Singh, Philip James-Roxby:
Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. FPL 2001: 346-356 - 2000
- [c23]Satnam Singh:
Death of the RLOC? FCCM 2000: 145-152 - [c22]Mary Sheeran, Satnam Singh, Gunnar Stålmarck:
Checking Safety Properties Using Induction and a SAT-Solver. FMCAD 2000: 108-125 - [c21]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: 101
1990 – 1999
- 1999
- [j1]Carl Johan Lillieroth, Satnam Singh:
Formal Verification of FPGA Cores. Nord. J. Comput. 6(3): 299-319 (1999) - [c20]Satnam Singh, Carl Johan Lillieroth:
Formal Verification of Reconfigurable Cores. FCCM 1999: 25- - [c19]Nicholas McKay, Satnam Singh:
Debugging Techniques for Dynamically Reconfigurable Hardware. FCCM 1999: 114-122 - [c18]Donald MacVicar, Satnam Singh, Robert Slous:
Bézier Curve Rendering on Virtex(tm). FCCM 1999: 314- - [c17]Donald MacVicar, John W. Patterson, Satnam Singh:
Rendering Postscript Fonts on FPGAs. FPL 1999: 223-232 - [c16]Stefan H.-M. Ludwig, Robert Slous, Satnam Singh:
Implementing Photoshop Filters in Virtex. FPL 1999: 233-242 - 1998
- [c15]Satnam Singh, Robert Slous:
Accelerating Adobe Photoshop with the Reconfigurable Logic. FCCM 1998: 236-244 - [c14]Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh:
Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM 1998: 308-309 - [c13]Nicholas McKay, Satnam Singh:
Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. FPL 1998: 298-307 - [c12]Donald MacVicar, Satnam Singh:
Accelerating DTP with Reconfigurable Computing Engines. FPL 1998: 391-395 - [c11]Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh:
Lava: Hardware Design in Haskell. ICFP 1998: 174-184 - [c10]Satnam Singh, Nicholas McKay:
Partial Evaluation of Hardware. Partial Evaluation 1998: 221-230 - 1997
- [c9]Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark de Wit:
A dynamic reconfiguration run-time system. FCCM 1997: 66-76 - [c8]Satnam Singh, John W. Patterson, Jim Burns, Michael Winston Dales:
PostscriptTM rendering with virtual hardware. FPL 1997: 428-437 - 1996
- [c7]Satnam Singh, Jonathan Hogg, Derek McAuley:
Expressing dynamic reconfiguration by partial evaluation. FCCM 1996: 188-194 - 1995
- [c6]Satnam Singh:
Architectural descriptions for FPGA circuits. FCCM 1995: 145-154 - 1993
- [c5]Alastair Reid, Satnam Singh:
Implementing Fudgets with Standard Widget Sets. Functional Programming 1993: 222-235 - 1992
- [c4]Satnam Singh:
Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits 1992: 119-138 - 1991
- [c3]Satnam Singh:
Using XView/X11 from Miranda. Functional Programming 1991: 352-363 - 1990
- [c2]Satnam Singh:
Differentiating Strictness. Functional Programming 1990: 264-267
1980 – 1989
- 1989
- [c1]Satnam Singh:
Implementation of a Non-Standard Interpretation System. Functional Programming 1989: 206-224
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-14 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
