Skip to content
2020-10-26 Pellow , browser art installation at Tekniska Museet, Stockholm 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