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
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer

Tue 6 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
17:15 - 18:45: Social - SIGSOFT Town Hall Meeting at Horizons 10-11
fse-2018-Social17:15 - 18:45
Meeting
Thomas ZimmermannMicrosoft Research
fse-2018-Social
18:45 - 20:00: Social - Post Town Hall Reception at Horizons 1-4F
fse-2018-Social18:45 - 20:00
Social Event
Gary LeavensUniversity of Central Florida

Wed 7 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
18:45 - 19:45: Social - Reception at Horizons 6-9F
fse-2018-Social18:45 - 19:45
Social Event
fse-2018-Social
19:45 - 22:00: Social - Banquet at Horizons 6-9F
fse-2018-Social19:45 - 22:00
Social Event

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Social
17:15 - 17:45: Social - Closing Plenary (closing ceremony) at Horizons 6-9F
fse-2018-Social17:15 - 17:45
Social Event
Gary LeavensUniversity of Central Florida

Fri 9 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

fse-2018-WASPI
09:00 - 10:00: WASPI - WASPI workshop at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University
fse-2018-WASPI09:00 - 09:15
Day opening
fse-2018-WASPI09:15 - 10:00
Talk
Miryung KimUniversity of California, Los Angeles
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Spring Lake
fse-2018-WASPI
10:30 - 12:00: WASPI - Morning Talks at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
fse-2018-WASPI10:30 - 11:00
Talk
Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
fse-2018-WASPI11:00 - 11:30
Talk
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA
fse-2018-WASPI11:30 - 12:00
Talk
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
fse-2018-Social
12:00 - 13:30: Social - Lunch at Rock Lake
fse-2018-WASPI
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake
Chair(s): Robert DyerBowling Green State University
fse-2018-WASPI13:30 - 14:00
Talk
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
fse-2018-WASPI14:00 - 14:30
Talk
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
fse-2018-WASPI
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake
Chair(s): Hoan NguyenIowa State University
fse-2018-WASPI14:30 - 15:00
Other
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Spring Lake
fse-2018-WASPI
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake
Chair(s): Hridesh RajanIowa State University
fse-2018-WASPI15:30 - 17:00
Other

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.