| 2016 | ECOOP | Object Inheritance Without Classes. | Timothy Jones, Michael Homer, James Noble, Kim B. Bruce |
| 2016 | OOPSLA | The left hand of equals. | James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller |
| 2014 | ECOOP | Graceful Dialects. | Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black |
| 2013 | SIGCSE | Seeking grace: a new object-oriented language for novices. | Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow |
| 2012 | DLS | Patterns as objects in grace. | Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce |
| 2012 | OOPSLA | Grace: the absence of (inessential) difficulty. | Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble |
| 2010 | OOPSLA | Panel: designing the next educational programming language. | Andrew P. Black, Kim B. Bruce, James Noble |
| 2010 | SIGCSE | Introducing concurrency in CS 1. | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
| 2010 | SIGCSE | Recognizing the most influential CS education papers. | David G. Kay, Kim B. Bruce, Michael J. Clancy, Nell B. Dale, Mark Guzdial, Eric Roberts |
| 2009 | SIGCSE | Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. | Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges |
| 2006 | SIGCSE | The ACM java task force: final report. | Eric Roberts, Kim B. Bruce, James H. Cross II, Robb Cutler, Scott Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin |
| 2005 | SIGCSE | Resolved: objects early has failed. | Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Klling, Stuart Reges |
| 2005 | SIGCSE | Objects-early tools: a demonstration. | Joe Bergin, Kim B. Bruce, Michael Klling |
| 2005 | SIGCSE | Using abstractions to make concepts concrete. | Kim B. Bruce |
| 2005 | SIGCSE | Why structural recursion should be taught before arrays in CS 1. | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
| 2005 | SIGCSE | The ACM java task force: status report. | Eric Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin |
| 2004 | ECOOP | LOOJ: Weaving LOOM into Java. | Kim B. Bruce, J. Nathan Foster |
| 2004 | ITiCSE | Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. | Kim B. Bruce |
| 2004 | OOPSLA | Event-driven programming facilitates learning standard programming concepts. | Kim B. Bruce, Andrea Pohoreckyj Danyluk |
| 2004 | SIGCSE | The 2003 model curriculum for a liberal arts degree in computer science: preliminary report. | Alyce Brady, Kim B. Bruce, Robert E. Noonan, Allen B. Tucker, Henry MacKay Walker |
| 2001 | ITiCSE | Event-driven programming is simple enough for CS1. | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
| 2001 | SIGCSE | A library to support a graphics-based object-first approach to CS 1. | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
| 2001 | SIGCSE | Our curriculum has become math-phobic! | Allen B. Tucker, Charles Kelemen, Kim B. Bruce |
| 2000 | ITiCSE | Has our curriculum become math-phobic? (an American perspective). | Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce |
| 1999 | SIGCSE | Formal semantics and interpreters in a principles of programming languages course. | Kim B. Bruce |
| 1998 | ECOOP | A Statically Safe Alternative to Virtual Types. | Kim B. Bruce, Martin Odersky, Philip Wadler |
| 1998 | SIGCSE | Panel: logic in the computer science curriculum. | Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi |
| 1997 | ECOOP | Subtyping Is Not a Good "Match" for Object-Oriented Languages. | Kim B. Bruce, Leaf Petersen, Adrian Fiech |
| 1995 | ECOOP | PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. | Kim B. Bruce, Angela Schuett, Robert van Gent |
| 1994 | SIGCSE | Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. | Kim B. Bruce |
| 1994 | SIGCSE | Describing the CS forest to undergraduates (abstract). | Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom P. Whaley |
| 1993 | MFPS | An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. | Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy |
| 1993 | OOPSLA | Safe and Decidable Type Checking in an Object-Oriented Language. | Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller |
| 1993 | POPL | Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. | Kim B. Bruce |
| 1992 | POPL | PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. | Kim B. Bruce, John C. Mitchell |
| 1991 | MFPS | The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. | Kim B. Bruce |
| 1988 | LICS | A Modest Model of Records, Inheritance and Bounded Quantification | Kim B. Bruce, Giuseppe Longo |
| 1987 | MFPS | The Semantics of Miranda's Algebraic Types. | Kim B. Bruce, Jon G. Riecke |
| 1986 | LICS | The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations | Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo |
| 1985 | STOC | Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) | Kim B. Bruce, Giuseppe Longo |