| 2007 |
|---|
| 36 | EE | Satnam Singh:
Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective.
FPGA 2007: 133-135 |
| 35 | EE | Tim Harris,
Satnam Singh:
Feedback directed implicit parallelism.
ICFP 2007: 251-264 |
| 34 | EE | Satnam Singh:
New parallel programming techniques for hardware design.
VLSI-SoC 2007: 163-167 |
| 2006 |
|---|
| 33 | EE | 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 | EE | 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 | EE | Satnam Singh:
A Demonstration of Co-Design and Co-Verification in a Synchronous Language.
DATE 2004: 1394-1395 |
| 30 | EE | 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 | EE | Satnam Singh:
Designing Reconfigurable Systems in Lava.
VLSI Design 2004: 299-306 |
| 2003 |
|---|
| 28 | EE | Satnam Singh:
Design and Verification of CoreConnectTM IP Using Esterel.
CHARME 2003: 283-288 |
| 27 | EE | Satnam Singh:
System Level Specification in Lava.
DATE 2003: 10370-10375 |
| 26 | EE | Gérard Berry,
Michael Kishinevsky,
Satnam Singh:
System Level Design and Verification Using a Synchronous Language.
ICCAD 2003: 433-440 |
| 25 | EE | Koen Claessen,
Mary Sheeran,
Satnam Singh:
Using Lava to design and verify recursive and periodic sorters.
STTT 4(3): 349-358 (2003) |
| 2002 |
|---|
| 24 | EE | Satnam Singh:
Interface specification for reconfigurable components.
ICCAD 2002: 102-109 |
| 2001 |
|---|
| 23 | EE | Koen Claessen,
Mary Sheeran,
Satnam Singh:
The Design and Verification of a Sorter Core.
CHARME 2001: 355-369 |
| 22 | EE | Satnam Singh,
Philip James-Roxby:
Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits.
FPL 2001: 346-356 |
| 2000 |
|---|
| 21 | EE | Satnam Singh:
Death of the RLOC?
FCCM 2000: 145-152 |
| 20 | EE | Mary Sheeran,
Satnam Singh,
Gunnar Stålmarck:
Checking Safety Properties Using Induction and a SAT-Solver.
FMCAD 2000: 108-125 |
| 19 | EE | 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 | EE | Nicholas McKay,
Satnam Singh:
Debugging Techniques for Dynamically Reconfigurable Hardware.
FCCM 1999: 114-122 |
| 17 | EE | Satnam Singh,
Carl Johan Lillieroth:
Formal Verification of Reconfigurable Cores.
FCCM 1999: 25- |
| 16 | EE | 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 | EE | Satnam Singh,
Robert Slous:
Accelerating Adobe Photoshop with the Reconfigurable Logic.
FCCM 1998: 236-244 |
| 11 | EE | Nicholas McKay,
Thomas F. Melham,
Kong Woei Susanto,
Satnam Singh:
Dynamic Specialization of XC6200 FPGAs by Partial Evaluation.
FCCM 1998: 308-309 |
| 10 | EE | Nicholas McKay,
Satnam Singh:
Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation.
FPL 1998: 298-307 |
| 9 | EE | Donald MacVicar,
Satnam Singh:
Accelerating DTP with Reconfigurable Computing Engines.
FPL 1998: 391-395 |
| 8 | EE | 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 | EE | 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 | EE | 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 |
