Katherine E. Coons

According to our database, Katherine E. Coons authored at least 11 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Bounded partial-order reduction.

Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011

The Good Block: Hardware/Software Design for Composable, Block-Atomic Processors.

Bertrand A. Maher, Katherine E. Coons, Kathryn S. McKinley, Doug Burger

Proceedings of the 15th Workshop on Interaction between Compilers and Computer Architectures, 2011

2010

Preemption Sealing for Efficient Concurrency Testing.

Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

GAMBIT: effective unit testing for concurrency libraries.

Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

PACER: proportional detection of data races.

Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Evolving Compiler Heuristics to Manage Communication and Contention.

Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

An evaluation of the TRIPS computer system.

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

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008

Strategies for mapping dataflow blocks to distributed hardware.

Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

Register Bank Assignment for Spatially Partitioned Processors.

Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Feature selection and policy optimization for distributed instruction placement using reinforcement learning.

Katherine E. Coons, Behnam Robatmili, Matthew E. Taylor, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley

Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008

2006

A spatial path scheduling algorithm for EDGE architectures.

Katherine E. Coons, Xia Chen, Doug Burger, Kathryn S. McKinley, Sundeep K. Kushwaha

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006