Anastasia Isychev
banner
isychev.bsky.social
Anastasia Isychev
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)

https://aisychev.github.io
I don’t know who thought it’s a good idea to start authors response period on a Friday (probably afternoon), but here we are
November 21, 2025 at 9:45 AM
Reposted by Anastasia Isychev
📢 Call for Submissions – FLoC 2026

Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.

🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS
FLoC 2026: The 9th Federated Logic Conference
www.floc26.org
November 12, 2025 at 9:09 AM
Two countries and almost three weeks later I finally returned home from OOPSLA :)
November 6, 2025 at 9:20 PM
Reposted by 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
October 15, 2025 at 7:16 AM
On my way to #SPLASH25! Taking the longest direct flight for me so far: 12 hours. See you on the other side :)
October 14, 2025 at 9:08 AM
@confcav.bsky.social FOMO starting in three, two, one …
July 23, 2025 at 5:09 AM
Reposted by Anastasia Isychev
🚀 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
FLoC 2026: The 9th Federated Logic Conference
floc26.org
July 18, 2025 at 12:06 PM
a shot in the dark, but is anyone I know here going to IJCAI in Montreal?
July 1, 2025 at 12:18 PM
Love the title of a student’s report for my seminar: “Floats and Other Lies Computers Tell”. 😁
June 20, 2025 at 11:35 AM
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 :)
March 4, 2025 at 8:53 AM
tis the season of “reject because you don’t cite a paper that is not yet published and preprint is not available” (:
December 19, 2024 at 4:34 PM
Reposted by Anastasia Isychev
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
November 27, 2024 at 8:12 PM
Reposted by Anastasia Isychev
Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!

www.youtube.com/@acmsigplan/...
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, ...
www.youtube.com
November 26, 2024 at 12:18 AM
Reposted by Anastasia Isychev
I guess all those people who said they could build Twitter in a weekend finally lived up to their promise.
November 14, 2024 at 5:11 AM