BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
3 × USA
Collaborated with:
P.Ferrara D.Dimitrov P.M.0001 M.T.Vechev D.Schweizer P.Müller H.Oh K.Yi O.Tripp M.Pistoia
Talks about:
analysi (5) serializ (2) develop (2) consist (2) static (2) access (2) touch (2) cost (2) criterion (1) independ (1)

Person: Lucas Brutschy

DBLP DBLP: Brutschy:Lucas

Contributed to:

OOPSLA 20152015
FASE 20142014
OOPSLA 20142014
VMCAI 20112011
POPL 20172017
PLDI 20182018

Wrote 6 papers:

OOPSLA-2015-BrutschyFTP #named #resource management
ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.
FASE-2014-FerraraSB #cost analysis #named
TouchCost: Cost Analysis of TouchDevelop Scripts (PF, DS, LB), pp. 109–124.
OOPSLA-2014-BrutschyF0 #developer #independence #static analysis
Static analysis for independent app developers (LB, PF, PM), pp. 847–860.
VMCAI-2011-OhBY #locality
Access Analysis-Based Tight Localization of Abstract Memories (HO, LB, KY), pp. 356–370.
POPL-2017-BrutschyD0V #analysis #consistency
Serializability for eventual consistency: criterion, analysis, and applications (LB, DD, PM0, MTV), pp. 458–472.
PLDI-2018-BrutschyD0V #analysis #consistency
Static serializability analysis for causal consistency (LB, DD, PM0, MTV), pp. 90–104.

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.