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 × Austria
1 × Germany
1 × Ireland
2 × USA
Collaborated with:
W.Chin S.Qin C.David A.Hobor Q.L.Le R.Voicu F.Craciun
Talks about:
calculus (2) verif (2) translat (1) structur (1) disjunct (1) support (1) special (1) program (1) manipul (1) concurr (1)

Person: Cristian Gherghina

DBLP DBLP: Gherghina:Cristian

Contributed to:

CAV 20142014
CAV 20112011
ESOP 20112011
FM 20112011
PEPM 20092009

Wrote 5 papers:

CAV-2014-LeGQC #analysis #higher-order
Shape Analysis via Second-Order Bi-Abduction (QLL, CG, SQ, WNC), pp. 52–68.
CAV-2011-ChinGVLCQ #calculus #verification
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
ESOP-2011-HoborG #concurrent #logic
Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.
FM-2011-GherghinaDQC #source code #specification #verification
Structured Specifications for Better Verification of Heap-Manipulating Programs (CG, CD, SQ, WNC), pp. 386–401.
PEPM-2009-DavidGC #calculus #exception #optimisation
Translation and optimization for a core calculus with exceptions (CD, CG, WNC), pp. 41–50.

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.