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: Overbey:Jeffrey
Contributed to:
2013
2009
2009Wrote 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.