[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS
*Analysis and Programming Languages for Web Applications and Cloud
Applications *
(APLWACA 2010)
http://research.microsoft.com/en-us/um/redmond/events/APLWACA2010
Toronto, Canada, Sunday June 6, 2010
Co-located with PLDI 2010
Submission due date: Friday March 26, 2010
Analysis and Programming Languages for Web Applications and Cloud
Applications (APLWACA, pronounced "apple-whacka") is a new workshop that
provides a forum for exploring and evaluating ideas on the use of
program analysis and programming language techniques to improve web and
cloud applications. Web applications are distributed systems that
communicate using Web protocols, and contain client systems executing
within commodity web browsers. Cloud applications are distributed
systems that utilize cloud computing technologies.
The focus of the workshop is primarily on reliability, security, and
performance of web and cloud applications. Strongly encouraged are
proposals of new, speculative ideas; evaluations of new or known
techniques in practical settings; and discussions of important existing
and emerging problems.
The scope of APLWACA includes, but is not limited to:
* Static analysis of web and cloud applications
* Runtime analysis of web and cloud applications and enhanced web
and cloud application runtimes
* Program analysis techniques for discovering reliability issues,
security vulnerabilities, or performance bottlenecks
* Testing and model checking of web and cloud applications
* Compiler- and language-based mechanisms for security and performance
* New languages, techniques, and runtimes for programming web and
cloud applications, including client-side programming
* Characterizing web and cloud application workloads and benchmarks,
especially as it comes to large distributed applications like
Facebook or Hotmail
More details can be found on the APLWACA website:
http://research.microsoft.com/en-us/um/redmond/events/APLWACA2010
Important Dates
Submission due date
Friday, March 26, 2010
Author notification
Friday, April 30, 2010
Revised papers due
Friday, May 14, 2010
APLWACA 2010 workshop
Sunday, June 6, 2010
Technical Program Committee
Stephen Chong
Harvard University (co-chair)
Ranjit Jhala
University of California San Diego
Trevor Jim
AT&T Labs Research
Shriram Krishnamurthi
Brown University
Benjamin Livshits
Microsoft Research (co-chair)
Sergio Maffeis
Imperial College London
John C. Mitchell
Stanford University
Anders Møller
Aarhus University
