WebProgrammingFoRGe < SPL

Tags: view all tags
---+ !WebProgramming FoRGe

As web-based applications evolve from simple quick hacks and scripts to critical business applications and become increasingly more complex the issue of structuring, maintaining and (re-)engineering are becoming real issues.

This FoRGe will look at some of these problems and some of the solutions SE and PL researchers have proposed. 

*Who's interested?* Kris, Eric, Andrew, Ivan, Lyndon, Navjot, Maria, Clint, Arjun, Izzet, Brett, Terry, Sara _add yourself_

*When?* 

   * Meeting time: Tuesday 1-2 pm.
   * First meeting: Tuesday Feb 21st


*Schedule*

| *Introduction* ||
| Week 1: Feb 21st | The Links project's [[http://homepages.inf.ed.ac.uk/wadler/links/epsrc05/case.pdf][proposal]]. Wadler 2005. |
| *Data access* ||
| Week 2: Feb 28th | [[http://download.microsoft.com/download/c/f/b/cfbbc093-f3b3-4fdb-a170-604db2e29e99/linq%20project%20overview.doc][LINQ Project Overview]] Don Box, Anders Hejlsberg. 2005. ||
| Week 3: March 14th | [[http://research.microsoft.com/Users/gmb/Papers/ecoop-corrected.pdf][The essence of data access in C&#969;.]] Gavin Bierman, Erik Meijer, and Wolfram Schulte.  ECOOP 2005. |
| Week 4: March 28th | [[http://xduce.sourceforge.net/papers.html][XDuce: A typed XML processing language]]. Haruo Hosoya and Benjamin C. Pierce. ACM TOIT 2003. | 
| *Control flow in webapps* ||
| Week 5: April 4th | [[http://www-spi.lip6.fr/~queinnec/PDF/webcont.pdf][The Influence of Browsers on Evaluators or, Continuations to Program Web Servers]]. Christian Queinnec. ICFP 2000. |
| Week 6: April 11th | [[http://www.theserverside.com/articles/article.tss?l=SpringWebFlow][Spring Webflow]]. Keith Donald & Erwin Vervaet. The Serverside May 2005. |
| *Security* ||
| Week 7: April 18th | [[http://suif.stanford.edu/papers/usenixsec05.pdf][Finding Security Vulnerabilities in Java Applications with Static Analysis]]. Benjamin Livshits, Monica S. Lam. Usenix Security Symposium 2005. |

---++ More materials?

It seems like there is an inexhaustible supply of stuff to read... 

The list of papers and topics below is is intended to collect relevant information before setting a week-by-week schedule. It can also serve as a starting point for further reading.

---+++ Continuations for the Web

Bridging the gap between the stateless http protocol and the statefull control structures of programming languages.

   * [[http://citeseer.ist.psu.edu/626882.html][Automatically Restructuring Programs for the Web]].  Matthews et. al. 2003. (note: is [[http://citeseer.ist.psu.edu/graunke01programming.html][this]] a shorter version of this paper?)
   * [[http://www-spi.lip6.fr/~queinnec/PDF/webcont.pdf][The Influence of Browsers on Evaluators or, Continuations to Program Web Servers]]. Christian Queinnec. ICFP 2000.
   * [[http://www.cs.brown.edu/people/sk/Publications/Papers/Published/sk-continue/][The Continue Server]]. S. Krishnamurthi. PADL 2003. 

---+++ Data access (Database, SQL and XML processing)

Web applications typically need to interact with external data sources and stores such as XML and relational databases. This is typically done through various APIs that are "untyped". Such untyped interfaces are undesirable (error prone, unchecked, hard to support in IDE, ...).

*Monads and C#*

   * [[http://citeseer.ist.psu.edu/wadler92comprehending.html][Comprehending Monads]]. Phillip Wadler. ICLFP 1990.
   * [[http://research.microsoft.com/Users/gmb/Papers/ecoop-corrected.pdf][The essence of data access in C&#969;.]] Gavin Bierman, Erik Meijer, and Wolfram Schulte.  ECOOP 2005.
   * [[http://citeseer.ist.psu.edu/buneman94comprehension.html][Comprehension Syntax]].  Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong. ACM SIGMOD 1994.
   * [[http://citeseer.ist.psu.edu/640541.html][Monad Comprehensions: A Versatile Representation for Queries]]. Torsten Grust. In The Functional Approach to Data Management - Modeling, Analyzing and Integrating Heterogeneous Data, pages 288-311, Springer, Sept. 2003.
   * [[http://msdn.microsoft.com/netframework/future/linq/][LINQ Webpage]]: How the C&#969; stuff is making it into C# and VisualBasic.
   * [[http://download.microsoft.com/download/c/f/b/cfbbc093-f3b3-4fdb-a170-604db2e29e99/linq%20project%20overview.doc][Link Project Overview]]

*XML processing*

   * [[http://www.brics.dk/bigwig/publications/][The bigwig project]]. Claus Brabrand, Anders Møller, Michael I. Schwartzbach. ACM TOIT 2002.
   * The JWig Project. [[http://www.brics.dk/JWIG/][Website]]
   * [[http://xduce.sourceforge.net/papers.html][XDuce: A typed XML processing language]]. Haruo Hosoya and Benjamin C. Pierce. ACM TOIT 2003.
   * ... 

---+++ Security

   * [[http://suif.stanford.edu/papers/usenixsec05.pdf][Finding Security Vulnerabilities in Java Applications with Static Analysis]]. Benjamin Livshits, Monica S. Lam. Usenix Security Symposium 2005.

---+++ What's used in the real world?

   * Php, JSP, Spring Webflow, Java Server Faces etc.

---+++ Links to other relevant material

   * [[http://homepages.inf.ed.ac.uk/wadler/links/][The Links Project]]: Wadler et. al are working on developing a language for web programming dubbed "Links". The project's [[http://homepages.inf.ed.ac.uk/wadler/links/epsrc05/case.pdf][proposal]] is an interesting read and provides many leads to related work.

Izzet: I want to propose the following paper to discuss it in our reading group. It is not an academic paper but seems to portray current developments on web applications.
 
<http://portal.acm.org/citation.cfm?id=1103941&coll=portal&dl=ACM&CFID=27500087&CFTOKEN=24073347>http://portal.acm.org/citation.cfm?id=1103941&coll=portal&dl=ACM&CFID=27500087&CFTOKEN=24073347
 


-- Main.KrisDeVolder - 23 Jan 2006
Raw edit | More topic actions
Topic revision: r21 - 2006-04-18 - KrisDeVolder