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 × France
1 × New Zealand
1 × USA
Collaborated with:
M.Vakilian D.Dig R.L.B.Jr. V.S.Adve M.Gligoric F.Behrang Y.Li M.Hafiz D.Marinov R.E.Johnson S.V.Adve S.Heumann R.Komuravelli P.Simmons H.Sung
Talks about:
effect (2) determinist (1) systemat (1) refactor (1) parallel (1) summari (1) softwar (1) project (1) system (1) region (1)

Person: Jeffrey Overbey

DBLP DBLP: Overbey:Jeffrey

Contributed to:

ECOOP 20132013
ASE 20092009
OOPSLA 20092009

Wrote 3 papers:

ECOOP-2013-GligoricBLOHM #refactoring #testing
Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
ASE-2009-VakilianDBOAJ #summary
Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
OOPSLA-2009-BocchinoADAHKOSSV #java #parallel
A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.

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.