Satnam Singh

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. Microprocessors and Microsystems - Embedded Hardware Design 36(8): 620-631 (2012)

Satnam Singh, Halasya Siva Subramania, Steven W. Holland, Jason T. Davis: Decision Forest for Root Cause Analysis of Intermittent Faults. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(6): 1818-1827 (2012)

Satnam Singh: Computing without processors. CODES+ISSS 2012: 3-4

Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux: Accelerator compiler for the VENICE vector processor. FPGA 2012: 229-232

Gianpiero Cabodi, Satnam Singh (Eds.): Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. IEEE 2012

Dirk Koch, Satnam Singh, Jim Tørresen (Eds.): 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. IEEE 2012, isbn 978-1-4673-2257-7

Satnam Singh: Computing without processors. Commun. ACM 54(8): 46-54 (2011)

Gang Niu, Satnam Singh, Steven W. Holland, Michael Pecht: Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics. Microelectronics Reliability 51(2): 279-284 (2011)

Satnam Singh: Computing without Processors. ACM Queue 9(6): 50 (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: 350-362

Anil Madhavapeddy, Satnam Singh: Reconfigurable Data Processing for Clouds. FCCM 2011: 141-145

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

Satnam Singh: The RLOC is dead - long live the RLOC. FPGA 2011: 185-188

Dan R. Ghica, Alex Smith, Satnam Singh: Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP 2011: 221-233

David J. Greaves, Satnam Singh: Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE 2011: 1-9

Alex Cole, Alistair McEwan, Satnam Singh: An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA 2011: 111-130

Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt (Eds.): 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

Aurobinda Routray, Aparna Rajaguru, Satnam Singh: Data reduction and clustering techniques for fault detection and diagnosis in automotives. CASE 2010: 326-331

Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh: FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. FCCM 2010: 167-170

Leopold Haller, Satnam Singh: Relieving capacity limits on FPGA-based SAT-solvers. FMCAD 2010: 217-220

Jirí Simsa, Satnam Singh: Designing hardware with dynamic memory abstraction. FPGA 2010: 69-72

David J. Greaves, Satnam Singh: Designing application specific circuits with concurrent C# programs. MEMOCODE 2010: 21-30

Satnam Singh: Declarative data-parallel programming with the accelerator system. DAMP 2010: 1-2

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 T. Instrumentation and Measurement 58(3): 602-611 (2009)

Satnam Singh, Haiying Tu, William Donat, Krishna R. Pattipati, Peter Willett: Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(1): 144-159 (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 Transactions on Systems, Man, and Cybernetics, Part A 39(1): 160-176 (2009)

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

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212

Don Jones Jr., Simon Marlow, Satnam Singh: Parallel performance tuning for Haskell. Haskell 2009: 81-92

Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Runtime support for multicore Haskell. ICFP 2009: 65-78

Simon L. Peyton Jones, Satnam Singh: A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming 2008: 267-305

Satnam Singh, David J. Greaves: Synthesizing FPGA Circuits from Parallel Programs. ARC 2008: 1

David J. Greaves, Satnam Singh: Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM 2008: 3-12

David J. Greaves, Satnam Singh: Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL 2008: 239-240

Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12

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

Satnam Singh: Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. FPGA 2007: 133-135

Tim Harris, Satnam Singh: Feedback directed implicit parallelism. ICFP 2007: 251-264

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

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

Satnam Singh: New parallel programming techniques for hardware design. VLSI-SoC 2007: 163-167

Satnam Singh: Hardware/Software Synthesis and Verification Using Esterel. CPA 2007: 371-378

Haiying Tu, Jefferey Allanach, Satnam Singh, Krishna R. Pattipati, Peter Willett: Information Integration via Hierarchical and Hybrid Bayesian Networks. IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(1): 19-33 (2006)

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

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Lock Free Data Structures Using STM in Haskell. FLOPS 2006: 65-80

Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett: An Advanced System for Modeling Asymmetric Threats. SMC 2006: 3943-3948

Satnam Singh: A Demonstration of Co-Design and Co-Verification in a Synchronous Language. DATE 2004: 1394-1395

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

Satnam Singh: Designing Reconfigurable Systems in Lava. VLSI Design 2004: 299-306

Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)

Satnam Singh: Design and Verification of CoreConnectTM IP Using Esterel. CHARME 2003: 283-288

Satnam Singh: System Level Specification in Lava. DATE 2003: 10370-10375

Gérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440

Satnam Singh: Interface specification for reconfigurable components. ICCAD 2002: 102-109

Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369

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

Satnam Singh, Philip James-Roxby: Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. FPL 2001: 346-356

Satnam Singh: Death of the RLOC? FCCM 2000: 145-152

Mary Sheeran, Satnam Singh, Gunnar Stålmarck: Checking Safety Properties Using Induction and a SAT-Solver. FMCAD 2000: 108-125

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

Carl Johan Lillieroth, Satnam Singh: Formal Verification of FPGA Cores. Nord. J. Comput. 6(3): 299-319 (1999)

Satnam Singh, Carl Johan Lillieroth: Formal Verification of Reconfigurable Cores. FCCM 1999: 25-

Nicholas McKay, Satnam Singh: Debugging Techniques for Dynamically Reconfigurable Hardware. FCCM 1999: 114-122

Donald MacVicar, Satnam Singh, Robert Slous: Be'zier Curve Rendering on Virtex(tm). FCCM 1999: 314-

Donald MacVicar, John W. Patterson, Satnam Singh: Rendering Postscript Fonts on FPGAs. FPL 1999: 223-232

Stefan H.-M. Ludwig, Robert Slous, Satnam Singh: Implementing Photoshop Filters in Virtex. FPL 1999: 233-242

Satnam Singh, Robert Slous: Accelerating Adobe Photoshop with the Reconfigurable Logic. FCCM 1998: 236-244

Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh: Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM 1998: 308-309

Nicholas McKay, Satnam Singh: Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. FPL 1998: 298-307

Donald MacVicar, Satnam Singh: Accelerating DTP with Reconfigurable Computing Engines. FPL 1998: 391-395

Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184

Satnam Singh, Nicholas McKay: Partial Evaluation of Hardware. Partial Evaluation 1998: 221-230

Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark De Wit: A dynamic reconfiguration run-time system. FCCM 1997: 66-76

Satnam Singh, John W. Patterson, Jim Burns, Michael Dales: Postscript^TM rendering with virtual hardware. FPL 1997: 428-437

Satnam Singh: Architectural descriptions for FPGA circuits. FCCM 1995: 145-154

Satnam Singh: Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits 1992: 119-138

Satnam Singh: Using XView/X11 from Miranda. Functional Programming 1991: 352-363

Satnam Singh: Implementation of a Non-Standard Interpretation System. Functional Programming 1989: 206-224