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 × China
1 × Estonia
Collaborated with:
N.P.Lopes C.Popeea A.Rybalchenko A.Gupta
Talks about:
softwar (2) verifi (2) contribut (1) competit (1) synthes (1) proof (1) claus (1) rule (1) horn (1) base (1)

Person: Sergey Grebenshchikov

DBLP DBLP: Grebenshchikov:Sergey

Contributed to:

PLDI 20122012
TACAS 20122012

Wrote 2 papers:

PLDI-2012-GrebenshchikovLPR #proving #verification
Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.
TACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification
HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.

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.