Richard B. Kieburtz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1976–2002
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | ISORC | Reactive Objects. | Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black |
| 1998 | ICFP | Taming Effects with Monadic Typing. | Richard B. Kieburtz |
| 1996 | ICSE | A Software Engineering Experiment in Software Component Generation. | Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton |
| 1987 | ASPLOS | A RISC Architecture for Symbolic Computation. | Richard B. Kieburtz |
| 1985 | ICSE | Software Templates. | Dennis M. Volpano, Richard B. Kieburtz |
| 1983 | POPL | Precise Typing of Abstract Data Type Specifications. | Richard B. Kieburtz |
| 1981 | ICDCS | A Distributed Operating System for the Stony Brook Multicomputer. | Richard B. Kieburtz |
| 1978 | ICSE | A Type-Checking Program Linkage System for Pascal. | Richard B. Kieburtz, W. Barabash, C. R. Hill |
| 1976 | ICSE | Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). | Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein |