@fbusse - Bluesky Profile

Latest posts by fbusse.bsky.social on Bluesky

One question: in Listing 1 - is the order of line 13 and 14 the original one from our instrumentation?

27.06.2025 16:08 — 👍 0 🔁 0 💬 1 📌 0

Congrats Chengyu! And I'm also very sorry that someone had to read the KLEE-SA sources - I had a much nicer completely rewritten version of the searcher that unfortunately didn't make it into the paper (and hence the artefact).

27.06.2025 15:51 — 👍 0 🔁 0 💬 2 📌 0

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

18.03.2025 18:50 — 👍 7 🔁 6 💬 0 📌 0

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

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

03.03.2025 22:38 — 👍 10 🔁 3 💬 0 📌 0

@fbusse is following 19 prominent accounts

@ccadar

@srgimperial

Daniel Schemmel
@daniel.schemmel.net

Andreas Zeller
@andreaszeller

Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/

Cornelius Aschermann
@is-eqv

Fuzzing & stuff https://hexgolems.com

Yannic Noller
@yannicnoller

CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io

Armin Biere
@arminbiere

SAT Solver Hacker, Professor, University of Freiburg

Manuel Rigger
@mrigger

Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.

Marcel Böhme
@mboehme

Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io

Michaël Marcozzi
@marcozzi.net

🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.

John Wickerson
@wicko3

Senior Lecturer at Imperial College EEE researching programming languages and hardware design.

Adrian Herrera
@adrianherrera

Security researcher with an interest in formal methods. Building fuzzers @ Interrupt Labs | Teaching @ Australian National University https://adrian-herrera.com

Peter Goodman
@cxx.dev

C++ developer specializing in source and binary program analysis and transformation.

Abhik Roychoudhury
@abhikrc

Professor of Computer Science at National University of Singapore https://abhikrc.com

@halvarflake

Johannes Kinder
@jkinder

Professor @ LMU Munich Security, Program Analysis, Machine Learning

@soosmate

Brendan Dolan-Gavitt
@moyix.net

AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/

Andrea Fioraldi
@andreafioraldi

Cyber Response Italian Supercazzola Technology Officer at @mhackeroni Inc. Writing your favourite fuzz testing tools with @aflplusplus. Security research at .