Travelled to:
1 × India
1 × Switzerland
1 × United Kingdom
2 × Italy
8 × USA
Collaborated with:
J.Yi ∅ C.Flanagan S.G.Elbaum S.Kurniawan C.Lewis Z.Lin X.Zhu E.J.W.Jr. K.T.Stolee S.Kim R.P.L.Buse W.Weimer S.N.Freund J.v.Gogh C.Jaspan E.Söderberg C.Winter H.Seo E.Aftandilian R.W.Bowdidge Y.Smaragdakis J.Evans S.Burckhardt D.Leijen T.Ball R.Ou B.Johnson R.Pandita J.S.0001 D.Ford S.Elder E.R.Murphy-Hill S.Heckman
Talks about:
program (6) studi (5) develop (4) case (4) parallel (3) analysi (3) googl (3) tool (3) race (3) predict (2)
Person: Caitlin Sadowski
DBLP: Sadowski:Caitlin
Facilitated 3 volumes:
Contributed to:
Wrote 16 papers:
- ESEC-FSE-2015-SadowskiSE #case study #developer #how
- How developers search for code: a case study (CS, KTS, SGE), pp. 191–201.
- ICSE-v1-2015-SadowskiGJSW #ecosystem #named #program analysis
- Tricorder: Building a Program Analysis Ecosystem (CS, JvG, CJ, ES, CW), pp. 598–608.
- ICSE-2014-SeoSEAB #case study #fault
- Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.
- PLATEAU-2014-SadowskiY #concurrent #detection #developer #how #tool support
- How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
- ICSE-2013-LewisLSZOW #case study #debugging #developer #predict
- Does bug prediction support human developers? findings from a google case study (CL, ZL, CS, XZ, RO, EJWJ), pp. 372–381.
- MSR-2012-SadowskiYK #evolution
- The evolution of data races (CS, JY, SK), pp. 171–174.
- POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict
- Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
- ICSE-2011-Sadowski #maintenance #modelling #parallel
- Mental models and parallel program maintenance (CS), pp. 1102–1105.
- MSR-2011-SadowskiLLZW #algorithm #analysis #empirical
- An empirical analysis of the FixCache algorithm (CS, CL, ZL, XZ, EJWJ), pp. 219–222.
- OOPSLA-2011-BurckhardtLSYB #incremental #parallel
- Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
- OOPSLA-2011-BuseSW #evaluation #re-engineering #research
- Benefits and barriers of user evaluation in software engineering research (RPLB, CS, WW), pp. 643–656.
- PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language
- Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
- PPoPP-2011-YiSF #execution #reasoning
- Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
- ESOP-2009-SadowskiFF #named #parallel #source code #thread
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
- FSE-2016-JohnsonPSFEMHS #communication #program analysis
- A cross-tool communication study on program analysis tool notifications (BJ, RP, JS0, DF, SE, ERMH, SH, CS), pp. 73–84.
- FSE-2016-Sadowski #developer #workflow
- Developer workflow at google (showcase) (CS), p. 26.