Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
R. Kent Dybvig's Home Page
[go: Go Back, main page]

R. Kent Dybvig

Professor, Indiana University Computer Science Department
Ph.D. The University of North Carolina, 1987

Courses

  • H211: Introduction to Computer Science - Honors
  • P423/523: Compilers / Programming Language Implementation
  • B490/629: Advanced Compilers
  • Research Interests

  • Programming languages
  • Projects

  • Revised6 Report on Scheme (R6RS Status report at the Scheme Workshop)
  • Chez Scheme and Cadence Research Systems
  • Portable syntax-case
  • The Scheme Programming Language and The Chez Scheme Version 7 User's Guide
  • Indiana University programming languages group
  • Links to Ph.D. Graduates

  • Sho-Huan Simon Tung (PhD 5/92; now at Yunlin Institute of Technology)
  • Carl Bruggeman (PhD 12/95; now at Ohio University)
  • Mike Ashley (PhD 5/96; now at Beckman-Coulter)
  • Bob Burger (PhD 3/97; now at Beckman-Coulter)
  • Oscar Waddell (PhD 8/99; now at Abstrax, Inc.)
  • Selected Publications

    More complete list of publications

    Syntactic abstraction: the syntax-case expander. R. Kent Dybvig. In Andy Oram and Greg Wilson, Beautiful Code: Leading Programmers Explain How They Think, 407--428, June 2007 [bibtex].

    The Development of Chez Scheme. R. Kent Dybvig. Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, 1-12, September, 2006 (invited paper/talk). [abstract, bibtex, talk].

    A monadic framework for delimited continuations. R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry. Journal of Functional Programming (to appear). [abstract, bibtex].

    A Nanopass Framework for Compiler Education. Dipanwita Sarkar, Oscar Waddell, and R. Kent Dybvig. Journal of Functional Programming 15, 5 (Educational Pearl), 653-667, September 2005. [abstract, bibtex].

    Chez Scheme Version 7 User's Guide. R. Kent Dybvig. Cadence Research Systems, 2005 [bibtex, print version]

    Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. Oscar Waddell, Dipanwita Sarkar, and R. Kent Dybvig. Journal of Higher-Order and Symbolic Computation 18, 3/4, 299-326, 2005 [abstract].

    The Scheme Programming Language, third edition. R. Kent Dybvig. MIT Press, 2002 [bibtex].

    Extending the Scope of Syntactic Abstraction. Oscar Waddell and R. Kent Dybvig. Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 203-213, January 1999. [abstract].

    Fast and Effective Procedure Inlining. Oscar Waddell and R. Kent Dybvig. Extended version of a paper that appeared in the Proceedings of the Fourth International Symposium on Static Analysis (SAS '97) Springer-Verlag Lecture Notes in Computer Science 1302, 35-52, September 1997. [abstract]

    Subcontinuations. Robert Hieb, R. Kent Dybvig, and Claude W. Anderson, III. Lisp and Symbolic Computation 7, 1, 83-110, January 1994. [abstract].

    Syntactic Abstraction in Scheme. R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. Lisp and Symbolic Computation 5, 4, pp. 83-110, December 1992. [abstract].

    Representing Control in the Presence of First-Class Continuations. Robert Hieb, R. Kent Dybvig, and Carl Bruggeman. ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, 66-77, June 1990. [abstract].