R. KENT DYBVIG November Education Ph.D University of North Carolina at Chapel Hill, Computer Science

Transcription

1 R. KENT DYBVIG November 2009 Indiana University Computer Science Department Lindley Hall 215 Bloomington, IN USA fax: Born 1959 USA Married 1980, 4 Children Education Ph.D University of North Carolina at Chapel Hill, Computer Science M.S. A.B. Experience 1983 Indiana University, Computer Science 1980 Indiana University, Mathematics and Computer Science 1999 present Professor of Computer Science, Indiana University My research and teaching involves programming language design and implementation. I have served as a graduate advisor and chair of the curriculum, facilities, and hiring committees and am currently director of infrastructure for the school of informatics. I most often teach compilers/language implementation and honors introductory computer science. I received Trustees Teaching Awards in 2002, 2005, and present Director R & D, Cadence Research Systems, Bloomington, Indiana I helped established Cadence Research Systems to develop and market Chez Scheme and related services. Chez Scheme is a high-performance implementation of the Scheme programming language with thousands of users worldwide. I have led its development since writing the first version in 1984 and also play a role in customer support Associate Professor of Computer Science, Indiana University Assistant Professor of Computer Science, Indiana University Lecturer, Computer Science Department, Indiana University Consultant, Data General Corporation, Research Triangle Park, NC I designed and implemented a prototype Common Lisp implementation, developed the production storage management system and portions of the production compiler and I/O system, and consulted on a wide range of Lisp implementation issues Research Assistant, University of North Carolina at Chapel Hill Systems Programmer, Academic Computing Center, Indiana University I codeveloped the software for a multi-microprocessor remote job entry (RJE) system connecting a CDC 6600/CYBER 172 system to a set of remote sites. Seven forms of concurrency contributed to the high speed and reliability of the system Associate Instructor, Mathematics Department, Indiana University Teaching Intern, Mathematics Department, Indiana University 1979 (summer) Systems Programmer, Wright-Patterson AFB, Dayton, Ohio R. Kent Dybvig Page 1

2 Professional Activities Associate editor, Journal of Higher Order and Symbolic Computation, 2004 present. Editorial committee for the Revised 6 Report on Scheme, (Chair ). Member, Association for Computing Machinery (named Distinguished Engineer 2006), SIGPLAN Invited speaker, Eleventh ACM SIGPLAN International Conference on Functional Programming, September Invited speaker, Workshop on Scheme and Functional Programming, September Invited speaker, Commercial Users of Functional Programming Workshop, September Program committee ACM SIGPLAN Workshop on Continuations, Venice, Italy, January Strategy committee for the Revised 6 Report on Scheme, Program committee Scheme and Functional Programming, Montreal, Canada, September Baltimore, MD, September Program chair 1996 ACM SIGPLAN International Conference on Functional Programming. Invited participant Scheme Implementors Workshop, Philadelphia, PA, May Invited participant Joint U.S./Japan Workshop on Parallel Symbolic Computing: Languages, Systems, and Applications, Boston, MA, October Program committee 1992 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Program committee 1992 ACM Conference on Lisp and Functional Programming. Participant Scheme Revised Authors Committee Meeting, San Francisco, CA, June Program organizer Midwest Society for Programming Languages and Systems semiannual meeting, Bloomington, IN, April Program committee SIGPLAN 91 Conference on Programming Language Design and Implementation. Participant IEEE Scheme Standards Workshop, San Francisco, CA, January Participant Scheme Revised Authors Committee Meeting, Snowbird, UT, July Organizer and host IEEE Scheme Standards Workshop, Bloomington, IN, March Participant Scheme Revised Authors Committee Meeting, Cambridge, MA, July Member IEEE/MSC/P1178 Working group on Scheme Standardization. Ph.D. Theses Directed Abdulaziz Ghuloum, Implicit Phasing For Library Dependencies, January Dipanwita Sarkar, Nanopass Compiler Infrastructure, September Oscar Waddell, Extending the Scope of Syntactic Abstraction, August Robert G. Burger, Efficient Compilation and Profile-Driven Dynamic Recompilation in Scheme, March J. Michael Ashley, A Practical and Flexible Flow Analysis for Higher-Order Languages, May R. Kent Dybvig Page 2

