Bruce W. Weide
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
8
Active years
1982–2016
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SIGCSE | Panel: Engage in Reasoning with Tools. | Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide |
| 2014 | SIGCSE | Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. | Murali Sitaraman, Bruce W. Weide |
| 2014 | SIGCSE | Syrus: providing practice problems in discrete mathematics with instant feedback. | Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide |
| 2013 | ICSR | A Language for Building Verified Software Components. | Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai |
| 2013 | SIGCSE | Engaging mathematical reasoning exercises. | Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide |
| 2009 | ICSR | Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? | Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide |
| 2009 | OOPSLA | Traditional assignment considered harmful. | Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide |
| 2007 | SIGCSE | Which pointer errors do students make? | Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide |
| 2007 | SEW | Abstracting Pointers for a Verifying Compiler. | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
| 2004 | SIGCSE | Components-first approaches to CS1/CS2: principles and practice. | Emily Howe, Matthew Thornton, Bruce W. Weide |
| 2004 | SIGCSE | Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. | Paolo A. G. Sivilotti, Bruce W. Weide |
| 2003 | ICDCS | Dynamic Module Replacement in Distributed Protocols. | Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide |
| 2002 | ICSR | Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. | Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci |
| 2002 | SIGCSE | Algorithms and object-oriented programming: bridging the gap. | Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide |
| 2001 | ICSE | A Formal Approach to Component-Based Software Engineering: Education and Evaluation. | Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang |
| 2001 | SIGCSE | Do we really teach abstraction? | Paolo Bucci, Timothy J. Long, Bruce W. Weide |
| 2001 | SIGCSE | Identifying an appropriate view of software components for undergraduate education. | Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide |
| 2000 | ICSR | Reasoning about Software-Component Behavior. | Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth |
| 2000 | SIGCSE | Checkmate: cornering C++ dynamic memory errors with checked pointers. | Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth |
| 1999 | SIGCSE | Client view first: an exodus from implementation-biased teaching. | Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman |
| 1998 | ICSR | A framework for detecting interface violations in component-based software. | Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth |
| 1998 | SIGCSE | Providing intellectual focus to CS1/CS2. | Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards |
| 1996 | ICSR | Characterizing observability and controllability of software components. | Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden |
| 1995 | ICSE | Reverse Engineering of Legacy Code Exposed. | Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth |
| 1990 | SEKE | The Role of Traditional Engineering Design Techniques in Software Engineering. | Michael P. Stovsky, Bruce W. Weide |
| 1989 | SEKE | Conceptualizing the Software Engineering Process. | Bruce W. Weide, Samuel DeFazio |
| 1985 | ICRA | GEM: Operating system primitives for robots and real-time control systems. | Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee |
| 1982 | ICDCS | Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. | M. Tamer zsu, Bruce W. Weide |