Time: Fridays 3:30-5:00pm
Location: EBII 2216 (except for the first week, which will be at the lab 2241 EB II)

Schedule:  

• Aug 21: A group debriefing by Tao Xie (2241 EB II Lab)
• Aug 28: "Loop-Extended Symbolic Execution on Binary Programs" (ISSTA 2009) presented by Suresh Thummalapenta
  
• Sep 04: "HAMPI: A solver for string constraints" (ISSTA 2009) presented by Madhuri R. Marri
• Sep 11: No group meeting. All members are requested to attend the seminar "Compiler/Runtime Optimization for Multicore Processors"
• Sep 18: A round table meeting with Nikolai Tillmann from Microsoft Research
• Sep 25: Jeehyun mock presentation for SRDS 2009. "Precise Interface Identification to Improve Testing and Analysis of Web Applications" (ISSTA 2009) presented by Kunal Taneja
• Oct 02: ICSE Industry Track deadline, No group meeting
• Oct 09: Fall-break, No group meeting
• Oct 16: "Mining Security-sensitive Operations in Legacy Code using Concept Analysis" (ICSE 2007) and "AutoISES: Automatically Inferring Security Specifications and Detecting Violations" presented by Jeehyun Hwang
• Oct 23: Research Presentations by undergrad students in the ASE group
• Oct 30: Reading group for abstract and introduction of WWW submissions (Kunal & Madhuri, Jeehyun)
  

Archived Meetings 

Guidelines:
Also see MIT Program Analysis Reading Group Guidelines

Objectives:
1. know what other students are working on and offer suggestions to improve other students' work
2. read literature related to your work (and your fellow students' work)
3. introduce your work and ask for critics when you have submission drafts or even proposals
4. explore collaboration opportunities among group members

Suggested Tasks for Non-Presenter:
1. read the assigned paper before the group meeting
2. see whether you can apply the ideas in the assigned paper in your own research
3. see whether you have some suggestions for the presenter to improve his or her proposed research
4. see whether you can contribute to collaborate with the presenter on some topics that interest you as well

Suggested Discussion Format for Presenter: (typically the presenter prepares some slides to lead the discussion)
1. what problems you are trying to address in your own research; why the problems are significant and we should care about them.
2. what possible evaluation can be done to assess proposed solutions to the problems. (give concrete examples on how other peer researchers evaluate the solution to similar problems)
3. what you have done so far to address the problems
4. why you think the paper is relevant to your research
5. what problems the paper addresses
6. what approach/study the paper presents
7. what you have learn from the paper that can improve/inspire your existing work
8. what difficulties you face in your own research
9. your future plan of doing your research (that is probably related to the paper)
Be sure to leave enough time for discussion.