From 2010-2015 David Kelk worked in the Software Quality Research Lab under the direction of Dr. Jeremy Bradbury and Dr. Mark Green. In December 2014, David successfully defended his PhD thesis titled “CORE: A Framework for the Automatic Repair of Concurrency Bugs” and he has continued to work on the ARC research project.
research interests: model checking, domain specific modelling, concurrency, genetic algorithms, programming languages, software quality, testing.
- David Kelk, Kevin Jalbert, Jeremy Bradbury. “Automatically Repairing Concurrency Bugs with ARC,” Proc. of the 1st International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), pages 73-84, Saint Petersburg, Russia, Aug. 2013.
- Jeremy S. Bradbury, David Kelk, Mark Green. “Effectively Using Search-Based Software Engineering Techniques within Model Checking and It’s Applications,” Proc. of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013), pages 67-70, San Francisco, CA, USA, May 2013.
- Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk. “Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools,” Proc. of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), pages 25-35, Minneapolis, Minnesota, Jul. 2012.
- David Kelk. “CORE: A Framework for the Automatic Repair of Concurrency Bugs,” PhD Thesis, Computer Science, University of Ontario Institute of Technology, Feb. 2015. [supervisors: J. Bradbury, M. Green]