Excited to announce that the Fray paper has been accepted to OOPSLA'25! Work led by @aoli.al with a full pastalab.org collaboration. 📄: rohan.padhye.org/files/fray-o... 💻: github.com/cmu-pasta/fray 🎥: www.youtube.com/watch?v=AX6P...

I will be organizing two nature walks for ICFP/SPLASH (‪@icfp-conference.bsky.social‬)! I did one of them this weekend and was very lucky to see 11 saltwater crocodiles (including a tiny baby one), countless monitor lizards, otters, macaques, fruit bats, various kinds of birds, and fish.

Already registered for SPLASH or @icfp-conference.bsky.social? If not, check out our list of accepted papers: conf.researchr.org/home/icfp-sp... It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!

25 years of delta debugging! On this day in 2000, I presented “Simplifying Failure-Inducing Inputs” at ISSTA - now one of the most influential works in the 50-year history of Transactions on Software Engineering. Read all about its genesis and impact at doi.ieeecomputersociety.org/10.1109/TSE....

Do it for science!

Can we statistically estimate how likely an LLM-generated program is correct w/o knowing what is a correct program for that task? Sounds impossible-but it's actually really simple. In fact, our measure of "correctness" called incoherence can be estimated (PAC guarantees). arxiv.org/abs/2507.00057

Looking forward to attending my first database conference, SIGMOD 2025 (‪@sigmod2025.bsky.social‬), in Berlin starting this weekend. We will present four works, all of which tackle the challenge of making data-centric systems reliable, and together have found more than 100 bugs in important systems!

.‪@abhikrc.bsky.social is kicking off the Fuzzing and Software Security Summer School 2025! Looking forward to a week full of exciting talks and tutorials as well as interactions.

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested, feel free to reach out.

Our USING KEY variant of recursive CTEs has landed in DuckDB 1.3 Formerly an off-the-beaten-path researchy idea, now available in a real off-the-shelf DBMS. Hooray! 🎉 duckdb.org/2025/05/23/u...

This is something we've been working on for a while, and now are thrilled to share. Veil: the first foundational framework that combines SMT-based and interactive proofs about distributed protocols, seamlessly, in Lean! Tool: github.com/verse-lab/veil Paper: verse-lab.github.io/papers/veil-...

Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

#FUZZING'25 Deadline Extension ────── If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025! 🔗 fuzzingworkshop.github.io //cc @rohan.padhye.org, László Szekeres, @ruijiemeng.bsky.social, @mboehme.bsky.social

