Follow
Satnam Singh
Satnam Singh
Fellow, Groq, Mountain View, California
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Checking safety properties using induction and a SAT-solver
M Sheeran, S Singh, G Stålmarck
International conference on formal methods in computer-aided design, 127-144, 2000
9932000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
Acm Sigplan Notices 34 (1), 174-184, 1998
5801998
Runtime support for multicore Haskell
S Marlow, S Peyton Jones, S Singh
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
1902009
A dynamic reconfiguration run-time system
J Burns, A Donlin, J Hogg, S Singh, M De Wit
Proceedings. The 5th Annual IEEE Symposium on Field-Programmable Custom …, 1997
1801997
Kiwi: Synthesis of FPGA circuits from parallel programs
S Singh, DJ Greaves
2008 16th International Symposium on Field-Programmable Custom Computing …, 2008
1362008
Computing without Processors: Heterogeneous systems allow us to target our programming to the appropriate environment.
S Singh
Queue 9 (6), 50-63, 2011
812011
An asynchronous messaging library for c
G Chrysanthakopoulos, S Singh
742005
Feedback directed implicit parallelism
T Harris, S Singh
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
682007
Lava and JBits: From HDL to bitstream in seconds
S Singh, P James-Roxby
The 9th Annual IEEE Symposium on Field-Programmable Custom Computing …, 2001
602001
Parallel performance tuning for Haskell
D Jones Jr, S Marlow, S Singh
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 81-92, 2009
582009
Virtual hardware for graphics applications using FPGAs
S Singh, P Bellec
Proceedings of IEEE Workshop on FPGA's for Custom Computing Machines, 49-58, 1994
581994
Expressing dynamic reconfiguration by partial evaluation
Singh, Hogg, McAuley
1996 Proceedings IEEE Symposium on FPGAs for Custom Computing Machines, 188-194, 1996
551996
The design and verification of a sorter core
K Claessen, M Sheeran, S Singh
Advanced Research Working Conference on Correct Hardware Design and …, 2001
532001
Dynamic specialisation of XC6200 FPGAs by partial evaluation
N McKay, T Melham, KW Susanto
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998
531998
Lock free data structures using STM in Haskell
A Discolo, T Harris, S Marlow, SP Jones, S Singh
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
522006
A tutorial on parallel and concurrent programming in haskell
S Peyton Jones, S Singh
International School on Advanced Functional Programming, 267-305, 2008
492008
Geometry of synthesis IV: compiling affine recursion into static hardware
DR Ghica, A Smith, S Singh
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
482011
Finding heap-bounds for hardware synthesis
B Cook, A Gupta, S Magill, A Rybalchenko, J Simsa, S Singh, V Vafeiadis
2009 Formal Methods in Computer-Aided Design, 205-212, 2009
422009
Accelerating Adobe Photoshop with reconfigurable logic
S Singh, R Slous
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998
351998
Event-driven data mining techniques for automotive fault diagnosis
C Sankavaram, A Kodali, DFM Ayala, K Pattipati, S Singh, ...
Annual Conference of the PHM Society 2 (2), 2010
322010
The system can't perform the operation now. Try again later.
Articles 1–20