Satnam Singh - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Reconfigurable Data Processing for CloudsAnil Madhavapeddy, Satnam Singh. fccm 2011: 141-145 [doi]

Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metricsGang Niu, Satnam Singh, Steven W. Holland, Michael Pecht. mr, 51(2):279-284, 2011. [doi]

The RLOC is dead - long live the RLOCSatnam Singh. fpga 2011: 185-188 [doi]

Computing without processorsSatnam Singh. CACM, 54(8):46-54, 2011. [doi]

Computing without ProcessorsSatnam Singh. queue, 9(6):50, 2011. [doi]

TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory SystemNehir Sönmez, Oriol Arcas, Otto Pflucker, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero. fccm 2011: 146-153 [doi]

From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore PrototypeNehir Sönmez, Oriol Arcas, Gokhan Sayilar, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero. arc 2011: 350-362 [doi]

2010

2009

Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive SystemsKihoon Choi, Satnam Singh, Anuradha Kodali, Krishna R. Pattipati, John W. Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao. tim, 58(3):602-611, 2009. [doi]

Finding heap-bounds for hardware synthesisByron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, JirÃ Simsa, Satnam Singh, Viktor Vafeiadis. FMCAD 2009: 205-212 [doi]

Parallel performance tuning for HaskellDon Jones Jr., Simon Marlow, Satnam Singh. haskell 2009: 81-92 [doi]

Runtime support for multicore HaskellSimon Marlow, Simon L. Peyton Jones, Satnam Singh. ICFP 2009: 65-78 [doi]

Anomaly Detection via Feature-Aided Tracking and Hidden Markov ModelsSatnam Singh, Haiying Tu, William Donat, Krishna R. Pattipati, Peter Willett. tsmc, 39(1):144-159, 2009. [doi]

Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution TechniquesSatnam Singh, Anuradha Kodali, Kihoon Choi, Krishna R. Pattipati, Setu Madhavi Namburu, S. C. Sean, Danil V. Prokhorov, Liu Qiao. tsmc, 39(1):160-176, 2009. [doi]

2008

Kiwi: Synthesis of FPGA Circuits from Parallel ProgramsDavid J. Greaves, Satnam Singh. fccm 2008: 3-12 [doi]

Using C# Attributes to Describe Hardware Artefacts within KiwiDavid J. Greaves, Satnam Singh. fdl 2008: 239-240 [doi]

An Integrated Diagnostic Process for Automotive SystemsKrishna R. Pattipati, Anuradha Kodali, Jianhui Luo, Kihoon Choi, Satnam Singh, Chaitanya Sankavaram, Suvasri Mandal, William Donat, Setu Madhavi Namburu, Shunsuke Chigusa, Liu Qiao. In Danil V. Prokhorov, editor, Computational Intelligence in Automotive Applications. Volume 132 of Studies in Computational Intelligence, pages 191-218, Springer, 2008. [doi]

A Tutorial on Parallel and Concurrent Programming in HaskellSimon L. Peyton Jones, Satnam Singh. afp 2009: 267-305 [doi]

Synthesizing FPGA Circuits from Parallel ProgramsSatnam Singh, David J. Greaves. arc 2008: 1 [doi]

A deterministic multi-way rendezvous library for haskellNalini Vasudevan, Satnam Singh, Stephen A. Edwards. ipps 2008: 1-12 [doi]

2007

Feedback directed implicit parallelismTim Harris, Satnam Singh. ICFP 2007: 251-264 [doi]

Rollout strategy for Hidden Markov Model (HMM)-based dynamic sensor schedulingHyunsung Lee, Satnam Singh, Woosun An, Swapna S. Gokhale, Krishna R. Pattipati, David L. Kleinman. SMC 2007: 553-558 [doi]

Hardware/Software Synthesis and Verification Using EsterelSatnam Singh. wotug 2007: 371-378

Dynamic fusion of classifiers for fault diagnosisSatnam Singh, Kihoon Choi, Anuradha Kodali, Krishna R. Pattipati, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao. SMC 2007: 2467-2472 [doi]

Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer s perspectiveSatnam Singh. fpga 2007: 133-135 [doi]

New parallel programming techniques for hardware designSatnam Singh. vlsi 2007: 163-167 [doi]

2006

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

Information Integration via Hierarchical and Hybrid Bayesian NetworksHaiying Tu, Jefferey Allanach, Satnam Singh, Krishna R. Pattipati, Peter Willett. tsmc, 36(1):19-33, 2006. [doi]

2004

Designing Reconfigurable Systems in LavaSatnam Singh. vlsid 2004: 299-306 [doi]

A Demonstration of Co-Design and Co-Verification in a Synchronous LanguageSatnam Singh. date 2004: 1394-1395 [doi]

Stochastic modeling of a terrorist event via the ASAM systemSatnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett. SMC 2004: 5673-5678 [doi]

2003

2002

Interface specification for reconfigurable componentsSatnam Singh. iccad 2002: 102-109 [doi]

2001

The Design and Verification of a Sorter CoreKoen Claessen, Mary Sheeran, Satnam Singh. charme 2001: 355-369 [doi]

Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBitsSatnam Singh, Philip James-Roxby. fpl 2001: 346-356 [doi]

2000

The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designersHerman Schmit, Ray Andraka, Philip Friedin, Satnam Singh, Tim Southgate. fpga 2000: 101 [doi]

Checking Safety Properties Using Induction and a SAT-SolverMary Sheeran, Satnam Singh, Gunnar Stålmarck. FMCAD 2000: 108-125 [doi]

Death of the RLOC?Satnam Singh. fccm 2000: 145-152 [doi]

1999

1998

1997

A dynamic reconfiguration run-time systemJim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark De Wit. fccm 1997: 66-76 [doi]

Postscript:::TM::: rendering with virtual hardwareSatnam Singh, John W. Patterson, Jim Burns, Michael Dales. fpl 1997: 428-437

1995

Architectural descriptions for FPGA circuitsSatnam Singh. fccm 1995: 145-154 [doi]

1992

Circuit Analysis by Non-Standard InterpretationSatnam Singh. ifip10-2 1992: 119-138

1991

Using XView/X11 from MirandaSatnam Singh. fp 1992: 352-363

1989

Implementation of a Non-Standard Interpretation SystemSatnam Singh. fp 1990: 206-224