Travelled to:1 × Turkey
2 × United Kingdom
4 × USA
Collaborated with:L.Ceze D.Grossman T.Mytkowicz K.S.McKinley H.Esmaeilzadeh B.Boston D.Burger B.P.Wood M.F.Ringenburg I.Ackerman P.Panchekha W.Dietl E.Fortuna D.Gnanapragasam T.Moreau M.Wyse J.Nelson M.Oskin
Talks about:approxim (5) program (4) comput (2) type (2) probabilist (1) architectur (1) heterogen (1) disciplin (1) structur (1) programm (1)
Person: Adrian Sampson
DBLP: Sampson:Adrian
Contributed to:
2015
2015
2015
20142012201120102017Wrote 8 papers:
- ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code
- Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
- HPCA-2015-MoreauWNSECO #approximate #named #programmable
- SNNAP: Approximate computing on programmable SoCs via neural acceleration (TM, MW, JN, AS, HE, LC, MO), pp. 603–614.
- OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference
- Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
- PLDI-2014-SampsonPMMGC #probability #verification
- Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
- ASPLOS-2012-EsmaeilzadehSCB #approximate #architecture #programming
- Architecture support for disciplined approximate programming (HE, AS, LC, DB), pp. 301–312.
- PLDI-2011-SampsonDFGCG #approximate #data type #named #power management
- EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
- OOPSLA-2010-WoodSCG #communication #composition #specification
- Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
- OOPSLA-2017-SampsonMM #programming
- Static stages for heterogeneous programming (AS, KSM, TM), p. 27.