Follow
Satnam Singh
Satnam Singh
Software Engineer, Google, 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
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
9172000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
ACM SIGPLAN Notices 34 (1), 174-184, 1998
5551998
Runtime support for multicore Haskell
S Marlow, S Peyton Jones, S Singh
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
1822009
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
1771997
Kiwi: Synthesis of FPGA circuits from parallel programs
S Singh, DJ Greaves
2008 16th International Symposium on Field-Programmable Custom Computing …, 2008
1322008
Computing without Processors: Heterogeneous systems allow us to target our programming to the appropriate environment.
S Singh
Queue 9 (6), 50-63, 2011
782011
An asynchronous messaging library for C
G Chrysanthakopoulos, S Singh
712005
Feedback directed implicit parallelism
T Harris, S Singh
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
652007
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
591994
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
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
562001
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
541998
Expressing dynamic reconfiguration by partial evaluation.
S Singh, J Hogg, D McAuley
FCCM, 188-194, 1996
531996
The design and verification of a sorter core
K Claessen, M Sheeran, S Singh
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced …, 2001
512001
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
502006
A tutorial on parallel and concurrent programming in haskell
S Peyton Jones, S Singh
Advanced Functional Programming: 6th International School, AFP 2008, Heijen …, 2009
492009
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
442011
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
442009
Accelerating Adobe Photoshop with reconfigurable logic
S Singh, R Slous
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998
351998
Bed bug trap
KC Vasudeva, S Singh
US Patent 8,904,701, 2014
332014
The system can't perform the operation now. Try again later.
Articles 1–20