Mon 26 Oct 2015 14:46 - 14:59 at Grand Station 5 - Programming Languages Papers Chair(s): Joshua Sunshine

The idea of specifying and verifying software to eliminate errors has been studied extensively over the last three decades or more. Recent advances in automated theorem proving have given rise to a range of new verification tools being developed. Despite this, very little is known about the effect of using such tools on software development. In this paper, we present several verification-related usability hypotheses which we believe warrant further investigation. These hypotheses are based on observations from the literature, as well as our own experiences in developing and using the Whiley verification system.

Some Usability Hypotheses for Verification (plateau2015-pearce.pdf)90KiB

Mon 26 Oct

plateau2015
13:30 - 15:00: PLATEAU - Programming Languages Papers at Grand Station 5
Chair(s): Joshua SunshineCarnegie Mellon University
plateau201513:30 - 13:50
Talk
Fredy CuencaHasselt University - tUL - iMinds, Jan Van den BerghHasselt University - tUL - iMinds, Kris LuytenHasselt University - tUL - iMinds, Karin ConinxHasselt University - tUL - iMinds
File Attached
plateau201513:50 - 14:10
Talk
Gustavo PintoUFPE, Weslley TorresFederal University of Pernambuco, Fernando CastorUFPE
File Attached
plateau201514:10 - 14:20
Talk
Michael CoblenzCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University, Sam WeberSoftware Engineering Institute, Forrest ShullSoftware Engineering Institute
File Attached
plateau201514:20 - 14:33
Talk
Ismael FigueroaPontificia Universidad Católica de Valparaíso, Chile, Romain RobbesUniversity of Chile
File Attached
plateau201514:33 - 14:46
Talk
Najwani RazaliVictoria University of Wellington, James NobleVictoria University of Wellington, Stuart MarshallVictoria University of Wellington
File Attached
plateau201514:46 - 14:59
Talk
David PearceVictoria University of Wellington
File Attached