Travelled to:1 × USA
Collaborated with:H.S.Gunawi T.Leesatapornwongsa S.Lu M.Hao P.Joshi H.Liu Guangpu Li J.Li C.T.0002
Talks about:system (3) bug (3) distribut (2) concurr (2) cloud (2) determinist (1) discoveri (1) taxonomi (1) datacent (1) automat (1)
Person: Jeffrey F. Lukman
DBLP: Lukman:Jeffrey_F=
Contributed to:
2014
20162017Wrote 3 papers:
- OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
- SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
- ASPLOS-2016-Leesatapornwongsa #concurrent #debugging #distributed #named #nondeterminism #taxonomy
- TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.
- ASPLOS-2017-LiuLLLLGT #automation #concurrent #debugging #detection #distributed #named
- DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.