iiinova — where your digital self keeps evolving

Reposted by @ccadar.bsky.social

kleesymex.bsky.social @kleesymex.bsky.social · 20/02/2026

Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 @aseconf.bsky.social in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/

srg.doc.ic.ac.uk

KLEE Workshop 2026

045

Reposted by @ccadar.bsky.social

kleesymex.bsky.social @kleesymex.bsky.social · 23/12/2025

KLEE 3.2 is released! Many thanks to all the contributors to the main codebase and subprojects! During the development of this release, the number of projects and publications enabled by KLEE surpassed 300! github.com/klee/klee/re... klee-se.org/publications/

github.com

Release KLEE 3.2 · klee/klee

KLEE 3.2, 23 December 2025 Incorporating changes from 1 March 2024 to 23 December 2025. Maintainers during this time span: @ccadar, @MartinNowack, @251, @danielschemmel Documentation at https://kle...

052

Reposted by @ccadar.bsky.social

ISSTA 2026 Conference @issta.bsky.social · 17/12/2025

📢 Call for Papers for ISSTA 2026 We invite high-quality submissions on software testing and analysis from industry and academia, incl. * research papers * experience papers, and * replicability studies. 📆 29th January 2026 🖊️ issta2026.hotcrp.com 🌐 conf.researchr.org/track/issta-...

conf.researchr.org

ISSTA 2026 - Research papers - ISSTA 2026

Welcome to the website of the ISSTA 2026 conference. The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis...

052

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 15/10/2025

Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas: - PL - Systems - Security - Software Eng. - Computer Architecture - Theoretical Computer Science Applications from individuals from underrepresented groups especially welcome! www.imperial.ac.uk/jobs/search-...

imperial.ac.uk

Description

Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...

21111

Reposted by @ccadar.bsky.social

Andreas Zeller @andreaszeller.bsky.social · 25/04/2025

Double feature! The newest Transactions on Software Engineering features retrospectives on the most influential papers published in the journal’s first 40 years. Check out our takes on * Mining Software Repositories www.computer.org/csdl/journal... * Delta Debugging www.computer.org/csdl/journal...

* A Retrospective on Mining Version Histories to
Guide Software Changes
* Simplifying and Isolating Failure-Inducing Input:
A Retrospective on Delta Debugging

0202

Reposted by @ccadar.bsky.social

srgimperial.bsky.social @srgimperial.bsky.social · 02/04/2025

Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/

042

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 01/04/2025

It is a pleasure to be hosting S-REPLS at Imperial College London today - the 16th edition of the South of England Regional Programming Languages Seminar. Thanks to all the speakers and attendees for a great event so far!

031

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 01/04/2025

Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with @ccadar.bsky.social - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! www.doc.ic.ac.uk/~afd/papers/...

081

Reposted by @ccadar.bsky.social

Marcel Böhme @mboehme.bsky.social · 20/03/2025

Hot take: We have now fully arrived in the empiricist era where results and utility are all that matters, where a fundamental understanding of underlying processes takes a backseat. And I think that's bad. plato.stanford.edu/entries/rati...

plato.stanford.edu

Rationalism vs. Empiricism (Stanford Encyclopedia of Philosophy)

173

ccadar.bsky.social @ccadar.bsky.social · 19/03/2025

Congrats to my PhD student Frank @fbusse.bsky.social for a successful viva! It's been wonderful working together all these years, and I'm looking forward to our next joint projects!

071

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 18/03/2025

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...

doc.ic.ac.uk

076

ccadar.bsky.social @ccadar.bsky.social · 17/03/2025

Very interesting talk! The ability to build a project and run its test suite automatically is indeed really useful for a variety of dynamic analysis techniques.

050

ccadar.bsky.social @ccadar.bsky.social · 07/03/2025

My PhD student Ahmed's research is focused on the challenging problem of both generating and contributing test cases to library repositories. Our recent paper presents an interesting relevant technique and case study. Talk to him at SANER! srg.doc.ic.ac.uk/publications...

srg.doc.ic.ac.uk

Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study

Software libraries are at the core of software development, and any bugs can affect a potentially large number of present and future client applications. Therefore, thorough testing of libraries...

060

ccadar.bsky.social @ccadar.bsky.social · 03/03/2025

