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 | 1002 | 2000 |
Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh Acm Sigplan Notices 34 (1), 174-184, 1998 | 581 | 1998 |
Runtime support for multicore Haskell S Marlow, S Peyton Jones, S Singh Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009 | 191 | 2009 |
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 | 181 | 1997 |
Kiwi: Synthesis of FPGA circuits from parallel programs S Singh, DJ Greaves 2008 16th International Symposium on Field-Programmable Custom Computing …, 2008 | 136 | 2008 |
Computing without Processors: Heterogeneous systems allow us to target our programming to the appropriate environment. S Singh Queue 9 (6), 50-63, 2011 | 82 | 2011 |
An asynchronous messaging library for c G Chrysanthakopoulos, S Singh | 74 | 2005 |
Feedback directed implicit parallelism T Harris, S Singh Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 68 | 2007 |
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 | 60 | 2001 |
Parallel performance tuning for Haskell D Jones Jr, S Marlow, S Singh Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 81-92, 2009 | 58 | 2009 |
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 | 58 | 1994 |
Expressing dynamic reconfiguration by partial evaluation Singh, Hogg, McAuley 1996 Proceedings IEEE Symposium on FPGAs for Custom Computing Machines, 188-194, 1996 | 55 | 1996 |
The design and verification of a sorter core K Claessen, M Sheeran, S Singh Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 53 | 2001 |
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 | 53 | 1998 |
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 | 52 | 2006 |
A tutorial on parallel and concurrent programming in haskell S Peyton Jones, S Singh International School on Advanced Functional Programming, 267-305, 2008 | 49 | 2008 |
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 | 48 | 2011 |
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 | 42 | 2009 |
Accelerating Adobe Photoshop with reconfigurable logic S Singh, R Slous Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998 | 35 | 1998 |
Microwave melting and processing of metal–ceramic composite castings S Singh, D Gupta, V Jain Proceedings of the Institution of Mechanical Engineers, Part B: Journal of …, 2018 | 32 | 2018 |