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 × France
2 × Italy
Collaborated with:
P.Müller A.J.Summers M.Sridharan S.Chandra I.T.Kassios K.R.M.Leino E.Schkufza R.S.0001 A.Aiken
Talks about:
abstract (3) permiss (3) fraction (2) synthesi (1) stratifi (1) instruct (1) function (1) without (1) generat (1) automat (1)

Person: Stefan Heule

DBLP DBLP: Heule:Stefan

Contributed to:

ESEC/FSE 20152015
ECOOP 20132013
VMCAI 20132013
PLDI 20162016

Wrote 4 papers:

ESEC-FSE-2015-HeuleSC #modelling #named
Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
VMCAI-2013-HeuleLMS
Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.
PLDI-2016-HeuleS0A #automation #learning #set #synthesis
Stratified synthesis: automatically learning the x86-64 instruction set (SH, ES, RS0, AA), pp. 237–250.
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.