BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Hungary
2 × France
2 × Italy
2 × USA
Collaborated with:
D.Kröning M.D.Vos P.Schrammel F.Schanda M.N.Seghir ∅ V.D'Silva A.Griggio L.Haller S.Joshi C.David G.Boenn J.ffitch O.Cliffe J.A.Padget T.Crick J.P.Fitch A.Niemetz M.Preiner A.Reynolds C.W.Barrett C.Tinelli
Talks about:
program (6) answer (5) set (5) verif (3) use (3) abstract (2) declar (2) point (2) float (2) superoptimis (1)

Person: Martin Brain

DBLP DBLP: Brain:Martin

Contributed to:

SAS 20152015
ESOP 20142014
SAS 20132013
VMCAI 20132013
ICLP 20122012
LOPSTR 20122012
ICLP 20082008
ICLP 20062006
CAV (2) 20192019

Wrote 11 papers:

SAS-2015-Brain0KS #invariant #safety #verification
Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
ESOP-2014-BrainDKS #generative #proving #source code
Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
SAS-2013-BrainDGHK #float #source code #verification
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
VMCAI-2013-BrainDHGK #abstract interpretation
An Abstract Interpretation of DPLL(T) (MB, VD, LH, AG, DK), pp. 455–475.
ICLP-2012-SchandaB #development #programming #set #using
Using Answer Set Programming in the Development of Verified Software (FS, MB), pp. 72–85.
LOPSTR-2012-SeghirB #array #program transformation #quantifier #verification
Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
ICLP-2008-BoennBVF #automation #composition #music #programming #set
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (GB, MB, MDV, Jf), pp. 160–174.
ICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
ICLP-2006-Brain #declarative #problem #semantics #set #using
Declarative Problem Solving Using Answer Set Semantics (MB), pp. 459–460.
ICLP-2006-BrainCVF #named #programming #set
TOAST: Applying Answer Set Programming to Superoptimisation (MB, TC, MDV, JPF), pp. 270–284.
CAV-2019-BrainNPRBT #float
Invertibility Conditions for Floating-Point Formulas (MB, AN, MP, AR, CWB, CT), pp. 116–136.
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.