Research Project
Shriram Krishnamurthi wrote the first version of
Continue for PADL 2002, and it was used again for PADL
2003. Pete Hopkins took over development in the summer
of 2003 with a substantial re-write of the code. Jay
McCarthy took over development in the summer of
2005. Jacob Baskin rewrote Continue using the
Flapjax programming language
in 2007. Continue is currently developed by Arjun Guha.
Continue is a practical application that serves as
a test bed for several research topics, including:
- Using functional languages to write Web
applications
- Security and access control policies
- Web software verification
Publications
- Shriram Krishnamurthi, Peter Walton Hopkins,
Jay McCarthy, Paul T. Graunke, Greg Pettyjohn,
Matthias
Felleisen. Implementation
and Use of the PLT Scheme Web Server
- If you need to cite Continue, please use this
as the definitive reference.
Other Publications
- Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi. Relationally-Parametric Polymorphic Contracts
- Colin Gordon, Leo Meyerovich, Joel Weinberger, Shriram Krishnamurthi. Composition with Consistent Updates for Abstract State Machines
- Jay McCarthy and Shriram
Krishnamurthi. Interaction-Safe
State for the Web
- Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. Specifying and Reasoning about Dynamic Access-Control Policies
- Kathi Fisler, Shriram Krishnamurthi, Leo
A. Meyerovich, and Michael Carl
Tschantz. Verification
and Change Impact Analysis of Access-Control
Policies
- Daniel R. Licata and Shriram Krishanmurthi.
Verifying
Interactive Web Programs
- Peter Walton
Hopkins. Enabling
Complex UI in Web Applications with
send/suspend/dispatch
- This paper has now
been superseded. Please
refer to the newer and more complete
version.
- Shriram
Krishnamurthi. The
Continue Server
