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 × Germany
1 × United Kingdom
2 × USA
Collaborated with:
E.Yahav E.R.Altman M.Arnold N.Mitchell M.Vaziri F.Tip J.Dolby S.Shoham M.Pistoia A.Loginov S.Chandra N.Rinetzky M.G.Nanda
Talks about:
analysi (2) use (2) automata (1) abstract (1) program (1) perform (1) derefer (1) verifi (1) static (1) specif (1)

Person: Stephen Fink

DBLP DBLP: Fink:Stephen

Contributed to:

OOPSLA 20102010
ISSTA 20082008
ECOOP 20072007
ISSTA 20072007

Wrote 4 papers:

OOPSLA-2010-AltmanAFM #analysis #performance #source code
Performance analysis of idle programs (ERA, MA, SF, NM), pp. 739–753.
ISSTA-2008-LoginovYCFRN #analysis #safety #verification
Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
ECOOP-2007-VaziriTFD #declarative #using
Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.
ISSTA-2007-ShohamYFP #abstraction #mining #specification #using
Static specification mining using automata-based abstractions (SS, EY, SF, MP), pp. 174–184.

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.