Schedule of MASPLAS 2006

09:00-09:30WelcomeCore Lobby
09:30-10:45Section ICore Auditorium

  • Program Phase Classification for Power Behavior Characterization
    Chunling Hu, John McCabe, Daniel Jimenez and Ulrich Kremer (Rutgers University)
  • A New Bignum Multiplication Algorithm
    Michael Malenkov, Chris Dutra and Marco T. Morazan (Seton Hall University)
  • Truck Security Tool for U.S. Customs and Border Protection
    Catalin Constantin, Jerry Dekker, Bonnie Rajchel and Richard Sasko (Purdue University Calumet)
10:45-11:00BreakCore Lobby
11:00-12:15Section IICore Auditorium

  • Test Coverage Tools for Database Applications
    Eric Tang, Phyllis Frankl (Polytechnic University) and Yuetang Deng (Google)
  • Toward Systematic Testing of Access Control Policies
    Evan Martin and Tao Xie (North Carolina State University)
  • Towards Automatically Creating Test Suites from Web Application Field Data
    Sara Sprenkle, Emily Gibson, Sreedevi Sampath and Lori Pollock (University of Delaware)
12:15-13:15Lunch
13:15-14:15

Keynote: Optimizing AspectJ with abc, by Laurie Hendren

Core Auditorium
14:15-15:05Section IIICore Auditorium

  • Identifier Splitting: A Study Of Two Techniques
    Henry Feild, David Binkley and Dawn Lawrie (Loyola College)
  • Mining Change and Version Management Histories to Evaluate an Analysis Tool
    Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry (U. Texas at Austin)
15:05-16:35Poster SessionCore Lobby

  • Mithun Acharya, Tao Xie and Jun Xu, "Generating and Inferring Interface Properties for Static Analysis"
  • Sreedevi Sampath, Sara Sprenkle, Emily Gibson and Lori Pollock, "Applying Concept Analysis to User-session-based Testing of Web Applications"
  • Emily Gibson and Lori Pollock, "Providing Remote Debugging Feedback without Revealing Sensitive Information"
  • James Jablin and Patrick Clancy, "Student Experiences with the use of Attribute Grammars in the Teaching of Compiler Design and Implementation"
  • Stan Rosenberg, "Encoding a denotational model of Java with exceptions in a theorem prover"
  • Jerry Hom and Ulrich Kremer, "Inter-program Optimizations for Disk Energy Reduction"
  • Adrian Stere, "A Software Testbed Architecture for Distributed, Mobility-Aware Applications"
  • Desiree Ottoni, "Offset Assignment Using Simultaneous Variable Coalescing"
  • Fancong Zeng, Michael Littman, "Exploiting Partially Observable Markov Decision Processes for Java Deadlock Detection"
  • Chen Fu and Barbara G. Ryder, "Testing and Understanding Error Recovery Code in Java Applications"
  • Yin Liu and Ana Milanova, "Static Analysis for Dynamic Coupling Metrics"
  • Nishkam Ravi, Marco Gruteser and Liviu Iftode, "Information Flow Control for Location-based Services".
  • Kiran Nagaraja, Andrew Tjang, F`abio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen, "Model-Based Validation for Dealing with Operator Mistakes".
16:35-17:35Career PanelCore Auditorium
Panel Speakers:
Matt Arnold, IBM Research;   Laurie Hendren, McGill Univ;   Chris Marty, Bloomberg;   Mark Lewin, Microsoft;   and others (TBD).

IMPORTANT DATES:

Paper/Poster abstract deadline: (extended to) Monday, March 20, 2006 Abstraction Submission Form
Notification Date:Monday, April 3, 2006
Final paper submission deadline: (extended to) Friday, April 14, 2006 Final Paper Submission Form
Registration Deadline: April 19, 2006 Registration Form
Workshop Date: Saturday, April 29th, 2006