No information available yet.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
Coffee Break MorningSocial at Lakes Foyer
12:00 - 13:30
15:00 - 15:30
Coffee Break AfternoonSocial at Lakes Foyer

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
Coffee Break MorningSocial at Lakes Foyer
12:00 - 13:30
15:00 - 15:30
Coffee Break AfternoonSocial at Lakes Foyer

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
17:15 - 18:45
SIGSOFT Town Hall MeetingSocial at Horizons 10-11
17:15
90m
Meeting
SIGSOFT Town Hall Meeting
Social
Thomas Zimmermann Microsoft Research
18:45 - 20:00
Post Town Hall ReceptionSocial at Horizons 1-4F
18:45
75m
Social Event
Post Town Hall Reception
Social
Gary T. Leavens University of Central Florida

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
18:45 - 19:45
ReceptionSocial at Horizons 6-9F
18:45
60m
Social Event
Reception
Social

19:45 - 22:00
19:45
2h15m
Social Event
Banquet
Social

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
Coffee Break MorningSocial at Horizons 1-4F
12:00 - 13:30
15:00 - 15:30
Coffee Break AfternoonSocial at Horizons 1-4F
17:15 - 17:45
Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15
30m
Social Event
Closing Plenary (closing ceremony)
Social
Gary T. Leavens University of Central Florida

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
15m
Day opening
Welcome and introductions
WASPI

09:15
45m
Talk
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
Coffee Break MorningSocial at Spring Lake
10:30 - 12:00
Morning TalksWASPI at Spring Lake
Chair(s): Gary T. Leavens University of Central Florida
10:30
30m
Talk
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
30m
Talk
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
30m
Talk
Automated Generation of Creative Software Requirements: A Data-Driven Approach
WASPI
Quoc Anh Do Mississippi State University, Tanmay Bhowmik Mississippi State University
12:00 - 13:30
13:30 - 14:30
Afternoon talksWASPI at Spring Lake
Chair(s): Robert Dyer Bowling Green State University
13:30
30m
Talk
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
30m
Talk
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
30m
Other
Panel Discussion on Future of Specification Inference
WASPI

15:00 - 15:30
Coffee Break AfternoonSocial at Spring Lake
15:30 - 17:00
Open Discussion: Benchmarks for Program SpecificationWASPI at Spring Lake
Chair(s): Hridesh Rajan Iowa State University
15:30
90m
Other
Open Discussion - Benchmarks for Program Specification
WASPI

Specifications provide programmers with the confidence their implementations are correct. Formal specifications can even automatically verify the code and specification are consistent, providing additional guarantees. However, most programmers do not write such specifications as it is either too hard, too time consuming, or requires expertise not widely available. Tools and techniques have been developed over time to (semi)automate the generation of such specifications, to varying success.

The International Workshop on Automated Specification Inference (WASPI) provides a venue for researchers and practitioners to come together and discuss the current state of the art of and challenges to specification inference techniques and tools. For example, how do we infer more complex and usable specifications? How do we increase the accuracy of the inference techniques? How do we encourage practitioners to use the inference tools and techniques more than they currently do? The goal of this workshop is to identify the most pressing open problems facing specification inference researchers and provide a solid direction toward solving those problems.