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: Fink:Stephen
Contributed to:
2010
2008
20072007Wrote 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.