Need a fuzzing harness? No time to write one? Tired of false-positives? Let OGHarn lead the way to bug discovery!🐞 I'm excited to share my paper(with @snagycs.bsky.social)"No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses" at @icseconf.bsky.social 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...

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...

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: * Ruijie Meng (@ruijiemeng.bsky.social; NUS) * Rohan Padhye (@rohan.padhye.org; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20.March (Submission) 📅 17.April (Notification) 📅 28.June (Workshop)

Post 2: NSF PPoSS Status Update–2024 Year in Review kmicinski.com/modern-deduc...

How to detect backdoors efficiently? ▶️ Backdoors were found in firmware & open-source code ▶️ Detection requires much manual reverse-engineering ▶️ Fuzzers cannot see backdoors Our @icseconf.bsky.social preprint on finding backdoors with fuzzing is at binsec.github.io/nutshells/ic...

The upcoming ICFP/SPLASH’25 will feature 23 (!!) co-located workshops, in addition to the main conferences, doctoral symposium, Onward!, and SAS, and we can’t wait to see everyone in Singapore in October. Here’s a sneak peek of the hallway track location.

📢📢VLDB26 (@vldb.bsky.social) will have a ShadowPC! Apply at forms.office.com/e/XYihKj4UKq by March 1! Great opportunity for folk who are new to the data management community & want to gain paper reviewing experience. More info at application form. Chairs: @zistvan.bsky.social, Tianzheng Wang, & I.

Siesta 2025 is coming: 5th Software Engineering Summer School, August 27-29, Lugano, Switzerland. Stay tuned! siesta.si.usi.ch/2025/

Back to basics: Concurrency testing in Java! Our new tool *Fray* correctly solves a 25+ year old problem for real-world software. See this feature from Elastic Labs about Fray's contributions to Lucene. 📰: www.elastic.co/search-labs/... 🔧: github.com/cmu-pasta/fray 📝: arxiv.org/pdf/2501.12618

Our paper on efficient automated exploit generation has been accepted to USENIX Security '25. The gist: instead of generating individual attacks, we synthesise the whole *programming language* that expresses many exploits and guarantees their realisability. Paper: ilyasergey.net/assets/pdf/p...

Congratulations to the new #ACM Fellows of 2024, including Satish Chandra, Marsha Chechik, Derek Dreyer, Tim Menzies, Mira Mezini, Bashar Nuseibeh, Abhik Roychoudhury @abhikrc.bsky.social, and Ben Zorn. What a great year this is!

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

Followed the call of an Oriental Pied Hornbill that lead me to a pair of Buffy Fish Owls. Only my second time to see wild owls in Singapore!

An exciting talk by Armando Solar-Lezama on applying PL ideas for ML, with applications in robotics and computational biology. You can’t do cooler than that. Also, a second SIGPLAN Milner Award recipient giving a talk at NUS in the last two weeks.

One week today is the deadline for expressing your interest to attend Programming Language Implementation Summer School (PLISS) -- we have a great program, if I do say so myself! pliss.org/2025/

Just got back from NUS Research Week. I had a wonderful time. Thanks to @ilyasergey.bsky.social for being an amazing host. Everyone should get working on ICFP/SPLASH submissions... it's going to be a great conference!

The deadline to submit a workshop proposal for ICFP/SPLASH 2025 is **Thursday, January 16** less than a week away! conf.researchr.org/track/icfp-s...

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.

Sound and Complete @natefoster.bsky.social @afd-icl.bsky.social @ccadar.bsky.social @mrigger.bsky.social

It's a pleasure to be visiting Singapore for the first time, to speak at NUS CS research week researchweek.comp.nus.edu.sg

Great Java API for accessing data bases via type safe SQL queries by @lukaseder.bsky.social now also with a BlueSky account!

Nominate yourself for the ASE'25 PC! The 40th IEEE/ACM International Conference on Automated Software Engineering is looking for PC nominations to maximize diversity of perspectives. 🖊️ forms.gle/UtKE4WBTrtUs... 🧑‍💻 conf.researchr.org/track/ase-20...

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

Completed my second voyage with NUS CS students! While we visited many natural gems, pollution as well as exploitation of natural resources are always shocking. I'm often thinking how our research could help address some of these sustainability challenges.

Hello everyone - this is first post in Bluesky - it seems lot of friends are moving to Bluesky - so I am also creating a home here. I am a Professor of Computer Science at National University of Singapore working on Software Engineering and Security. Find me in the web abhikrc.com

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!

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-...

Happy to have met Ford Lumban Gaol, the department head of the CS PhD program at BINUS University, Indonesia while he visited Singapore. I gave a keynote at a regional conference they organized and also received a nice plaque. Hope to continue interacting with students and faculty from Indonesia!

Here some impressions from earlier this year.

From Dec 10 to Dec 21, I will be on a sea voyage with NUS computer science undergraduate students! We will sail, trek, kayak, snorkel, swim, visit villages, fish farms, and museums. Quite excited to be the main organizer, after having participated as supporting staff earlier this year.

Thanks a lot for organizing the event! I was surprised by how much interesting PL work is happening in Singapore. Learned a lot today!

Suyang Zhong (suyang.zone) presented his ongoing work on tackling the effort of tailoring SQL generators to specific database systems and the effort of applying database system fuzzers in general at the Singapore PL Summit!

Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. #ERC #ERCCoG #MPI_SP www.mpi-sp.org/71953/news_p...

New ICFP25 logo just dropped 👀