3 Carl Bruggeman, A New Architecture Design Paradigm: Type-Safe Instruction Set Architectures, December Robert Hieb, Abstraction of Control and Syntax in Scheme, February 1993 (posthumous). Sho-Huan Simon Tung, Merging Interactive, Modular, and Object-Oriented Programming, May Grants and Contracts Indiana University FRSP, Embracing Reality: Re-Thinking Programming Languages, with Amr Sabry, Daniel P. Friedman, Dirk Van Gucht, J. Michael Dunn, and Gerardo Ortiz, , $61,995. Institute for Personal Robots in Education (IPRE), Robots in the Classroom for Introductory CS, with Kay Connelly and Suzanne Menzel, , $8,000. Abstrax, Inc., Design and prototype for a new application, Microsoft Research, A Scheme Compiler for the.net Framework, with Amr Sabry and Oscar Waddell, , $77,950. Motorola, Inc. Semiconductor Products Sector, Domain-Specific Language and Implementation Support, Beckman-Coulter Sagian Division, Scheme/COM Interface Design and Implementation, National Science Foundation grant #CCR A Staged Compiler Architecture for Dynamic Program Optimization, with Mark Leone and David Wise, , $232,832. Walt Disney Imagineering Research and Development, Inc., Scheme Language Support for the Player VR System, Motorola, Inc. Computer Group, Scheme Implementation for PowerPC Systems under AIX and Windows NT, National Science Foundation grant #CDA An Infrastructure for Conceptualization and Visualization, with David Wise, et al., , $1,250,514 plus $636,233 university match. Abstrax, Inc., Support for the Abstrax Configurator Configurator, National Science Foundation grant #CDA , Tools and Techniques for use of the Scheme Programming Language in Undergraduate Education, with Christopher T. Haynes, Daniel P. Friedman, and George Springer, , $449,040 plus $262,797 university match. Motorola, Inc., An Integrated Compiler, Operating System, and Architecture Based on Scheme, , $157,170. Motorola, Inc., Interactive Modular Programming, IR&D Project on Advanced AI Technology No. 7288, , $15,000. Sandia National Laboratories contract # , Visual and Window Based Programming Techniques, , $19,991. National Science Foundation grant #CCR , Software Tools for the Design and Tuning of Parallel Supercomputer Applications, with Dennis Gannon, , $300,149. Motorola, Inc. Government Electronics Group, Scheme Implementation for MC68000 and MC88000 Computer Systems, R. Kent Dybvig Page 3

4 Sandia National Laboratories contract # , Parallel Lisp Implementation for the SANDAC-V Embedded Computing Environment, , $19,028. Sandia National Laboratories contract # , Lisp Implementation for SANDAC-IV, 1986, $15,000. Published Software Chez Scheme Versions 1 7, distributed by Cadence Research Systems, (creator and principal developer), Petite Chez Scheme Versions 6 7, a freely distributable version of Chez Scheme, distributed by Cadence Research Systems, (creator and principal developer), Portable R6RS Library and Syntax-Case system, freely distributed by Cadence Research Systems and Indiana University, aghuloum/r6rs-libraries/ with Abdulaziz Ghuloum, Syntax-Case, a portable macro system for Scheme, freely distributed by Cadence Research Systems and Indiana University, (creator and principal developer), Scheme Widget Library (SWL) and associated tools, freely distributed by Indiana University, with Oscar Waddell and other contributors, (project director and maintainer), Books and Book Chapters R. Kent Dybvig, Syntactic abstraction: The syntax-case expander, in Beautiful Code: Leading Programmers Explain How They Think, O Reilly Media, ed. Andy Oram and Greg Wilson, , June, R. Kent Dybvig, Chez Scheme Version 7 User s Guide, Cadence Research Systems, (First edition published by Cadence Research Systems, 1998.) R. Kent Dybvig, The Scheme Programming Language, Third Edition, MIT Press, (Second edition published by Prentice-Hall, 1996; First edition published by Prentice-Hall, 1987.) R. Kent Dybvig, The Chez Scheme System Manual, Revisions , Cadence Research Systems, Refereed Papers Abdulaziz Ghuloum and R. Kent Dybvig, Fixing letrec (reloaded), Proceedings of the 2009 Workshop on Scheme and Functional Programming, 57 65, August, Michael Sperber, R. Kent Dybvig, Matthew Flatt, and Anton van Straaten (eds.), The Revised 6 Report on the Algorithmic Language Scheme, Journal of Functional Programming (to appear). Michael D. Adams and R. Kent Dybvig, Efficient nondestructive equality checking for trees and graphs, Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, , September, Abdulaziz Ghuloum and R. Kent Dybvig, Implicit Phasing for R6RS Libraries, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, , September, R. Kent Dybvig Page 4

