meetings


ASE - Group Meeting


Schedule   Guidelines    Calendar    Conference Proceedings

2019 Spring Group Meetings
Time: Friday 10:50am-12:20pm
Location: 4102 SC

Schedule:
  • Jan 22: Logistics and Group Policy Reinforcement
  • Feb 1: Show and Tell: Weekly Progress Emails
  • Feb 8: Liia's talk
  • Feb 15: Jonathan's talk
  • Feb 22: Wenyu's qual practice
  • March 1: Show and Tell: Weekly Progress Emails
  • March 8: Linyi's talk
  • March 15: Zhengkai's talk
  • March 22: Show and Tell: Weekly Progress Emails
  • March 29: Neil's talk
  • April: 5: Jonathan and Liia's debrief
  • April 12: Angello's talk / Wing's ICST practice talk
  • April 19: Zexuan's talk
  • April 26: Show and Tell: Weekly Progress Emails
  • May 3: Tao's logistical talk (First day of finals)
  • May 10: Tao's logistical talk (Last day of finals)


2018 Fall Group Meetings
Time: Friday 11:00am-12:30pm
Location: 4124 SC

Schedule:
  • Aug 30: Group logistics
  • Sept 7: Facebook Visitor (Alex) Lunch
  • Sept 14: Yevgeniy's Talk
  • Sept 21: Tapia Conference
  • Sept 28:  Angello on microservices
  • Oct 5: Liia on CSE
  • Oct 12: General discussion
  • Oct 19: Wing on flaky testing
  • Oct 26: Zhengkai's talk
  • Nov 2: Wenyu's talk on ASE experiences
  • Nov 9: Ben's talk
  • Nov 16: Jonathan's talk
  • Nov 30: Ping's talk
  • Dec 7: Casual talk
  • Dec 14: Xueqing's literature survey on natural language to SQL 
  • Final Exams

2018 Spring Group Meetings
Time: Thursday 1:30pm-3:00pm
Location: 3124SC; (4407SC for Feb 22, Mar 1 and Mar 8)

