I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at ISSTA Conference in Vienna or simply email me. RT appreciated! yannicnoller.github.io/positions/

Great news! #Fuzzing'24 will host two very exciting keynotes from Thomas Dullien (Halvar Flake) and Brendan Dolan-Gavitt (Brendan Dolan-Gavitt)! Check out our program conf.researchr.org/home/issta-eco… and join us in Vienna! // Marcel Böhme👨‍🔬, László Szekeres

It's official: ICFP 2025 will be in Singapore!!

but wait, there's more: SPLASH will be there too!

That's a wrap! Amazing discussions, insightful keynotes, engaging participants. Nice dinner. Love this crowd. We counted 70+ attendees at one point. Thanks to @YannicNoller and László Szekeres (László Szekeres) for making this an amazing workshop! Logging off from #FUZZING'24 🫡

Also, checking out the view from a potential conference hotel for SPLASH Conference next year.

I am recruiting PhD students!🐝 If you are interested in ML security and privacy, intersected with formal methods and rigorous frameworks, drop me an email! Retweets are greatly appreciated! 🙏 teobaluta.github.io

I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI: srg.doc.ic.ac.uk/vacancies/post… Reposts appreciated, both here and elsewhere.

🚀 Excited to introduce our OOPSLA '24 work on ET, a powerful tool for bounded validation of SMT solvers, which has uncovered 100+ correctness and performance bugs 🪳, while ensuring the absence of simple bugs in the solvers. Preprint: shorturl.at/opk6z #SPLASH2024

I am looking for 1-2 PhD students interested broadly in computer systems, compilers, and/or PL! If you would like to do your PhD in a vibrant city with great weather, next to the sea 🌊, and the mountains 🏔️, make sure to apply to UCLA and mark my name as a potential advisor!

Zu-Ming Jiang (jzuming.github.io) is a final year PhD student ETH CS Department, working with Professor Zhendong Su. He will be on the academic job market. If you are looking for strong candidates on software reliability especially testing and bug finding, Zu-Ming is a top choice!

.Min-Yen Kan giving an exciting keynote on "Pre-mortem: UnF.A.I.R – the Death of Open Research" at the Singapore Open Research Conference.

Manuel Rigger of NUS Computing gives his lightning talk at #SGOR2024 on going beyond badging for artifacts & reproducible research!

Thanks a lot to all the members of the NUST TEST lab who have been driving the open-source and open-science nature of our work on making data-centric systems more reliable as well as to my past and current mentors, collaborators, and supporters!

Now also on Bluesky: bsky.app/profile/mrigge…

Yanai Elazar Hey... Good luck! Be prepared for question like - do you have a two body problem (I learnet about the tyep of questions from Reuth Mirsky interview by Manuel Rigger in this podcast: youtube.com/playlist?list=… )

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: wintered.github.io Research Statement: wintered.github.io/rs.pdf

✨Highlights: I developed generic testing techniques to stress-test SMT solvers finding 1,800+ bugs (350+ soundness bugs). I did a bounded validation campaign of SMT solvers and investigated their evolution.

Vision 🔭: Developing Formal Methods Engineering (FME)---a dedicated discipline for making Formal Methods more correct, stable, performant, and usable. FME's goal: transforming the use of Formal Methods from an ad hoc activity to a structured approach. FME connects the dots