Satnam Singh

	2009
48		Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Runtime support for multicore Haskell. ICFP 2009: 65-78
47		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)
46		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)
	2008
45		Satnam Singh, David J. Greaves: Synthesizing FPGA Circuits from Parallel Programs. ARC 2008: 1
44		Simon L. Peyton Jones, Satnam Singh: A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming 2008: 267-305
43		David J. Greaves, Satnam Singh: Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM 2008: 3-12
42		David J. Greaves, Satnam Singh: Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL 2008: 239-240
41		Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12
40		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
39		Satnam Singh: Hardware/Software Synthesis and Verification Using Esterel. CPA 2007: 371-378
38		Satnam Singh: Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. FPGA 2007: 133-135
37		Tim Harris, Satnam Singh: Feedback directed implicit parallelism. ICFP 2007: 251-264
36		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
35		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
34		Satnam Singh: New parallel programming techniques for hardware design. VLSI-SoC 2007: 163-167
	2006
33		Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Lock Free Data Structures Using STM in Haskell. FLOPS 2006: 65-80
32		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)
	2004
31		Satnam Singh: A Demonstration of Co-Design and Co-Verification in a Synchronous Language. DATE 2004: 1394-1395
30		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
29		Satnam Singh: Designing Reconfigurable Systems in Lava. VLSI Design 2004: 299-306
	2003
28		Satnam Singh: Design and Verification of CoreConnectTM IP Using Esterel. CHARME 2003: 283-288
27		Satnam Singh: System Level Specification in Lava. DATE 2003: 10370-10375
26		Gérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440
25		Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)
	2002
24		Satnam Singh: Interface specification for reconfigurable components. ICCAD 2002: 102-109
	2001
23		Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369
22		Satnam Singh, Philip James-Roxby: Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. FPL 2001: 346-356
	2000
21		Satnam Singh: Death of the RLOC? FCCM 2000: 145-152
20		Mary Sheeran, Satnam Singh, Gunnar Stålmarck: Checking Safety Properties Using Induction and a SAT-Solver. FMCAD 2000: 108-125
19		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
	1999
18		Nicholas McKay, Satnam Singh: Debugging Techniques for Dynamically Reconfigurable Hardware. FCCM 1999: 114-122
17		Satnam Singh, Carl Johan Lillieroth: Formal Verification of Reconfigurable Cores. FCCM 1999: 25-
16		Donald MacVicar, Satnam Singh, Robert Slous: Be'zier Curve Rendering on Virtex(tm). FCCM 1999: 314-
15		Donald MacVicar, John W. Patterson, Satnam Singh: Rendering Postscript Fonts on FPGAs. FPL 1999: 223-232
14		Stefan H.-M. Ludwig, Robert Slous, Satnam Singh: Implementing Photoshop Filters in Virtex. FPL 1999: 233-242
13		Carl Johan Lillieroth, Satnam Singh: Formal Verification of FPGA Cores. Nord. J. Comput. 6(3): 299-319 (1999)
	1998
12		Satnam Singh, Robert Slous: Accelerating Adobe Photoshop with the Reconfigurable Logic. FCCM 1998: 236-244
11		Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh: Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM 1998: 308-309
10		Nicholas McKay, Satnam Singh: Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. FPL 1998: 298-307
9		Donald MacVicar, Satnam Singh: Accelerating DTP with Reconfigurable Computing Engines. FPL 1998: 391-395
8		Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184
7		Satnam Singh, Nicholas McKay: Partial Evaluation of Hardware. Partial Evaluation 1998: 221-230
	1997
6		Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark De Wit: A dynamic reconfiguration run-time system. FCCM 1997: 66-76
5		Satnam Singh, John W. Patterson, Jim Burns, Michael Dales: PostscriptTM rendering with virtual hardware. FPL 1997: 428-437
	1995
4		Satnam Singh: Architectural descriptions for FPGA circuits. FCCM 1995: 145-154
	1992
3		Satnam Singh: Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits 1992: 119-138
	1991
2		Satnam Singh: Using XView/X11 from Miranda. Functional Programming 1991: 352-363
	1989
1		Satnam Singh: Implementation of a Non-Standard Interpretation System. Functional Programming 1989: 206-224

Coauthor Index

1	Jefferey Allanach	[30] [32]
2	Woosun An	[35]
3	Ray Andraka	[19]
4	Gérard Berry	[26]
5	Per Bjesse	[8]
6	Jim Burns	[5] [6]
7	Shunsuke Chigusa	[36] [40]
8	Kihoon Choi	[36] [40] [46]
9	Koen Claessen	[8] [23] [25]
10	Michael Dales	[5]
11	Anthony Discolo	[33]
12	William Donat	[40] [47]
13	Adam Donlin	[6]
14	Stephen A. Edwards	[41]
15	Philip Friedin	[19]
16	Swapna S. Gokhale	[35]
17	David J. Greaves	[42] [43] [45]
18	Tim Harris	[33] [37]
19	Jonathan Hogg	[6]
20	Philip James-Roxby	[22]
21	Simon L. Peyton Jones	[33] [44] [48]
22	Michael Kishinevsky	[26]
23	David L. Kleinman	[35]
24	Anuradha Kodali	[36] [40] [46]
25	Hyunsung Lee	[35]
26	Carl Johan Lillieroth	[13] [17]
27	Stefan H.-M. Ludwig	[14]
28	Jianhui Luo	[40]
29	Donald MacVicar	[9] [15] [16]
30	Suvasri Mandal	[40]
31	Simon Marlow	[33] [48]
32	Nicholas McKay	[7] [10] [11] [18]
33	Thomas F. Melham	[11]
34	Setu Madhavi Namburu	[36] [40] [46]
35	John W. Patterson	[5] [15]
36	Krishna R. Pattipati	[30] [32] [35] [36] [40] [46] [47]
37	Danil V. Prokhorov	[36] [46]
38	Liu Qiao	[36] [40] [46]
39	Chaitanya Sankavaram	[40]
40	Herman Schmit	[19]
41	S. C. Sean	[46]
42	Mary Sheeran	[8] [20] [23] [25]
43	Robert Slous	[12] [14] [16]
44	Tim Southgate	[19]
45	Gunnar Stålmarck	[20]
46	Kong Woei Susanto	[11]
47	Haiying Tu	[30] [32] [47]
48	Nalini Vasudevan	[41]
49	Peter Willett (Peter K. Willett)	[30] [32] [47]
50	Mark De Wit	[6]

Colors in the list of coauthors