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
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.
Conferences Proceedings:
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 07 SPIN 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 05 SPIN 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, NDSS, WWW, ACSAC, SACMAT, POLICY,
Journals: