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 × Turkey
19 × USA
2 × United Kingdom
Collaborated with:
D.Grossman B.Lucia T.Bergan A.Sampson K.Strauss B.P.Wood J.Devietti M.Oskin J.Torrellas C.v.Praun J.Nelson N.Hunt S.D.Gribble Henrique S. Malvar O.Anderson C.Cascaval E.Fortuna J.Bornholt H.Esmaeilzadeh J.Tuck W.Ahn B.Boston B.Holt P.Briggs D.Burger S.J.Eggers P.Montesinos E.Torlak Q.Guo D.Jevdjic M.F.Ringenburg I.Ackerman L.Effinger-Dean H.Boehm A.Gutierrez M.Cieslak B.Giridhar R.G.Dreslinski T.N.Mudge P.Panchekha T.Mytkowicz K.S.McKinley W.Dietl D.Gnanapragasam Randolph Lopez Douglas M. Carmean Georg Seelig M.Liu Liang Luo A.Krishnamurthy Kishore Atreya T.Moreau M.Wyse W.Liu J.Renau J.G.Castaños M.Denneau M.Gupta D.Lieber J.E.Moreira H.S.W.Jr. Max Willsey Ashley P. Stephenson Chris Takahashi Pranav Vaid Bichlien H. Nguyen Michal Piszczek Christine Betts Sharon Newman Sarang Joshi
Talks about:
program (9) approxim (7) multithread (5) comput (5) data (5) determinist (4) architectur (4) support (3) system (3) storag (3)

Person: Luis Ceze

DBLP DBLP: Ceze:Luis

Facilitated 1 volumes:

ASPLOS 2020Ed

Contributed to:

ASPLOS 20152015
CGO 20152015
HPCA 20152015
OOPSLA 20152015
ASPLOS 20142014
OOPSLA 20142014
PLDI 20142014
ASPLOS 20132013
OOPSLA 20132013
ASPLOS 20122012
OOPSLA 20122012
ASPLOS 20112011
HPCA 20112011
PLDI 20112011
ASPLOS 20102010
OOPSLA 20102010
OSDI 20102010
ASPLOS 20092009
ASPLOS 20082008
HPCA 20072007
PPoPP 20072007
PPoPP 20062006
HPCA 20022002
POPL 20162016
ASPLOS 20162016
ASPLOS 20172017
ASPLOS 20192019

Wrote 33 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.
CGO-2015-LuciaC #concurrent #source code
Data provenance tracking for concurrent programs (BL, LC), pp. 146–156.
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.
ASPLOS-2014-GutierrezCGDCM #3d #design #physics
Integrated 3D-stacked server designs for increasing physical density of key-value stores (AG, MC, BG, RGD, LC, TNM), pp. 485–498.
ASPLOS-2014-WoodCG #detection #low level
Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLA-2014-HoltBCO #automation #locality #migration #named
Alembic: automatic locality extraction via migration (BH, PB, LC, MO), pp. 879–894.
PLDI-2014-SampsonPMMGC #probability #verification
Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
ASPLOS-2013-HuntBCG #distributed #named #nondeterminism
DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
ASPLOS-2013-LuciaC #empirical #parallel #source code #thread
Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
OOPSLA-2013-BerganCG #parallel #source code #thread
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
ASPLOS-2012-EsmaeilzadehSCB #approximate #architecture #programming
Architecture support for disciplined approximate programming (HE, AS, LC, DB), pp. 301–312.
OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
ASPLOS-2011-DeviettiNBCG #consistency #named
RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
HPCA-2011-AndersonFCE #architecture #javascript #mobile
Checked Load: Architectural support for JavaScript type-checking on mobile processors (OA, EF, LC, SJE), pp. 419–430.
PLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
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.
ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
OOPSLA-2010-WoodSCG #communication #composition #specification
Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
OSDI-2010-BerganHCG #process
Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.
ASPLOS-2009-DeviettiLCO #memory management #multi #named
DMP: deterministic shared memory multiprocessing (JD, BL, LC, MO), pp. 85–96.
ASPLOS-2008-TuckACT #analysis #hardware #named #optimisation
SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.
HPCA-2007-CezeMPT #architecture #named
Colorama: Architectural Support for Data-Centric Synchronization (LC, PM, CvP, JT), pp. 133–144.
PPoPP-2007-PraunCC #order #parallel #transaction
Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.
PPoPP-2006-LiuTCASRT #compilation #named
POSH: a TLS compiler that exploits program structure (WL, JT, LC, WA, KS, JR, JT), pp. 158–167.
HPCA-2002-CascavalCCDGLMSW #architecture #evaluation #parallel #thread
Evaluation of a Multithreaded Architecture for Cellular Computing (CC, JGC, LC, MD, MG, DL, JEM, KS, HSWJ), pp. 311–322.
POPL-2016-BornholtTGC #optimisation #sketching #synthesis
Optimizing synthesis with metasketches (JB, ET, DG, LC), pp. 775–788.
ASPLOS-2016-BornholtLCCSS
A DNA-Based Archival Storage System (JB, RL, DMC, LC, GS, KS), pp. 637–649.
ASPLOS-2016-GuoSCM #approximate #image #memory management #using
High-Density Image Storage Using Approximate Memory Cells (QG, KS, LC, HSM), pp. 413–426.
ASPLOS-2017-JevdjicSCM #approximate
Approximate Storage of Compressed and Encrypted Videos (DJ, KS, LC, HSM), pp. 361–373.
ASPLOS-2017-LiuLNCKA #named #towards
IncBricks: Toward In-Network Computation with an In-Network Cache (ML, LL, JN, LC, AK, KA), pp. 795–809.
ASPLOS-2019-WillseySTVNPBNJ #framework #named #platform
Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform (MW, APS, CT, PV, BHN, MP, CB, SN, SJ, KS, LC), pp. 183–197.

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.