asergrp

Meetings

Home   News   People   Research   Funding   Publications   Presentations   Software   Blog   Wiki    Roles   Meeting   Deadlines   Summary   Server   Pictures

NCSU ASE - Group Meeting


Schedule   Guidelines    Calendar    Conference Proceedings

2009 Fall Group Meetings

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.




Conferences Proceedings:  
 (SE Conference Map)

ICSE 08  FSE 08  ASE 08  ISSTA 08  OOPSLA 08  ECOOP 08  FASE 08  PASTE 08    PLDI 08   POPL 08      
ICSE 07  FSE 07  ASE 07  ISSTA 07  OOPSLA 07  ECOOP 07  FASE 07  PASTE 07    PLDI 07   POPL 07
ICSE 06  FSE 06  ASE 06  ISSTA 06  OOPSLA 06  ECOOP 06  FASE 06                       PLDI 06   POPL 06
ICSE 05  FSE 05  ASE 05  ISSTA 04  OOPSLA 05  ECOOP 05  FASE 05  PASTE 05    PLDI 05   POPL 05
ICSE 04  FSE 04  ASE 04  ISSTA 02  OOPSLA 04  ECOOP 04  FASE 04  PASTE 04    PLDI 04   POPL 04
ICSE       FSE       ASE       ISSTA       OOPSLA       ECOOP       FASE       PASTE         PLDI        POPL

Proceedings of other conferences: TACAS, 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


Home   News   People   Research   Funding   Publications   Presentations   Software   Blog   Wiki    Roles   Meeting   Deadlines   Summary   Server   Pictures
Subpages (1): Archived Meetings