ESEC/FSE 2018 (series) /
SocialESEC/FSE 2018
No information available yet.
Dates
Tracks
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sun 4 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
17:15 - 18:45 | |||
17:15 90mMeeting | SIGSOFT Town Hall Meeting Social Thomas Zimmermann Microsoft Research |
18:45 - 20:00 | |||
18:45 75mSocial Event | Post Town Hall Reception Social Gary T. Leavens University of Central Florida |
Wed 7 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Wed 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
18:45 - 19:45 | |||
18:45 60mSocial Event | Reception Social |
19:45 - 22:00 | |||
19:45 2h15mSocial Event | Banquet Social |
Thu 8 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Thu 8 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
17:15 - 17:45 | |||
17:15 30mSocial Event | Closing Plenary (closing ceremony) Social Gary T. Leavens University of Central Florida |
Fri 9 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 9 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | WASPI workshopWASPI at Spring Lake Chair(s): Robert Dyer Bowling Green State University, Gary T. Leavens University of Central Florida, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University | ||
09:00 15mDay opening | Welcome and introductions WASPI | ||
09:15 45mTalk | New frontier of mining software repositories at scale---Usability and information delivery (invited talk) WASPI Miryung Kim University of California, Los Angeles |
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 30mTalk | Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions WASPI Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University, Robert Dyer Bowling Green State University | ||
11:00 30mTalk | Contract Discovery from Black-Box Components WASPI Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats P. E. Heimdahl University of Minnesota, USA | ||
11:30 30mTalk | Automated Generation of Creative Software Requirements: A Data-Driven Approach WASPI |
13:30 - 14:30 | |||
13:30 30mTalk | On the Significance of Contract-Based Typestate Specification WASPI Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Hridesh Rajan Iowa State University | ||
14:00 30mTalk | Towards Static Recovery of Micro State Transitions from Legacy Embedded Code WASPI Ryota Yamamoto Nagoya University, Norihiro Yoshida Nagoya University, Hiroaki Takada Nagoya University DOI Pre-print |
14:30 - 15:00 | Future of Specification Inference PanelWASPI at Spring Lake Chair(s): Hoan Nguyen Iowa State University | ||
14:30 30mOther | Panel Discussion on Future of Specification Inference WASPI |
15:00 - 15:30 | |||
15:30 - 17:00 | Open Discussion: Benchmarks for Program SpecificationWASPI at Spring Lake Chair(s): Hridesh Rajan Iowa State University | ||
15:30 90mOther | Open Discussion - Benchmarks for Program Specification WASPI |
Unscheduled Events
Not scheduled Lunch | Lunch WASPI Social | ||
Not scheduled Lunch | Mentoring Lunch I Social | ||
Not scheduled Lunch | Lunch 0 Social | ||
Not scheduled Lunch | Lunch Social | ||
Not scheduled Lunch | Mentoring Lunch III Social | ||
Not scheduled Lunch | Mentoring Lunch II Social | ||
Not scheduled Lunch | Lunch II Social | ||
Not scheduled Lunch | Lunch I Social |
Accepted Papers
Title | |
---|---|
Closing Plenary (closing ceremony) Social | |
Lunch 0 Social | |
Lunch I Social | |
Lunch II Social | |
Lunch WASPI Social | |
Mentoring Lunch I Social | |
Mentoring Lunch II Social | |
Mentoring Lunch III Social | |
Post Town Hall Reception Social | |
SIGSOFT Town Hall Meeting Social |