News & Events

2020-06-18 Article at Framtidens Forskning: Skydd mot buggar i digitala system
2020-04-16 KTH Nordic Open Workshop on Automatic Program Repair (NPR)
2020-01-01 Our work on AI for bug fixing appears on Swedish television SVT2
2019-12-04 Chaos Day
2019-11-22, Mads Dam is giving an invited talk “First-Order mu-calculus as a Language Independent Program Verification Framework” at the conference on Circularity in Syntax and Semantics in Gothenburg, URL: http://www.cse.chalmers.se/~bahafs/CiSS2019/
2016-10-14/16 CASTOR Software Days
2019-07-01: Martin Monperrus, Talk at University of California Davis, “SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair“
2019-04-18: Martin Monperrus, Talk at University College London, “SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair“
2019-04-17: Martin Monperrus, Talk at Microsoft Research Cambridge, “SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair“
2019-01-23 Radio: AI och samhällsutvecklingen
2018-06-26 Tillförlitliga fullstack programvarusystem vid KTH