BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.J.Summers M.Eilers C.Urban L.Brutschy D.Dimitrov M.T.Vechev S.Hitz Arshavir Ter-Gabrielyan A.Bugariu V.Wüstholz M.Christakis D.Asenov B.Guenat M.Otth M.Hassan Vytautas Astrauskas Federico Poli J.Dohrau S.Münger
Talks about:
modular (4) program (3) verif (3) serializ (2) abstract (2) version (2) control (2) consist (2) analysi (2) static (2)

Person: Peter Müller 0001

DBLP DBLP: 0001:Peter_M=uuml=ller

Facilitated 1 volumes:

ECOOP 2017Ed

Contributed to:

ASE 20182018
ESOP 20162016
FASE 20172017
ESOP 20182018
CAV (1) 20182018
CAV (2) 20182018
OOPSLA 20192019
POPL 20172017
PLDI 20182018

Wrote 12 papers:

ASE-2018-BugariuWC0 #abstract domain #automation #implementation #testing
Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.
ESOP-2016-Summers0 #composition #message passing #source code #verification
Actor Services - Modular Verification of Message Passing Programs (AJS, PM0), pp. 699–726.
FASE-2017-AsenovG0O #precise #version control
Precise Version Control of Trees with Line-Based Version Control Systems (DA, BG, PM0, MO), pp. 152–169.
ESOP-2018-EilersMH #composition #source code
Modular Product Programs (ME, PM0, SH), pp. 502–529.
ESOP-2018-UrbanM #abstract interpretation #framework
An Abstract Interpretation Framework for Input Data Usage (CU, PM0), pp. 683–710.
CAV-2018-Eilers0 #named #python #verification
Nagini: A Static Verifier for Python (ME, PM0), pp. 596–603.
CAV-2018-DohrauSUM0 #array #source code
Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.
CAV-2018-HassanUE0 #python #type inference
MaxSMT-Based Type Inference for Python 3 (MH, CU, ME, PM0), pp. 12–19.
OOPSLA-2019-Astrauskas0PS #composition #rust #specification #verification
Leveraging rust types for modular specification and verification (VA, PM0, FP, AJS), p. 30.
OOPSLA-2019-Ter-GabrielyanS #composition #logic #reachability #verification
Modular verification of heap reachability properties in separation logic (ATG, AJS, PM0), p. 28.
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.