R. Kent Dybvig

According to our database, R. Kent Dybvig authored at least 47 papers between 1985 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Compiler and runtime support for continuation marks.

Matthew Flatt, R. Kent Dybvig

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Rebuilding racket on chez scheme (experience report).

Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri

Proc. ACM Program. Lang., 2019

2015

Profile-guided meta-programming.

William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

A run-time representation of scheme record types.

Andrew W. Keep, R. Kent Dybvig

J. Funct. Program., 2014

2013

A nanopass framework for commercial compiler development.

Andrew W. Keep, R. Kent Dybvig

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Register Allocation By Model Transformer Semantics

Yin Wang, R. Kent Dybvig

CoRR, 2012

Optimizing closures in O(0) time.

Andrew W. Keep, Alex Hearn, R. Kent Dybvig

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

A sufficiently smart compiler for procedural records.

Andrew W. Keep, R. Kent Dybvig

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

2011

Flow-sensitive type recovery in linear-log time.

Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Revised6 Report on the Algorithmic Language Scheme.

Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews

Cambridge University Press, ISBN: 978-0-521-19399-3, 2010

2009

The Scheme Programming Language, Fourth Edition.

R. Kent Dybvig

MIT Press, ISBN: 978-0-262-51298-5, 2009

2008

Editorial.

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

High. Order Symb. Comput., 2008

Efficient nondestructive equality checking for trees and graphs.

Michael D. Adams, R. Kent Dybvig

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A monadic framework for delimited continuations.

R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry

J. Funct. Program., 2007

Implicit phasing for R6RS libraries.

Abdulaziz Ghuloum, R. Kent Dybvig

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

The development of Chez Scheme.

R. Kent Dybvig

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct.

Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig

High. Order Symb. Comput., 2005

Educational Pearl: A Nanopass framework for compiler education.

Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig

J. Funct. Program., 2005

2004

A nanopass infrastructure for compiler education.

Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

The Scheme Programming Language, Third Edition.

R. Kent Dybvig

MIT Press, ISBN: 978-0-262-54148-0, 2003

2000

From Macrogeneration to Syntactic Abstraction.

R. Kent Dybvig

High. Order Symb. Comput., 2000

1999

Extending the Scope of Syntactic Abstraction.

Oscar Waddell, R. Kent Dybvig

Proceedings of the POPL '99, 1999

1998

A Practical and Flexible Flow Analysis for Higher-Order Languages.

J. Michael Ashley, R. Kent Dybvig

ACM Trans. Program. Lang. Syst., 1998

Threads Yield Continuations.

Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig

LISP Symb. Comput., 1998

Revised Report on the Algorithmic Language Scheme.

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

High. Order Symb. Comput., 1998

Visualizing Partial Evaluation.

Oscar Waddell, R. Kent Dybvig

ACM Comput. Surv., 1998

An Infrastructure for Profile-Driven Dynamic Recompilation.

Robert G. Burger, R. Kent Dybvig

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Fast and Effective Procedure Inlining.

Oscar Waddell, R. Kent Dybvig

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Reliable Interactive Programming with Modules.

Sho-Huan Simon Tung, R. Kent Dybvig

LISP Symb. Comput., 1996

Printing Floating-Point Numbers Quickly and Accurately.

Robert G. Burger, R. Kent Dybvig

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Representing Control in the Presence of One-Shot Continuations.

Carl Bruggeman, Oscar Waddell, R. Kent Dybvig

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling.

Robert G. Burger, Oscar Waddell, R. Kent Dybvig

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Compiler Construction Using Scheme.

Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman

Proceedings of the Functional Programming Languages in Education, 1995

1994

Subcontinuations.

Robert Hieb, R. Kent Dybvig, Claude W. Anderson III

LISP Symb. Comput., 1994

An Efficient Implementation of Multiple Return Values in Scheme.

J. Michael Ashley, R. Kent Dybvig

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Guardians in a Generation-Based Garbage Collector.

R. Kent Dybvig, Carl Bruggeman, David Eby

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992

Syntactic Abstraction in Scheme.

R. Kent Dybvig, Robert Hieb, Carl Bruggeman

LISP Symb. Comput., 1992

A New Architecture Design Paradigm for Parallel Computing in Scheme.

Carl Bruggeman, R. Kent Dybvig

Proceedings of the Parallel Symbolic Computing: Languages, 1992

Superscalar Floating-Point Vector Computation in Scheme.

Suresh Srinivas, R. Kent Dybvig

Proceedings of the Parallel Processing: CONPAR 92, 1992

1990

A New Approach to Procedures with Variable Arity.

R. Kent Dybvig, Robert Hieb

LISP Symb. Comput., 1990

Continuations and Concurrency.

Robert Hieb, R. Kent Dybvig

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

Representing Control in the Presence of First-Class Continuations.

Robert Hieb, R. Kent Dybvig, Carl Bruggeman

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

1989

Engines From Continuations.

R. Kent Dybvig, Robert Hieb

Comput. Lang., 1989

1988

Expansion-Passing Style: A General Macro Mechanism.

R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes

LISP Symb. Comput., 1988

A Variable-Arity Procedural Interface.

R. Kent Dybvig, Robert Hieb

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1986

Expansion-Passing Style: Beyond Conventional Macros.

R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

A semantic editor.

R. Kent Dybvig, Bruce T. Smith

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985