Travelled to:1 × Canada
1 × Cyprus
1 × India
3 × USA
Collaborated with:K.S.McKinley S.Burckhardt M.Musuvathi M.Musuvathi M.D.Bond D.Burger T.Ball S.Qadeer X.Chen S.K.Kushwaha M.Gebhart B.A.Maher J.R.Diamond P.Gratz M.Marino N.Ranganathan B.Robatmili A.Smith J.H.Burrill S.W.Keckler
Talks about:concurr (2) test (2) architectur (1) preemption (1) algorithm (1) spatial (1) schedul (1) proport (1) partial (1) librari (1)
Person: Katherine E. Coons
DBLP: Coons:Katherine_E=
Contributed to:
2013
2010
2010
2010
20092006Wrote 6 papers:
- OOPSLA-2013-CoonsMM #bound #partial order #reduction
- Bounded partial-order reduction (KEC, MM, KSM), pp. 833–848.
- PLDI-2010-BondCM #detection #named
- PACER: proportional detection of data races (MDB, KEC, KSM), pp. 255–268.
- PPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing
- GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.
- TACAS-2010-BallBCMQ #concurrent #performance #testing
- Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
- ASPLOS-2009-GebhartMCDGMRRSBKBM #evaluation
- An evaluation of the TRIPS computer system (MG, BAM, KEC, JRD, PG, MM, NR, BR, AS, JHB, SWK, DB, KSM), pp. 1–12.
- ASPLOS-2006-CoonsCBMK #algorithm #architecture #scheduling
- A spatial path scheduling algorithm for EDGE architectures (KEC, XC, DB, KSM, SKK), pp. 129–140.