5 Abdulaziz Ghuloum and R. Kent Dybvig, Generation-Friendly Eq Hash Tables, Proceedings of the 2007 Workshop on Scheme and Functional Programming, 27 36, September R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry, A Monadic Framework for Delimited Continuations, Journal of Functional Programming 17, 6, , November R. Kent Dybvig, The Development of Chez Scheme, Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, 1-12, September, 2006 (invited paper/talk). Dipanwita Sarkar, Oscar Waddell, and R. Kent Dybvig, A Nanopass Framework for Compiler Education, Educational Pearl, Journal of Functional Programming 15, 5, , September (An earlier version appeared as A Nanopass Infrastructure for Compiler Education, in Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, , September, 2004.) Oscar Waddell, Dipanwita Sarkar, and R. Kent Dybvig, Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme s Recursive Binding Construct, Journal of Higher Order and Symbolic Computation 18, 3/4, , December (An earlier version appeared as Robust and Effective Transformation of Letrec, Proceedings of the Third Workshop on Scheme and Functional Programming, Georgia Tech College of Computing Technical Report GIT-CC-02-48, October, 2002.) Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig, and Daniel P. Friedman, Abstraction and Performance from Explicit Monadic Reflection, Proceedings of the Sixth ACM SIGPLAN Workshop on Scheme and Functional Programming, 27 40, September R. Kent Dybvig, From Macrogeneration to Syntactic Abstraction, Higher-Order and Symbolic Computation 13, 1 2, Special Issue on Christopher Strachey, April 2000, Oscar Waddell and R. Kent Dybvig, Extending the Scope of Syntactic Abstraction, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, , January Oscar Waddell and R. Kent Dybvig, Visualizing Partial Evaluation, ACM Computing Surveys Symposium on Partial Evaluation 30, 3es, #24, September J. Michael Ashley and R. Kent Dybvig, A Practical and Flexible Flow Analysis for Higher-Order Languages, ACM Transactions on Programming Languages and Systems 20, 4, July 1998, Robert G. Burger and R. Kent Dybvig, An Infrastructure for Profile-Driven Dynamic Recompilation, IEEE Computer Society 1998 International Conference on Computer Languages, May 1998, Sanjeev Kumar, Carl Bruggeman, and R. Kent Dybvig, Threads Yield Continuations, Lisp and Symbolic Computation 10, 3, May 1998, Oscar Waddell and R. Kent Dybvig, Fast and Effective Procedure Inlining, Proceedings of the Fourth International Symposium on Static Analysis (SAS 97), Springer-Verlag Lecture Notes in Computer Science 1302, 35 52, September (An extended version is published as Indiana University Computer Science Department Technical Report #484.) Sho-Huan Simon Tung and R. Kent Dybvig, Reliable Interactive Programming with Modules, Lisp and Symbolic Computation 9, 4, , December Carl Bruggeman, Oscar Waddell, and R. Kent Dybvig, Representing Control in the Presence of One-Shot Continuations, Proceedings of the ACM SIGPLAN 96 Conference on Programming Language Design and Implementation, , May R. Kent Dybvig Page 5

