CS 595C
Domain Specific Languages and Analyses for Web Applications
Spring 2010
Description:
Web application development is an error prone process. Many web applications
handle unexpected user requests inappropriately and are vulnerable to
exploits by malicious users. One approach to improving dependability of
Web applications is the creation of domain specific languages that target
and address specific dependability concerns. In this seminar we will
discuss novel research in domain specific languages and the associated
analysis techniques that focus on web application development.
Instructors:
Ben Hardekopf
and
Tevfik Bultan
Meeting time:
Monday 3:00-4:00pm
Location: Computer Science Meeting Room (HFH 1152)
Enrollment Code: TBA
Units: This will be a 2 unit seminar
Paper Reviews
Each week, each student is required to write a review of the paper that
will be presented and submit the review to the instructors before the
class. Paper reviewing is an essential part of academic life and it
is a great way to understand the concepts presented in a paper. Here
is a paper review template and here
are two example reviews (example 1,
example 2) written by one of the
instructors based on this template. In each review you are asked to 1)
summarize the results presented in the paper, 2) identify the novelty of
the proposed approach, 3) discuss any flaws that you see in the proposed
approach and, 4) discuss how the proposed approach fits with other results
and how it can be extended or improved.
Presentations
- Week 2 (April 5): Chris Phillips will present paper 1
- Week 3 (April 12): Muath Alkhalaf will present paper 2
- Week 4 (April 19): Ben Hardekopf will present paper 3
- Week 5 (April 26): Ravi Ramanujam will present paper 4
- Week 6 (May 3): Jaideep Nijjar will present paper 5
- Week 7 (May 10): Tevfik Bultan will present paper 6
- Week 8 (May 17): Youngjoon Choi will present paper 7
- Week 9 (May 24): Vineeth Kashyap will present paper 8
- Week 10 (May 31): Harry Presman will present paper 9
Papers
- When and How to Develop Domain-Specific Languages
Marjan Mernik,
Jan Heering
and
Anthony M. Sloane
- The bigwig Project
Claus Brabrand, Anders Moller, and Michael I. Schwartzbach.
-
Automatically Restructuring Programs for the Web.
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen. Autom. Softw. Eng. 11(4): 337-364 (2004)
-
Links:Web Programming Without Tiers
Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop
-
Flapjax: A Programming Language for Ajax Applications
Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael
Greenberg, Aleks Bromfield, Shriram Krishnamurthi.
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages \& Applications, 2009
- An Embedded Domain-Specific Language for
Type-Safe Server-Side Web Scripting
Peter Thiemann
- Better Abstractions for Secure Server-Side Scripting
Dachuan Yu, Ajay Chander, Hiroshi Inamura and Igor Serikov
- Interprocedural Query Extraction for Transparent Persistence
Ben Wiedermann, Ali Ibrahim, and William R. Cook
- Abstract parsing:
static analysis of dynamically generated string
output using LR-parsing technology
Kyung-Goo Doh, Hyunha Kim, and David A. Schmidt
- Ur: Statically-Typed Metaprogramming
with Type-Level Record Computation
Adam Chlipala