Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Tue 20 Sep 2016 11:00 - 11:25 at Noh Theater - Session 5 Chair(s): Robby Findler

This paper documents our experience of adapting and using the QuickCheck-style approach for extensive randomised property-based testing of computational geometry algorithms.

The need in rigorous evaluation of computational geometry procedures has naturally arisen in our quest of organising a medium-size programming contest for second year university students—an experiment we conducted as an attempt to introduce them to computational geometry. The main effort in organising the event was implementation of a solid infrastructure for testing and ranking solutions. For this, we employed functional programming techniques. The choice of the language and the paradigm made it possible for us to engineer, from scratch and in a very short period of time, a series of robust geometric primitives and algorithms, as well as implement a scalable framework for their randomised testing.

We describe the main insights, enabling efficient random testing of geometric procedures, and report on our experience of using the testing framework, which helped us to detect and fix a number of issues not just in our programming artefacts, but also in the published algorithms we had implemented.

I am a lecturer (assistant professor) at University College London.

Prior to joining UCL, I was a postdoctoral researcher at IMDEA Software Institute (Madrid, Spain). I defended my PhD in 2012 in the DistriNet research group at the Department of Computer Sciences of KU Leuven (Belgium). Before that I received my MSc degree in Mathematics and Computer Science from Saint Petersburg State University (Russia) in 2008.

My research interests dwell in the area of the design and implementation of programming languages, including but not limited to program semantics, certified programming, concurrency and abstract interpretation. I am particularly interested in developing verification techniques and static analyses for higher-order and concurrent programs.

Tue 20 Sep

10:35 - 12:15: Research Papers - Session 5 at Noh Theater
Chair(s): Robby FindlerNorthwestern University
icfp-2016-papers10:35 - 11:00
Manuel SerranoInria, France, Vincent PrunetInria, France
icfp-2016-papers11:00 - 11:25
Ilya SergeyUniversity College London, UK
icfp-2016-papers11:25 - 11:50
Kento EmotoKyushu Institute of Technology, Japan, Kiminori MatsuzakiKochi University of Technology, Japan, Zhenjiang HuNational Institute of Informatics, Japan, Akimasa MorihataUniversity of Tokyo, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
icfp-2016-papers11:50 - 12:15
Michael ArntzeniusUniversity of Birmingham, UK, Neel KrishnaswamiUniversity of Birmingham, UK