New research (“Using Relational Problems to Teach Property-Based Testing”) by Brown CS PhD student Jack Wrenn and Professors Tim Nelson and Shriram Krishnamurthi has recently won the annual Editors’ Choice Award for Volume 5 of The Art, Science, and Engineering of Programming, popularly known as <Programming>. “I think this paper,” writes editor Professor Jeremy Gibbons of Oxford University, “clearly epitomises the spirit of the journal: not just elegant technical work, but also a careful discussion of how properly to evaluate it.”
In their work, the authors discuss the use of relational problems (those for which an input may admit multiple valid outputs) to motivate the use of property-based testing (PBT) libraries. In addition to describing problems that they’ve developed for use, they introduce a simple method to evaluate the accuracy of student specifications and demonstrate that students can do quite well at PBT for these problems.
Recent days have brought two other honors for Shriram: he received an Outstanding Reviewer Award for stellar service on <Programming>’s Standing Review Committee and a Distinguished Reviewer Award for the International Conference on Software Engineering (ICSE) 2021.
For more information, click the link that follows to contact Brown CS Communication Outreach Specialist Jesse C. Polhemus.