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 × United Kingdom
Collaborated with:
I.Dillig C.Rodríguez S.K.Lahiri V.D'Silva D.Kroening D.Vytiniotis T.Dillig C.Gkantsidis H.T.T.Nguyen C.Coti L.Petrucci
Talks about:
verifi (2) interpret (1) cartesian (1) properti (1) function (1) consolid (1) abstract (1) program (1) partial (1) unfold (1)

Person: Marcelo Sousa

DBLP DBLP: Sousa:Marcelo

Contributed to:

PLDI 20142014
CAV (2) 20172017
CAV (2) 20182018
OOPSLA 20182018
PLDI 20162016

Wrote 5 papers:

PLDI-2014-SousaDVDG #query
Consolidation of queries with user-defined functions (MS, ID, DV, TD, CG), p. 56.
CAV-2017-SousaRDK #abstract interpretation
Abstract Interpretation with Unfoldings (MS, CR, VD, DK), pp. 197–216.
CAV-2018-NguyenRSCP #partial order #reduction
Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.
Verified three-way program merge (MS, ID, SKL), p. 29.
PLDI-2016-SousaD #hoare #logic #verification
Cartesian hoare logic for verifying k-safety properties (MS, ID), pp. 57–69.

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.