6 Robert G. Burger and R. Kent Dybvig, Printing Floating-Point Numbers Quickly and Accurately, Proceedings of the ACM SIGPLAN 96 Conference on Programming Language Design and Implementation, , May Erik Hilsdale, J. Michael Ashley, R. Kent Dybvig, and Daniel P. Friedman, Compiler Construction Using Scheme, Proceedings of the Functional Programming Languages in Education First International Symposium, LNCS, Springer-Verlag Vol. 1022, , December Robert G. Burger, Oscar Waddell, and R. Kent Dybvig, Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling, Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, , June J. Michael Ashley and R. Kent Dybvig, An Efficient Implementation of Multiple Return Values in Scheme, Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, , June Robert Hieb, R. Kent Dybvig, and Claude W. Anderson, III, Subcontinuations, Lisp and Symbolic Computation 7, 1, , January R. Kent Dybvig, Robert Hieb, and Carl Bruggeman, Syntactic Abstraction in Scheme, Lisp and Symbolic Computation 5, 4, , December R. Kent Dybvig, Carl Bruggeman, and David Eby, Guardians in a Generation-Based Garbage Collector, Proceedings of the ACM SIGPLAN 93 Conference on Programming Language Design and Implementation, , June Robert Hieb, R. Kent Dybvig, and Carl Bruggeman, Representing Control in the Presence of First-Class Continuations, Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, 66 77, June R. Kent Dybvig and Robert Hieb, A New Approach to Procedures with Variable Arity, Lisp and Symbolic Computation: An International Journal 3, 3, , September, (An earlier version appeared as A Variable-Arity Procedural Interface, in Proceedings of the 1988 ACM SIGPLAN Conference on Lisp and Functional Programming, , 1988.) Robert Hieb and R. Kent Dybvig, Continuations and Concurrency, Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, , March R. Kent Dybvig and Robert Hieb, Engines from Continuations, Journal of Computer Languages 14, 2, , R. Kent Dybvig, Daniel P. Friedman, and Christopher T. Haynes, Expansion-Passing Style: A General Macro Mechanism, Lisp and Symbolic Computation: An International Journal 1, 1, 53 75, June (An earlier version appeared as Expansion-Passing Style: Beyond Conventional Macros, in Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, , July 1986.) Bruce T. Smith and R. Kent Dybvig, A Semantic Editor, Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 74 82, June Other Publications and Working Papers R. Kent Dybvig, A Scheme for native threads, Contributed paper, Symposium in Honor of Mitchell Wand, August R. Kent Dybvig Page 6

7 Abdulaziz Ghuloum and R. Kent Dybvig, Save and restore placement in the graph coloring allocator, November R. Kent Dybvig, Marketing functional programming: perceptions and reality, Commercial Users of Functional Programming, Invited talk, September, R. Kent Dybvig, The guaranteed optimization clause of the macro-writer s bill of rights. Contributed talk, Daniel P. Friedman: A Celebration, December 3, Oscar Waddell and R. Kent Dybvig, Lightweight objects for latently typed languages, August Richard Kelsey, William Clinger, Jonathan A. Rees (eds), et al., The Revised 5 Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation 11, 1, January Mark Leone and R. Kent Dybvig, Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization, Indiana University Computer Science Department Technical Report #490, September R. Kent Dybvig, David Eby and Carl Bruggeman, Don t Stop the BiBOP: Flexible and Efficient Storage Management for Dynamically Typed Languages, Indiana University Computer Science Department Technical Report #400, March Carl Bruggeman and R. Kent Dybvig, A New Architecture Design Paradigm for Parallel Computing in Scheme, in Parallel Symbolic Computing: Languages, Systems, and Applications (US/Japan Workshop Proceedings), ed. Robert H. Halstead, Jr. and Takayasu Ito, Springer-Verlag Lecture Notes in Computer Science 748, , January R. Kent Dybvig, Why Scheme?, Artificial Intelligence Technology Newsletter VI, ed. Sam Daniel, Motorola Government Electronics Group, November Suresh Srinivas and R. Kent Dybvig, Superscalar Floating-Point Vector Computation in Scheme, Proceedings CONPAR 92-VAPP V Second Joint International Conference of Vector and Parallel Processing, Springer-Verlag, 1992; poster presented at CONPAR 92/VAPP V, Ecole Normale Superieure de LYON, FRANCE, September R. Kent Dybvig, Writing Hygienic Macros in Scheme with Syntax-Case, Indiana University Computer Science Department Technical Report #356, June William Clinger, Jonathan A. Rees (ed), et al., The Revised 4 Report on the Algorithmic Language Scheme, Lisp Pointers 4, 3, Sho-Huan Tung and R. Kent Dybvig, Towards a System for Interactive Modular Programming, Indiana University Computer Science Department Technical Report #305, February R. Kent Dybvig, Robert Hieb, and Tom Butler, Destination-Driven Code Generation, Indiana University Computer Science Department Technical Report #302, February R. Kent Dybvig, Three Implementation Models for Scheme, University of North Carolina at Chapel Hill Department of Computer Science Technical Report # (PhD Dissertation), April Jonathan A. Rees and William Clinger (ed), et al., The Revised 3 Report on Scheme, MIT AI Memo 848a, Indiana University Computer Science Department Technical Report #174, and SIG- PLAN Notices 21, 12, December R. Kent Dybvig, C-Scheme, Indiana University Computer Science Department Technical Report #149 (MS Thesis), September R. Kent Dybvig Page 7

8 Rex A. Dwyer and R. Kent Dybvig, A Scheme for Distributed Processes, Indiana University Computer Science Department Technical Report #107, April R. Kent Dybvig Page 8