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
CASTOR Newsletter
Latest News
- A CASTOR Contribution to the Swedish Tech Press
- New Audiovisual Exhibition Launched
- Best Student Paper Award at the 27th IEEE RTAS International Symposium
- PhD student at KTH reveals a critical bug in the CDN infrastructure of Fastly
- CASTOR contributes to software verification benchmark infrastructure
News Archives
- October 2021 (1)
- September 2021 (1)
- May 2021 (4)
- April 2021 (1)
- March 2021 (1)
- February 2021 (3)
- December 2020 (1)
- November 2020 (2)
- October 2020 (2)
- September 2020 (2)
- August 2020 (3)
- June 2020 (1)
- April 2020 (1)
- March 2020 (2)
- February 2020 (3)
- January 2020 (1)
- December 2019 (1)
- November 2019 (4)
- October 2019 (2)
- September 2019 (4)
- July 2019 (2)
- May 2019 (4)
- February 2019 (2)
- January 2019 (1)
- December 2018 (5)
- November 2018 (3)
- October 2018 (4)
- September 2018 (2)
- July 2018 (1)
- June 2018 (2)
- May 2018 (1)
- April 2018 (1)
- March 2018 (1)
- December 2017 (1)
News Catgories
- News (57)
- Results (7)
- Uncategorized (11)
- Vacancies (1)