BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × India
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Germany
2 × Japan
Collaborated with:
S.L.P.Jones ∅ S.Marlow T.Harris D.R.Ghica A.I.Smith A.Routray A.Rajaguru A.Kodali K.R.Pattipati D.J.Jr. P.Bjesse K.Claessen M.Sheeran A.Discolo
Talks about:
haskel (5) parallel (3) hardwar (2) design (2) fault (2) lava (2) data (2) intermitt (1) techniqu (1) synthesi (1)

Person: Satnam Singh

DBLP DBLP: Singh:Satnam

Contributed to:

ICFP 20112011
CASE 20102010
CASE 20092009
ICFP 20092009
AFP 20082008
ICFP 20072007
FLOPS 20062006
DATE v2 20042004
DATE 20032003
ICFP 19981998
Haskell 20092009

Wrote 11 papers:

ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
CASE-2010-RoutrayRS #clustering #detection #fault #reduction
Data reduction and clustering techniques for fault detection and diagnosis in automotives (AR, AR, SS), pp. 326–331.
CASE-2009-SinghKP #fault #markov #multi
A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults (SS, AK, KRP), pp. 146–151.
ICFP-2009-MarlowJS #haskell #manycore #runtime
Runtime support for multicore Haskell (SM, SLPJ, SS), pp. 65–78.
AFP-2008-JonesS08 #concurrent #haskell #parallel #programming #tutorial
A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.
ICFP-2007-HarrisS #feedback #parallel
Feedback directed implicit parallelism (TH, SS), pp. 251–264.
FLOPS-2006-DiscoloHMJS #data type #haskell #using
Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.
DATE-v2-2004-Singh #co-evolution #design
A Demonstration of Co-Design and Co-Verification in a Synchronous Language (SS), pp. 1394–1395.
DATE-2003-Singh #specification
System Level Specification in Lava (SS), pp. 10370–10375.
ICFP-1998-BjesseCSS #design #hardware #haskell #named
Lava: Hardware Design in Haskell (PB, KC, MS, SS), pp. 174–184.
Haskell-2009-JonesMS #haskell #parallel #performance
Parallel performance tuning for Haskell (DJJ, SM, SS), pp. 81–92.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.