Cloud9 - Automated Software Testing at Scale. The content of this page is licensed under a. Cloud9 receives the Gold Prize in the 2013 Open Source Software World Challenge. Efficient State Merging in Symbolic Execution with Cloud9-based implementation is presented at. The code is in alpha version and is based on an older version of Cloud9. Which will fund his research on Cloud9.

We develop techniques and abstractions for building trustworthy computer systems. Ie, systems that are safe and secure. Enjoy exploring the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers. Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations. Our work is funded by ERC.

If you are interested in giving a talk, please contact George Candea. To understand the purpose of KTN talks. The seminar is open to everyone see here for directions. You can visit our archive. To see all the previous KTN talks.

Stefan Bucur joins Google Zurich for an internship. AutoSRS has been covered in media, in the context of the EcoCloud.

STP is a constraint solver for the theory of quantifier-free bit-vectors that can solve many kinds of problems generated by program analysis tools, theorem provers, automated bug finders, cryptographic algorithms, intelligent fuzzers and model checkers. A somewhat technical PPT presentation about STP is here. And a somewhat newer PDF presentation is here.