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:
7 × USA
Collaborated with:
A.Colin L.Ceze Kiwan Maeng Emily Ruppel B.Ransford J.Devietti Bradley Denby S.Biswas M.D.Bond N.Machado L.E.T.Rodrigues B.P.Wood Milijana Surbatovich L.Jia Graham Gobieski N.Beckmann M.Zhang M.Oskin Graham Harvey A.P.Sample C.DeLozier Ariel Eizenberg L.Effinger-Dean D.Grossman H.Boehm R.Zhang Vignesh Balaji
Talks about:
intermitt (9) system (7) program (5) energi (5) concurr (4) harvest (3) region (3) execut (3) comput (3) task (3)

Person: Brandon Lucia

DBLP DBLP: Lucia:Brandon

Contributed to:

CGO 20152015
OOPSLA 20152015
PLDI 20152015
ASPLOS 20132013
OOPSLA 20122012
PLDI 20112011
ASPLOS 20092009
CC 20182018
OOPSLA 20162016
OOPSLA 20172017
OOPSLA 20192019
PLDI 20192019
ASPLOS 20162016
ASPLOS 20182018
ASPLOS 20192019
ASPLOS 20202020

Wrote 20 papers:

CGO-2015-LuciaC #concurrent #source code
Data provenance tracking for concurrent programs (BL, LC), pp. 146–156.
OOPSLA-2015-BiswasZBL #exception #named #performance
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
PLDI-2015-LuciaR #execution #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDI-2015-MachadoLR #concurrent #debugging #difference
Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.
ASPLOS-2013-LuciaC #empirical #parallel #source code #thread
Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
PLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
ASPLOS-2009-DeviettiLCO #memory management #multi #named
DMP: deterministic shared memory multiprocessing (JD, BL, LC, MO), pp. 85–96.
CC-2018-ColinL #composition #source code #termination
Termination checking and task decomposition for task-based intermittent programs (AC, BL), pp. 116–127.
OOPSLA-2016-ColinL #named #reliability #source code
Chain: tasks and channels for reliable intermittent programs (AC, BL), pp. 514–530.
OOPSLA-2017-MaengCL #execution #named
Alpaca: intermittent execution without checkpoints (KM, AC, BL), p. 30.
OOPSLA-2019-SurbatovichJL #debugging
I/O dependent idempotence bugs in intermittent systems (MS, LJ, BL), p. 31.
PLDI-2019-MaengL
Supporting peripherals in intermittent systems with just-in-time checkpoints (KM, BL), pp. 1101–1116.
PLDI-2019-RuppelL #concurrent #energy #transaction
Transactional concurrency control for intermittent, energy-harvesting computing systems (ER, BL), pp. 1085–1100.
ASPLOS-2016-ColinHLS #debugging #energy
An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems (AC, GH, BL, APS), pp. 577–589.
ASPLOS-2018-ColinRL #architecture #configuration management #energy
A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices (AC, ER, BL), pp. 767–781.
ASPLOS-2018-DeLozierELD #concurrent #named #thread
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably (CD, AE, BL, JD), pp. 286–300.
ASPLOS-2019-GobieskiLB #embedded
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems (GG, BL, NB), pp. 199–213.
ASPLOS-2020-DenbyL
Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System (BD, BL), pp. 939–954.
ASPLOS-2020-ZhangBBBL #architecture #consistency #memory management #named
Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency (RZ, SB, VB, MDB, BL), pp. 317–333.

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.