R. Kent Dybvig

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 3

Top Topics

Ubiquitous Environments

Programming Paradigms

Encoding Scheme

Semantic Models

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Matthew Flatt, R. Kent Dybvig
Compiler and runtime support for continuation marks. PLDI (2020)
Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
Rebuilding racket on chez scheme (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
Profile-guided meta-programming. PLDI (2015)
Andrew W. Keep, R. Kent Dybvig
A run-time representation of scheme record types. J. Funct. Program. 24 (6) (2014)
Andrew W. Keep, R. Kent Dybvig
A nanopass framework for commercial compiler development. ICFP (2013)
Andrew W. Keep, R. Kent Dybvig
A sufficiently smart compiler for procedural records. Scheme@ICFP (2012)
Yin Wang, R. Kent Dybvig
Register Allocation By Model Transformer Semantics CoRR (2012)
Andrew W. Keep, Alex Hearn, R. Kent Dybvig
Optimizing closures in O(0) time. Scheme@ICFP (2012)
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
Flow-sensitive type recovery in linear-log time. OOPSLA (2011)
Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann
Editorial. High. Order Symb. Comput. 21 (3) (2008)
Michael D. Adams, R. Kent Dybvig
Efficient nondestructive equality checking for trees and graphs. ICFP (2008)
R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry
A monadic framework for delimited continuations. J. Funct. Program. 17 (6) (2007)
Abdulaziz Ghuloum, R. Kent Dybvig
Implicit phasing for R6RS libraries. ICFP (2007)
R. Kent Dybvig
The development of Chez Scheme. ICFP (2006)
Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. High. Order Symb. Comput. 18 (3-4) (2005)
Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig
Educational Pearl: A Nanopass framework for compiler education. J. Funct. Program. 15 (5) (2005)
Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig
A nanopass infrastructure for compiler education. ICFP (2004)
R. Kent Dybvig
From Macrogeneration to Syntactic Abstraction. High. Order Symb. Comput. 13 (1/2) (2000)
Oscar Waddell, R. Kent Dybvig
Extending the Scope of Syntactic Abstraction. POPL (1999)
Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig
Threads Yield Continuations. LISP Symb. Comput. 10 (3) (1998)
Robert G. Burger, R. Kent Dybvig
An Infrastructure for Profile-Driven Dynamic Recompilation. ICCL (1998)
J. Michael Ashley, R. Kent Dybvig
A Practical and Flexible Flow Analysis for Higher-Order Languages. ACM Trans. Program. Lang. Syst. 20 (4) (1998)
Oscar Waddell, R. Kent Dybvig
Visualizing Partial Evaluation. ACM Comput. Surv. 30 (3es) (1998)
Harold 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. High. Order Symb. Comput. 11 (1) (1998)
Oscar Waddell, R. Kent Dybvig
Fast and Effective Procedure Inlining. SAS (1997)
Sho-Huan Simon Tung, R. Kent Dybvig
Reliable Interactive Programming with Modules. LISP Symb. Comput. 9 (4) (1996)
Carl Bruggeman, Oscar Waddell, R. Kent Dybvig
Representing Control in the Presence of One-Shot Continuations. PLDI (1996)
Robert G. Burger, R. Kent Dybvig
Printing Floating-Point Numbers Quickly and Accurately. PLDI (1996)
Robert G. Burger, Oscar Waddell, R. Kent Dybvig
Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling. PLDI (1995)
Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman
Compiler Construction Using Scheme. FPLE (1995)
Robert Hieb, R. Kent Dybvig, Claude W. Anderson III
Subcontinuations. LISP Symb. Comput. 7 (1) (1994)
J. Michael Ashley, R. Kent Dybvig
An Efficient Implementation of Multiple Return Values in Scheme. LISP and Functional Programming (1994)
R. Kent Dybvig, Carl Bruggeman, David Eby
Guardians in a Generation-Based Garbage Collector. PLDI (1993)
Carl Bruggeman, R. Kent Dybvig
A New Architecture Design Paradigm for Parallel Computing in Scheme. Parallel Symbolic Computing (1992)
Suresh Srinivas, R. Kent Dybvig
Superscalar Floating-Point Vector Computation in Scheme. CONPAR (1992)
R. Kent Dybvig, Robert Hieb, Carl Bruggeman
Syntactic Abstraction in Scheme. LISP Symb. Comput. 5 (4) (1992)
Robert Hieb, R. Kent Dybvig, Carl Bruggeman
Representing Control in the Presence of First-Class Continuations. PLDI (1990)
Robert Hieb, R. Kent Dybvig
Continuations and Concurrency. PPOPP (1990)
R. Kent Dybvig, Robert Hieb
A New Approach to Procedures with Variable Arity. LISP Symb. Comput. 3 (3) (1990)
R. Kent Dybvig, Robert Hieb
Engines From Continuations. Comput. Lang. 14 (2) (1989)
R. Kent Dybvig, Robert Hieb
A Variable-Arity Procedural Interface. LISP and Functional Programming (1988)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
Expansion-Passing Style: A General Macro Mechanism. LISP Symb. Comput. 1 (1) (1988)
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes
Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming (1986)
R. Kent Dybvig, Bruce T. Smith
A semantic editor. ACM SIGPLAN Notices 20 (7) (1985)