I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP! srg.doc.ic.ac.uk/vacancies/25...

srg.doc.ic.ac.uk

Research Associate / Research Assistant in Program Analysis and Generative AI

Fixed term appointment for up to 24 months Applications are invited for a Research Associate / Research Assistant position in the Software Reliability Group, under the direction of Prof. Cristian...

093

Reposted by @ccadar.bsky.social

Manuel Rigger @mrigger.bsky.social · 02/03/2025

SQLancer will be part of the Google Summer of Code (GSoC) program again this year! We are looking for motivated contributors as well as database development teams who would like to have their systems tested. summerofcode.withgoogle.com/programs/202...

0114

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 27/01/2025

I am organising the next edition of S-REPLS at Imperial College London on 1st April (no joke) - email me if you're interested in giving a talk! Web page and registration coming soon.

031

Reposted by @ccadar.bsky.social

Marcel Böhme @mboehme.bsky.social · 19/11/2024

🔮 ACM TOSEM Perspective Paper on Software Security in 2030 (Invited). 📝 mpi-softsec.github.io/papers/TOSEM... Collab w/ Eric Bodden, Tevfik Bultan, Cristian Cadar, Liu Yang, and Giuseppe Scanniello

1257

Reposted by @ccadar.bsky.social

Manuel Rigger @mrigger.bsky.social · 21/01/2025

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social

1149

ccadar.bsky.social @ccadar.bsky.social · 22/01/2025

Attending an interesting Shonan seminar on Trusted Automated Programming, with interesting discussions and beautiful Mount Fuji in the background.

0150

ccadar.bsky.social @ccadar.bsky.social · 14/01/2025

On my way to give a talk on fuzzing today, I spotted this coffee shop. I now need to try a greybox coffee, and compare it with a blackbox and whitebox one.

261

ccadar.bsky.social @ccadar.bsky.social · 14/01/2025

Thank you, @david-lo.bsky.social, for hosting me at SMU today for a seminar talk where I discussed recent advances and ongoing challenges in fuzzing. Thanks to everyone in the audience for their excellent questions and suggestions.

040

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 14/01/2025

Delighted that our paper on "Grammar mutation for testing input parsers" - led by Bachir Bendrissou and joint with @ccadar.bsky.social - is now published in ACM TOSEM! This came from a registered report at FUZZING. Check it out! doc.ic.ac.uk/~afd/papers/...

doc.ic.ac.uk

1146

Reposted by @ccadar.bsky.social

afd-icl.bsky.social @afd-icl.bsky.social · 10/01/2025

It was a a delight to hang out with these fine friends during the Computer Science Research Week at NUS. My first trip to Singapore - what a city! I'm delighted that #OOPSLA / #SPLASH and #ICFP will take place there in October.

1122

Reposted by @ccadar.bsky.social

Laurence Tratt @ltratt.bsky.social · 06/01/2025

It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/

02519

Reposted by @ccadar.bsky.social

Abhik Roychoudhury @abhikrc.bsky.social · 07/12/2024

Releasing AutoCodeRover-v2 -- Fully open source download for anyone !! autocoderover.dev Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified! **Source code available** at github.com/nus-apr/auto...

autocoderover.dev

AutoCodeRover | DevAssistant

Official Website for AutoCodeRover

051

ccadar.bsky.social @ccadar.bsky.social · 08/12/2024

Welcome, Abhik! There is indeed a lot of movement in this direction.

010

ccadar.bsky.social @ccadar.bsky.social · 06/12/2024

I am delighted to be in Singapore for an extended visit, kindly hosted by Abhik Roychoudhury and his awesome group at NUS. I've already had many interesting and productive meetings at NUS and beyond, and I'm looking forward to my remaining time here!

1141

ccadar.bsky.social @ccadar.bsky.social · 06/12/2024

We have six open faculty positions in the Department of Computing at Imperial College London, with software engineering among the focus areas! Outstanding candidates across all areas of computer science are encouraged to apply. More info at www.imperial.ac.uk/jobs/search-...

imperial.ac.uk

Description

Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...

084

ccadar.bsky.social @ccadar.bsky.social · 28/11/2024

Delighted to talk today about program analysis for safe and secure software evolution to a great audience in Singapore! Many thanks to Imperial Global Singapore for hosting my talk.

1101