WASPIESEC/FSE 2018
No information available yet.
Fri 9 Nov
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 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:00 Talk | Miryung KimUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: WASPI - Morning Talks at Spring Lake Chair(s): Gary LeavensUniversity of Central Florida | ||||||||||||||||||||||||||||||||||||||||||
| 10: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 | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake Chair(s): Robert DyerBowling Green State University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake Chair(s): Hoan NguyenIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Other | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake Chair(s): Hridesh RajanIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Other | ||||||||||||||||||||||||||||||||||||||||||
THE 1ST INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION INFERENCE
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.
Robert Dyer
Bowling Green State University
United States
Vasant Honavar
Pennsylvania State University, USA
Gary Leavens
University of Central Florida
United States
Hoan Anh Nguyen
Iowa State University, USA
United States
Tien N. Nguyen
University of Texas at Dallas
United States
Hridesh Rajan
Iowa State University
United States