BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Coons:Katherine_E=

Contributed to:

OOPSLA 20132013
PLDI 20102010
PPoPP 20102010
TACAS 20102010
ASPLOS 20092009
ASPLOS 20062006

Wrote 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.

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.