Katherine E. Coons

11 papers A* 5A 2B 2Unranked 2
YearRankTypeTitle / Venue / Authors
2013 A conf
Bounded partial-order reduction.
OOPSLA
Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley
2011 — conf
The Good Block: Hardware/Software Design for Composable, Block-Atomic Processors.
Interaction between Compilers and Computer Architectures
Bertrand A. Maher, Katherine E. Coons, Kathryn S. McKinley, Doug Burger
2010 A* conf
Evolving Compiler Heuristics to Manage Communication and Contention.
AAAI
Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley
2010 B conf
GAMBIT: effective unit testing for concurrency libraries.
PPoPP
Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi
2010 A* conf
PACER: proportional detection of data races.
PLDI
Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley
2010 A conf
Preemption Sealing for Efficient Concurrency Testing.
TACAS
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
2009 A* conf
An evaluation of the TRIPS computer system.
ASPLOS
Mark Gebhart, Bertrand A. Maher, Katherine E. Coons, Jeffrey R. Diamond, Paul Gratz, Mario Marino, Nitya Ranganathan, Behnam Robatmili, Aaron Smith, James H. Burrill, Stephen W. Keckler, Doug Burger, Kathryn S. McKinley
2008 B conf
Feature selection and policy optimization for distributed instruction placement using reinforcement learning.
PACT
Katherine E. Coons, Behnam Robatmili, Matthew E. Taylor, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley
2008 — conf
Register Bank Assignment for Spatially Partitioned Processors.
LCPC
Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley
2008 A* conf
Strategies for mapping dataflow blocks to distributed hardware.
MICRO
Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley
2006 A* conf
A spatial path scheduling algorithm for EDGE architectures.
ASPLOS
Katherine E. Coons, Xia Chen, Doug Burger, Kathryn S. McKinley, Sundeep K. Kushwaha