Anastasia Isychev

Presented our #CCS25 paper yesterday in Taipei! 🎤

We introduce Circuzz, the first systematic fuzzing framework for zero-knowledge (ZK) pipelines.

📄 Paper: mariachris.github.io/Pubs/CCS-202...
💻 Repo: github.com/Rigorous-Sof...

with @isychev.bsky.social, @vwuestholz.bsky.social, Maria Christakis

On my way to #SPLASH25! Taking the longest direct flight for me so far: 12 hours. See you on the other side :)

Mine is October 16, 16:15, Neural Networks session :) I’ll talk about performance optimization for floats and how against all odds sound optimizers are doing great in direct comparison with unsound dynamic ones.

I think it’s called sabbatical :)

@confcav.bsky.social FOMO starting in three, two, one …

🚀 Welcome to the official Bluesky presence of the Federated Logic Conference 2026 (FLoC 2026), coming to Lisbon, Portugal in July 2026! floc26.org #FLoC2026 #LogicInCS

a shot in the dark, but is anyone I know here going to IJCAI in Montreal?

Love the title of a student’s report for my seminar: “Floats and Other Lies Computers Tell”. 😁

printf gone wrong :)

I meant that I want to be able to finish reviews quickly, because I have a lot of other exciting things on my todo list (the institution doesn’t pressure me to do any of those)

Dear fellow reviewers, any tips on how to be more efficient with reviews without sacrificing quality?

I want to give detialed feedback, so spending quite a lot of time reading. Time that I sometimes don't have :)

tis the season of “reject because you don’t cite a paper that is not yet published and preprint is not available” (:

I see a big “LLL” here, happy that it’s not “LLM” 😁

CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.

ACM SIGPLAN Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!

www.youtube.com/@acmsigplan/...

I guess all those people who said they could build Twitter in a weekend finally lived up to their promise.