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: Ceze:Luis
Facilitated 1 volumes:
EdContributed to:
2015
2015
2015
201520142014
2014201320132012201220112011201120102010
2010200920082007
200720062002
2016201620172019Wrote 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.