Jürgen Cito

This just in: I've been promoted to Associate Professor (with tenure) at TU Wien @tu_wien Thank you to all the people in my lab (@schrototo, @andreashappe, Markus Böck, Nathanael Nußbaumer), all my students, and collaborators. To many more years of cool research!

@crk0d @pasternak Link? Sorry about the confusion

📢We are opening 10 PhD positions at the Vienna University of Technology (@tu_wien) as part of our newly funded doctoral college on Automated Reasoning! Deadline: May 18, 2025 Start: October 2025 (or soon after) Details and application link: forsyte.at/docfunds/

@Inventitech Amazing title!! 😁

Following my previous podcasts, I'm proud to share our pre-print: "What's DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time" arxiv.org/abs/2503.10977

Interested in organizing @icseconf, the ACM/IEEE International Conference on Software Engineering in 2029? Make a bid by March 20! For 2029, we solicit bids from outside Europe or North America. See call for letters-of-intent: icse-conferences.org/organization/C…

@spanichella @emsejournal @ICSTconf Congrats!! 🎉

I am honored to share that our paper, "How developers engage with static analysis tools in different contexts" (link.springer.com/article/10.100…), published in @emsejournal, has been awarded the Most Influential 5-Years J1 Paper on Software Testing by the @ICSTconf #SoftwareTesting

Colleagues from @VUamsterdam are looking for new assistant/associate professors in software engineering/architecture workingat.vu.nl/vacancies/2-as…. The group: @patricia_lago @IMalavolta @IliasGerostatho @kousar_aslam Emitza Guzman Justus Bogner Jaap Gordijn research.vu.nl/en/organisatio…

I’m at GitHub universe today with the @github accelerator crowd representing our agentic security testing framework hackingBuddy.ai! Hit me up if you’re around

🚀Launching CoAgents Public Beta 🪁: Everything you need to build Agent-Native applications, powered by LangGraph & CopilotKit. CoAgents enables in-app agents with: - Agenetic generative UI ✨ - Shared state (between agent <-> application) - Streaming intermediate agent state - Human-in-the-Loop (Human approval & planning) 👨‍🦰 - Frontend Actions 💪 --- We’ve recently seen the emergence of Agent-Native applications that actually work: powered by vertical AI agents + agentic UX + deep in-app integration. (Apps like the Replit AI Agent, OpenAI Canvas, etc, but for any domain) With CoAgents + LangGraph, you can build this next generation of agent apps, for any vertical, with a clean and easy to use infrastructure (in hours). 💻Get started: docs.copilotkit.ai/coagents 🗞️Blog: go.copilotkit.ai/CoAgentsBlog 🕹️Demo: go.copilotkit.ai/demoGitHub 🗓️Webinar (Build an Agent-Native Apps with CoAgents & LangGraph): lu.ma/2kxspzl4 CC: @ataiiam, @langchain, @hwchase17

We are hiring (plz share)! Our IUI Group at IT:U is looking for PhDs and a PostDoc. Please apply if you would like to join a team that has been quite successful in conducting HCI/IUI research recently, and works in a place that is considered one of the most livable worldwide! See the apply link in the comments.

@tianyin_xu @linuxplumbers @somewentao @IllinoisCDS Thursday until 2pm and Friday all day

@citostyle @linuxplumbers @somewentao @IllinoisCDS Yes plan to sneak in for half of a day. When will you be there?

In Vienna for @linuxplumbers. Wentao (@somewentao)'s team @IllinoisCDS is giving THREE talks in the Referred Track, Kernel Testing & Dependability MC, and Safe Systems with Linux MC respectively. Sadly, none of the students can make it in person (visa complexity:() so I have to come schmoozing with folks. Links to the talks, lpc.events/event/18/contr… lpc.events/event/18/contr… lpc.events/event/18/contr…

I am on the #SoftwareEngineering #Teaching Job Market! After co-creating & co-instructing two software engineering courses at CMU I am looking for teaching-focused faculty positions in SE. If you know anyone who is hiring, please let me know! Retweets welcome.

If you are interested in a postdoc in program/spec repair and/or addressing challenges in the adoption of verification-aware languages (like Dafny), plz get in touch! I just had a project approved (more details soon) & we are a strong, young(ish) & motivated team! Plz share! 😊

If you use/ever used a verification-aware lang (e.g. Dafny, Why3) we would be very thankful if you could participate in our survey: tinyurl.com/4nkm5hbc We are gathering insights into what challenges beginners and experienced devs face while using these langs. Pls share! 🙏

Quira's Open Source night at @github HQ is starting in 90 mins 🙌 The event is fully sold out! 📈 @azulgarza_ from @nixtlainc on GPTs for time-series, 👨‍🔬 @citostyle from @tu_wien on GPTs for white-hat hacking, 🔭 @cdxker from @trieveai on a new COSS model.

@Numair_Mansur @AndreasZeller I like this induction step. Basically: never deploy!!

@AndreasZeller Don't DEPLOY on Fridays! and it was Thursday.

Told you so. #Crowdstrike

Good news everyone: I’m moving to San Francisco next week! I’ll be doing a sabbatical at Google working with @schandra and team for the next 6 months. SF/Bay area people: let’s hang out!!

@spanichella @tu_wien @andreashappe @schrototo Thanks, Sebastiano :)

@citostyle @tu_wien @andreashappe @schrototo A nice picture :)

We had a great IPA Lab Summer closing party @tu_wien Thank you to all students in my lab working on cool research projects and supporting our teaching efforts 🎉