by Frederic | Nov 20, 2019 | Uncategorized
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, Nov 20-22 2019. More info: http://www.cse.chalmers.se/~bahafs/CiSS2019/...
by Frederic | Nov 13, 2019 | News
Elias Castegren (post-doc researcher in David Broman’s group) and his colleague Kiko Fernandez-Reyes from Uppsala received a distinguished artifact award at the ACM SIGPLAN International Conference on Software Language Engineering (SLE) two weeks ago for their...
by Frederic | Nov 13, 2019 | News
Cyrille Artho has received a new VR grant for his project TEMOS (Temporal monitoring of smart contracts). Smart contracts are computer programs which execute on top of blockchains to manage the flow of funds, exchange of assets, and transfer of digital rights between...
by Frederic | Nov 5, 2019 | News
With a short video presenting excerpts on what the participants have been demonstrating at R1, follow this link.
by Frederic | Oct 28, 2019 | News
Read the full article (in Swedish): https://www.kth.se/aktuellt/nyheter/konst-gor-undangomd-mjukvara-synlig-1.934548
by Frederic | Oct 2, 2019 | News
An article has been published on the KTH research blog from promoting our CASTOR Software Days and our hackathon! Read the article in English or in Swedish.
by Frederic | Sep 30, 2019 | News
The Repairnator project focused on automatic bug fixing recently joined Eclipse, and this piece of news has been featured on the KTH blog! The article: https://www.kth.se/en/eecs/nyheter/intelligent-bot-repairnator-joins-eclipse-1.927120 ...
by Frederic | Sep 16, 2019 | Uncategorized
Roberto Castañeda Lozano won an Honorable Mention for this year’s Doctoral Research Award of the Association of Constraint Programming: Detailed information: https://www.a4cp.org/node/1265 This year’s competition was particular fierce both in number of nominations and...
by Frederic | Sep 9, 2019 | News
A new post about Dynamic Analysis of software programs by Benoit Baudry and Martin Monperrus has been recently published on the CACM blog. Full text: https://cacm.acm.org/blogs/blog-cacm/239266-dynamic-analysis-in-the-browser/fulltext
by Frederic | Sep 2, 2019 | News
Eclipse Repairnator is an intelligent bot for continuous integration: it suggests fixes for bugs and missing tests for quality assurance. Repairnator is artificial intelligence for continuous integration: “AI for CI“. Repairnator is an open-source software project,...
