Implementation and use of the PLT scheme Web server

Authors:
Shriram Krishnamurthi;Peter Walton Hopkins;Jay Mccarthy;Paul T. Graunke;Greg Pettyjohn;Matthias Felleisen
Affiliations:
Brown University, Providence, USA;Brown University, Providence, USA;Brown University, Providence, USA;Northeastern University, Boston, USA;Northeastern University, Boston, USA;Northeastern University, Boston, USA
Venue:
Higher-Order and Symbolic Computation
Year:
2007

Citing 26
Cited 23

Back to direct style

ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
Higher-order distributed objects

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design considerations for the Apache server API

Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Units: cool modules for HOT languages

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
IO-lite: a unified I/O buffering and caching system

OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Resource containers: a new facility for resource management in server systems

OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Programming languages as operating systems (or revenge of the son of the lisp machine)

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Haskell and XML: generic combinators or type-based translation?

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Generalising monads to arrows

Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The project

ACM Transactions on Internet Technology (TOIT)
SXML specification

ACM SIGPLAN Notices
Measuring the capacity of a Web server under realistic loads

World Wide Web
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Special forms in Lisp

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Lambda calculus schemata

Proceedings of ACM conference on Proving assertions about programs
Design and Evaluation of an Extensible Web & Telephony Server based on the J-Kernel

Design and Evaluation of an Extensible Web & Telephony Server based on the J-Kernel
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
DrScheme: a programming environment for Scheme

Journal of Functional Programming
Automatically Restructuring Programs for the Web

Automated Software Engineering
Web programming in Scheme with LAML

Journal of Functional Programming
Continuations and Web Servers

Higher-Order and Symbolic Computation
Verification and change-impact analysis of access-control policies

Proceedings of the 27th international conference on Software engineering
Scalable content-aware request distribution in cluster-based networks servers

ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Flash: an efficient and portable web server

ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference

Experience report: scheme in commercial web application development

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Adding delimited and composable control to a production programming environment

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
An Extensible State Machine Pattern for Interactive Applications

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
WebDSL: A Case Study in Domain-Specific Language Engineering

Generative and Transformational Techniques in Software Engineering II
Secure compilation of a multi-tier web language

Proceedings of the 4th international workshop on Types in language design and implementation
Hop, a Fast Server for the Diffuse Web

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Flexible, reusable tools for studying novice programmers

ICER '09 Proceedings of the fifth international workshop on Computing education research workshop
Automatically RESTful web applications: marking modular serializable continuations

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Experience report: ocsigen, a web programming framework

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Lazy continuations for Java virtual machines

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Automatic generation of network protocol gateways

Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Towards an Operational Semantics for Alloy

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Functional web applications

ICWE'07 Proceedings of the 7th international conference on Web engineering
Delimited continuations in operating systems

CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
A model of triangulating environments for policy authoring

Proceedings of the 15th ACM symposium on Access control models and technologies
Automatic generation of network protocol gateways

Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
Customizing a functional programming language for web development

Computer Languages, Systems and Structures
The two-state solution: native and serializable continuations accord

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Languages as libraries

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Maintaining database integrity with refinement types

Proceedings of the 25th European conference on Object-oriented programming
Enforcing stateful authorization and information flow policies in fine

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Toward a more complete alloy

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Socio-PLT: principles for programming language adoption

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the development of an application for managing conference paper reviews. In the process of developing this application, we encountered subtle forms of interaction not directly addressed by using continuations. We discuss these subtleties and offer solutions that have been successfully deployed in our application. Finally, we present some details on the server's performance, which is comparable to that of the widely-used Apache Web server.