dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

R. Kent Dybvig Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, R. Kent Dybvig: Register Allocation By Model Transformer Semantics CoRR abs/1202.5539: (2012)
2011
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig: Flow-sensitive type recovery in linear-log time. OOPSLA 2011: 483-498
2009
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig: The Scheme Programming Language (4. ed.). MIT Press 2009: I-XII, 1-491
2008
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Adams, R. Kent Dybvig: Efficient nondestructive equality checking for trees and graphs. ICFP 2008: 179-188
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)
2007
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdulaziz Ghuloum, R. Kent Dybvig: Implicit phasing for R6RS libraries. ICFP 2007: 303-314
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry: A monadic framework for delimited continuations. J. Funct. Program. 17(6): 687-730 (2007)
2006
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig: The development of Chez Scheme. ICFP 2006: 1-12
2005
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Waddell, Dipanwita Sarkar, R. Kent Dybvig: Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. Higher-Order and Symbolic Computation 18(3-4): 299-326 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDipanwita Sarkar, Oscar Waddell, R. Kent Dybvig: Educational Pearl: A Nanopass framework for compiler education. J. Funct. Program. 15(5): 653-667 (2005)
2004
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDipanwita Sarkar, Oscar Waddell, R. Kent Dybvig: A nanopass infrastructure for compiler education. ICFP 2004: 201-212
2003
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig: The scheme programming language (3. ed.). MIT Press 2003: I-XI, 1-295
2000
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig: From Macrogeneration to Syntactic Abstraction. Higher-Order and Symbolic Computation 13(1/2): 57-63 (2000)
1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Waddell, R. Kent Dybvig: Extending the Scope of Syntactic Abstraction. POPL 1999: 203-215
1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert G. Burger, R. Kent Dybvig: An Infrastructure for Profile-Driven Dynamic Recompilation. ICCL 1998: 240-
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Waddell, R. Kent Dybvig: Visualizing Partial Evaluation. ACM Comput. Surv. 30(3es): 24 (1998)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Ashley, R. Kent Dybvig: A Practical and Flexible Flow Analysis for Higher-Order Languages. ACM Trans. Program. Lang. Syst. 20(4): 845-868 (1998)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand: Revised Report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation 11(1): 7-105 (1998)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjeev Kumar, Carl Bruggeman, R. Kent Dybvig: Threads Yield Continuations. Lisp and Symbolic Computation 10(3): 223-236 (1998)
1997
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Waddell, R. Kent Dybvig: Fast and Effective Procedure Inlining. SAS 1997: 35-52
1996
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert G. Burger, R. Kent Dybvig: Printing Floating-Point Numbers Quickly and Accurately. PLDI 1996: 108-116
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Bruggeman, Oscar Waddell, R. Kent Dybvig: Representing Control in the Presence of One-Shot Continuations. PLDI 1996: 99-107
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSho-Huan Simon Tung, R. Kent Dybvig: Reliable Interactive Programming with Modules. Lisp and Symbolic Computation 9(4): 343-358 (1996)
1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman: Compiler Construction Using Scheme. FPLE 1995: 251-267
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert G. Burger, Oscar Waddell, R. Kent Dybvig: Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling. PLDI 1995: 130-138
1994
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Ashley, R. Kent Dybvig: An Efficient Implementation of Multiple Return Values in Scheme. LISP and Functional Programming 1994: 140-149
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Hieb, R. Kent Dybvig, Claude W. Anderson III: Subcontinuations. Lisp and Symbolic Computation 7(1): 83-110 (1994)
1993
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Carl Bruggeman, David Eby: Guardians in a Generation-Based Garbage Collector. PLDI 1993: 207-216
1992
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuresh Srinivas, R. Kent Dybvig: Superscalar Floating-Point Vector Computation in Scheme. CONPAR 1992: 811-812
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Bruggeman, R. Kent Dybvig: A New Architecture Design Paradigm for Parallel Computing in Scheme. Parallel Symbolic Computing 1992: 362-379
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Robert Hieb, Carl Bruggeman: Syntactic Abstraction in Scheme. Lisp and Symbolic Computation 5(4): 295-326 (1992)
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Hieb, R. Kent Dybvig, Carl Bruggeman: Representing Control in the Presence of First-Class Continuations. PLDI 1990: 66-77
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Hieb, R. Kent Dybvig: Continuations and Concurrency. PPOPP 1990: 128-136
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Robert Hieb: A New Approach to Procedures with Variable Arity. Lisp and Symbolic Computation 3(3): 229-244 (1990)
1989
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Robert Hieb: Engines From Continuations. Comput. Lang. 14(2): 109-123 (1989)
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Robert Hieb: A Variable-Arity Procedural Interface. LISP and Functional Programming 1988: 106-115
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: A General Macro Mechanism. Lisp and Symbolic Computation 1(1): 53-75 (1988)
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes: Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming 1986: 143-150

Coauthor Index

1Harold Abelson [21]
2Michael D. Adams [35] [37]
3N. I. Adams IV [21]
4Claude W. Anderson III [12]
5J. Michael Ashley [13] [15] [22]
6David H. Bartley [21]
7G. Brooks [21]
8Carl Bruggeman [7] [8] [9] [11] [17] [20]
9Robert G. Burger [14] [18] [24]
10Arun Chauhan [37]
11Olivier Danvy [34]
12David Eby [11]
13Daniel P. Friedman [1] [2] [15] [21]
14Abdulaziz Ghuloum [33]
15Robert H. Halstead Jr. [21]
16Chris Hanson [21]
17Christopher T. Haynes [1] [2] [21]
18Robert Hieb [3] [4] [5] [6] [7] [8] [12]
19Eric Hilsdale [15]
20Simon L. Peyton Jones [32]
21Andrew W. Keep [37]
22Eugene E. Kohlbecker [21]
23Sanjeev Kumar [20]
24Julia L. Lawall [34]
25Jan Midtgaard [37]
26Matthew Might [37]
27Don Oxley [21]
28Kent M. Pitman [21]
29Guillermo Juan Rozas [21]
30Amr Sabry [32]
31Dipanwita Sarkar [28] [29] [30]
32Suresh Srinivas [10]
33Guy L. Steele Jr. [21]
34Gerald J. Sussman (Gerald Jay Sussman) [21]
35Peter Thiemann [34]
36Sho-Huan Simon Tung [16]
37Oscar Waddell [14] [17] [19] [23] [25] [28] [29] [30]
38Mitchell Wand [21]
39Yin Wang [38]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page