BibSLEIGH — Brandon

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: Lucia:Brandon

Contributed to:

2015

2013

2012

2011

2009

2018

2016

2017

2019

2016

2018

2019

2020

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.