Schedule:
    • Jan 18: Group logistics
    • Jan 25: Wenyu
    • Feb 1: Ping
    • Feb 8:
    • Feb 15: Wei (PILOT Seminar)
    • Feb 22 (4407SC): 
    • Mar 1 (4407SC):
    • Mar 8 (4407SC): Liia
    • Mar 15:
    • Mar 22: (Spring Break)
    • Mar 29:Wing
    • April 5: Yue Leng
    • April 12: Jiayi Cao
    • April 19: Zexuan
    • April 26: Zhengkai
    • May 3: Zelin
    • May 4: final exam

    2017 Fall Group Meetings
    Time: Thursday 11:00pm-12:30pm

    Schedule:
    • Sept 29: Group logistics
    • Oct 6: Angello
    • Oct 13: Wenyu
    • Oct 20: Zexuan
    • Oct 27: Wing
    • Nov 3: Liia
    • Nov 10: Jade
    • Nov 17:  Ping
    • Thanksgiving
    • Dec 1: Jiayi Cao
    • Dec 8: Zhengkai
    • Dec 15: Mingming
    • Final Exam


    2017 Spring Group Meetings
    Time: Thursday 2:00pm-3:30pm (except Jan 26 4:00pm-5:00pm)
    Location: 
    4407 Siebel Center (SC)

    Schedule:
    • Jan 26: Group logistics
    • Feb 2: Wei's deep learning tutorial
    • Feb 9: Wei's deep learning tutorial
    • Feb 16: Zhengkai
    • Feb 23: Ping's qual presentation
    • March 2
    • March 9
    • March 16: 
    • March 23: Spring break
    • March 30: Wing
    • April 6: Angello
    • April 13: Davis
    • April 20: Mingming
    • April 27:Ping
    • May 4:


    ==========
    2016 Fall Group Meetings
    Time: Thursday 3:30pm-5:00pm 
    Location: 
    4407 Siebel Center (SC)

    Schedule:
    • Sept 15: Wei's Soot tutorial
    • Sept 22: Attend distinguished lecture
    • Sept 29: Davis's Android Testing
    • Oct 6: Mingming's current research topic
    • Oct 13:  Discuss weekly RA hour commitment
    • Oct 20: Prof.Tianyu Wo: research topic
    • Oct 27: Chiao: Pex framework tutorial 
    • Nov 3: Ping 
    • Nov 10: Zhengkai - Programming contest
    • Nov 17: FSE conference
    • Nov 24: Thanksgiving
    • Dec 1:Wing - MSBuild
    • Dec 8: 

    2016 Spring Group Meetings

    Time: Tu 4:50pm-6:30pm 
    Location: 
    4407 Siebel Center (SC)

    Schedule: 

    • Jan 27: Organizational Meeting.
    • Feb 3: Angello
    • Feb 9: David - Submission to USENIX Security 2016
    • Feb 16:
    • Feb 23: Wing
    • March 1: Davis -> Change to Wei/Angello/Ping/Chiao for project presentation
    • March 8: Qin
    • March 15:Wesley
    • March 22: Spring Break
    • March  29: Mengqi
    • April 5: Ore
    • April 12: Chiao
    • April 19: Ping
    • April 26: Angello
    • May 3: Davis
    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.

    Logistics for Signup/Assignment of Group Meeting Presentations

    In the beginning of the semester (before Thursday of the first week of the semester), the group meeting coordinator emails the group mailing list to ask students (1) to sign up for a particular week's group meeting presentation (by default, a student shall sign up for only one week's group meeting presentation), and (2) to nominate/suggest students or faculty members outside of our group to give a guest presentation in our group meeting on a specific topic that is of general interest to our group members. Then on Friday of the first week of the semester, the group meeting coordinators will meet with the advisor to assign students or specific alternative arrangement to the remaining empty slots for certain weeks. Students need to present in the group meeting for at least one time per semester. Some students may present for two times. After discussion and approval from the advisor, the group meeting coordinator shall proactively invite students or faculty members outside of our group to give a guest presentation in our group meeting on a specific topic that is of general interest to our group members.



    You can click the URL on the line below to navigate to the DBLP entry for the corresponding conference. From there, you can navigate to each year's proceedings. Alternatively, you can click the rows further below for direct links to the proceedings in respective digital libraries such as ACM, IEEE, or Springer libraries.

    ICSE       FSE       ASE       ISSTA       OOPSLA       ECOOP       FASE       PASTE       MSR            PLDI        POPL       TACAS     SPIN        CAV

    ICSE 15   FSE 15    ASE 15 ISSTA 15   OOPSLA 15   ECOOP 15  FASE 15                 MSR 2015  PLDI 15   POPL 15   TACAS 15 SPIN 15  CAV 15
    ICSE 14  FSE 14    ASE 14 ISSTA 14   OOPSLA 14   ECOOP 14  FASE 14                 MSR 2014  PLDI 14   POPL 14   TACAS 14 SPIN 14  CAV 14
    ICSE 13  FSE 13  ASE 13  ISSTA 13  OOPSLA  13  ECOOP 13  FASE 13  PASTE 13  MSR 2013   PLDI 13   POPL 13   TACAS 13  SPIN 13  CAV 13

    ICSE 12  FSE 12  ASE 12  ISSTA 12  OOPSLA  12  ECOOP 12  FASE 12                      MSR 2012   PLDI 12   POPL 12   TACAS 12  SPIN 12  CAV 12

    ICSE 11  FSE 11  ASE 11  ISSTA 11  OOPSLA  11  ECOOP 11  FASE 11  PASTE 11  MSR 2011   PLDI 11   POPL 11   TACAS 11  SPIN 11  CAV 11

    ICSE 10  FSE 10  ASE 10  ISSTA 10  OOPSLA  10  ECOOP 10  FASE 10  PASTE 10  MSR 2010   PLDI 10   POPL 10   TACAS 10  SPIN 10  CAV 10
    ICSE 09  FSE 09  ASE 09  ISSTA 09  OOPSLA 09  ECOOP 09  FASE 09                      MSR 2009   PLDI 09   POPL 09   TACAS 09  SPIN 09  CAV 09
    ICSE 08  FSE 08  ASE 08  ISSTA 08  OOPSLA 08  ECOOP 08  FASE 08  PASTE 08  MSR 2008   PLDI 08   POPL 08   TACAS 08  SPIN 08  CAV 08
    ICSE 07  FSE 07  ASE 07  ISSTA 07  OOPSLA 07  ECOOP 07  FASE 07  PASTE 07  MSR 2007   PLDI 07   POPL 07   TACAS 0SPIN 07  CAV 07
    ICSE 06  FSE 06  ASE 06  ISSTA 06  OOPSLA 06  ECOOP 06  FASE 06                      MSR 2006   PLDI 06   POPL 06   TACAS 06  SPIN 06  CAV 06
    ICSE 05  FSE 05  ASE 05  ISSTA 04  OOPSLA 05  ECOOP 05  FASE 05  PASTE 05  MSR 2005   PLDI 05   POPL 05   TACAS 0SPIN 05  CAV 05
    ICSE 04  FSE 04  ASE 04  ISSTA 02  OOPSLA 04  ECOOP 04  FASE 04  PASTE 04  MSR 2004   PLDI 04   POPL 04   TACAS 04  SPIN 04  CAV 04

    Proceedings of other conferences: SoftVis, EMSOFT, IEEE S&P (Oakland), CCS, USENIX SEC, NDSSWWW, ACSAC, SACMAT, POLICY,

    Journals: 
    TSE  TOSEM  STVR
    MIT Program Analysis Reading Group
    NCSU Library links to ACM/IEEE/LNCS libraries