News & Events

2022-11-24 Talk at EclipseCon’22 uploaded on YouTube
2022-11-02 Trustfull project extended till March 2024
2022-10-05 Roberto presents at SEED workshop
2022-09-12 Musard and Mikhail’s article on The Register.
2022-09-07 Aman presents Sorald at EclipseCon’22
2022-09-07 Musard presents at Internetdagarna
2022-08-22 MIL Formalization released on Zenodo
2022-07-25 Article in The Register: Node.js prototype pollution is bad for your app environment
2022-06-01 CASTOR Software days: August 31, September 1
2022-01-10 We co-organize the Coq Workshop in August 2022
2021-01-01: Jonas Haglund did a 7-week internship at Arm spent on studying and refining part of a research project
2020-11-09: Andreas Lindner did a 6-week internship at Arm on high-level formalization and rough justification of a system for software isolation
2020-05-05 We co-organize the 2nd International Workshop on Automated Program Repair (APR 2021) http://program-repair.org/workshop-2021/
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/
2019-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