Richard B. Kieburtz

Dick Kieburtz

2007
38	EE	Richard B. Kieburtz: Programmed Strategies for Program Verification. Electr. Notes Theor. Comput. Sci. 174(10): 3-38 (2007)
37	EE	Richard B. Kieburtz: Strength Induction in a Haskell Program Verifier. Electr. Notes Theor. Comput. Sci. 193: 61-79 (2007)
2005
36	EE	William L. Harrison, Richard B. Kieburtz: The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005)
2003
35	EE	Magnus Carlsson, Johan Nordlander, Dick Kieburtz: The Semantic Layers of Timber. APLAS 2003: 339-356
2002
34	EE	Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black: Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 155-158
2001
33	EE	Richard B. Kieburtz: A Logic for Rewriting Strategies. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
2000
32	EE	Richard B. Kieburtz: Implementing Closed Domain-Specific Languages. SAIG 2000: 1-2
1999
31	EE	Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36
1998
30	EE	Richard B. Kieburtz: Taming Effects with Monadic Typing. ICFP 1998: 51-62
29		Richard B. Kieburtz: Reactive functional programming. PROCOMET 1998: 263-284
1996
28	EE	Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton: A Software Engineering Experiment in Software Component Generation. ICSE 1996: 542-552
1995
27		Richard B. Kieburtz, Jeffrey Lewis: Programming with Algebras. Advanced Functional Programming 1995: 267-307
26		Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou: Calculating Software Generators from Solution Specifications. TAPSOFT 1995: 546-560
1994
25	EE	Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou: Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada 1994: 396-404
1992
24		Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson: Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. SIGPLAN Notices 27(5): R1-R164 (1992)
1987
23		Richard B. Kieburtz: A RISC Architecture for Symbolic Computation. ASPLOS 1987: 146-155
1986
22		Richard B. Kieburtz: Performance measurement of a G-machine implementation. Graph Reduction 1986: 275-296
21		Richard B. Kieburtz: When Chasing Your Tail Saves Time. Inf. Process. Lett. 23(6): 321-324 (1986)
1985
20		Richard B. Kieburtz: The G-Machine: A Fast, Graph-Reduction Evaluator. FPCA 1985: 400-413
19		Dennis M. Volpano, Richard B. Kieburtz: Software Templates. ICSE 1985: 55-61
18		Richard B. Kieburtz, Bengt Nordström: The Design of Apple - A Language for Modular Programs. Comput. Lang. 10(1): 1-22 (1985)
17		Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin: Workshop on Models and Languages for Software Specification and Design. IEEE Computer 18(3): 103-108 (1985)
1984
16		John S. Givler, Richard B. Kieburtz: Schema Recognition for Program Transformations. LISP and Functional Programming 1984: 74-84
1983
15		Richard B. Kieburtz: Precise Typing of Abstract Data Type Specifications. POPL 1983: 109-116
14	EE	Richard B. Kieburtz, Abraham Silberschatz: Access-Right Expressions. ACM Trans. Program. Lang. Syst. 5(1): 78-96 (1983)
1982
13		Richard B. Kieburtz, Abraham Silberschatz: On the Static Access-Control Mechanism in Concurrent Pascal. Comput. J. 25(1): 17-21 (1982)
1981
12		Richard B. Kieburtz: A Distributed Operating System for the Stony Brook Multicomputer. ICDCS 1981: 67-78
11		John L. Hennessy, Richard B. Kieburtz: The Formal Definition of a Real-Time Language. Acta Inf. 16: 309-345 (1981)
1980
10	EE	Ajit B. Pai, Richard B. Kieburtz: Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers. ACM Trans. Program. Lang. Syst. 2(1): 18-41 (1980)
1979
9	EE	Ajit B. Pai, Richard B. Kieburtz: Global context recovery: A new strategy for parser recovery from syntax errors. SIGPLAN Symposium on Compiler Construction 1979: 158-167
8	EE	Richard B. Kieburtz, Abraham Silberschatz: Comments on ``Communicating Sequential Processes''. ACM Trans. Program. Lang. Syst. 1(2): 218-225 (1979)
1978
7		Richard B. Kieburtz, W. Barabash, C. R. Hill: A Type-Checking Program Linkage System for Pascal. ICSE 1978: 23-28
6		Richard B. Kieburtz, Abraham Silberschatz: Capability Managers. IEEE Trans. Software Eng. 4(6): 467-477 (1978)
1977
5		Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management. IEEE Trans. Software Eng. 3(3): 210-217 (1977)
1976
4	EE	Richard B. Kieburtz: Programming without Pointer Variables. Conference on Data: Abstraction, Definition and Structure 1976: 95-107
3		Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). ICSE 1976: 236
1972
2		Richard B. Kieburtz, David C. Luckham: Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1(4): 313-332 (1972)
1971
1		Richard B. Kieburtz, E. E. Newhall: Balanced Magnetic Circuits for Logic and Memory Devices. Advances in Computers 11: 231-317 (1971)

Coauthor Index

1	Robert G. Babb II	[17]
2	W. Barabash	[7]
3	Jeffrey M. Bell	[25] [26] [28]
4	Françoise Bellegarde (Françoise Bellegarde-Webb)	[25] [26]
5	Arthur J. Bernstein	[3] [5]
6	Andrew P. Black	[34]
7	Brian Boutel	[24]
8	Magnus Carlsson	[34] [35]
9	Byron Cook	[31]
10	Jon Fairbairn	[24]
11	Joseph H. Fasel	[24]
12	Susan Gearhart	[17]
13	John S. Givler	[16]
14	María M. Guzmán	[24]
15	Kevin Hammond	[24]
16	William L. Harrison	[36]
17	John L. Hennessy	[11]
18	C. R. Hill	[7]
19	James Hook	[25] [26] [28]
20	Paul Hudak	[24]
21	John Hughes	[24]
22	Thomas Johnsson	[24]
23	Mark P. Jones	[34]
24	Simon L. Peyton Jones	[24]
25	Alex Kotov	[25] [28]
26	John Launchbury	[31]
27	Jeffrey Lewis	[25] [26] [27] [28]
28	David C. Luckham	[2]
29	Nancy N. Martin	[17]
30	John Matthews	[31]
31	Laura McKinney	[25] [28]
32	Ali Mili	[17]
33	E. E. Newhall	[1]
34	Rishiyur S. Nikhil	[24]
35	Johan Nordlander	[34] [35]
36	Bengt Nordström	[18]
37	Dino Oliva	[25] [26] [28]
38	Ken Orr	[17]
39	Ajit B. Pai	[9] [10]
40	Will Partain	[24]
41	John Peterson	[24]
42	Tim Sheard	[25] [26] [28]
43	Abraham Silberschatz (Avi Silberschatz)	[3] [5] [6] [8] [13] [14]
44	Ira Smith	[28]
45	L. Tong	[25]
46	Dennis M. Volpano	[19]
47	Philip Wadler	[24]
48	Lisa Walton	[25] [26] [28]
49	Tong Zhou	[25] [26]

Colors in the list of coauthors