The call for workshops for #ECOOP2026 is out. Interested in hosting a workshop in areas related to the theory, design, implementation, optimization, testing, and analysis of programs and programming languages consider hosting at @ECOOPconf
All info at: https://t.co/xwmUXeXMW2
📢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: https://t.co/wbAXS5T4Ps
Today, Nov 16 is the 108th birthday of Christopher S. Strachey (16 November 1916 – 18 May 1975). Strachey was one of the founders of denotational semantics, and a pioneer in programming language design .
He is one of the LGBTIQ+ pioneers in computing.
Social Media Inception... Posting a photo of a printout of @skate702 's post of finding his paper in the @dagstuhl library at last years software engineering research method training while being at @dagstuhl for this years software engineering research method training. 🤯
I will be presenting "Seneca: Taint-Based Call Graph Construction for Java Object Deserialization" at #OOPSLA2024 later today.
The presentation will be during the Static Analysis and Program Verification 3 session (room IBR East).
Ethical challenges in cybersecurity conferences. Deeply disturbing and thanks @acm_ccs for sharing this openly.
This calls for action or we risk of devaluing (even more) any research: papers should be byproducts of true and honest advances, not mere numbers.
✨Serve on the @icseconf 2026 PC! ✨
The self-nominations for the program committee of the 48th International Conference on Software Engineering are open! 🇧🇷
Apply here soon, but no later than 🗓️November 12, 2024! https://t.co/aaKDsfn6Mf
@m_mezini @sigsoft
Please consider holding a workshop at @programmingconf 2025. Those of us doing independent research on software sometimes feel like we are rejected by academic computer science because our work doesn’t have the proper shape. In turn we tend to dismiss academia as a dysfunctional status game. Workshops are a way to bridge this divide between independents and academics. Since workshops offer little credit towards academic career advancement they are less subject to gatekeeping. The <Programming> conference is particularly open-minded about the form and content of its associated workshops, with a pronounced fondness for the softer and more human aspects of programming. <Programming> attracts researchers from diverse fields with open minds. Please consider this opportunity to enrich your community by engaging with both independents and academics at a <Programming> workshop.
The conference will be in Prague, with the workshops held June 2-3, 2025. Further details are in the Call for Proposals: https://t.co/nFwkFbTe7L. I’m happy to answer any questions.
Hello, SE peeps, here's a warm, broad invitation to the community to submit nominations for the TCSE Rising Star Award. "Intention" must be submitted by Oct 21, full nomination by Nov 4
https://t.co/e6LUjYeWcU
(please RT)
Like it or not: Germany’s energy system is fully operational, with more than 50% renewables. And we are shutting down – not building – coal & nuclear plants. Coal will be off the grid by 2038 at the latest. PS: We also don’t eat cats and dogs. #Debate2024
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_conf in Vienna or simply email me. RT appreciated!
https://t.co/M8iarvmbRk
#devs, do you sometimes get stuck on a programming task like you've hit a block? Or do you hear about your colleagues being stuck?
Great! Help us research blocks during programming and share your experience with us by completing this 15-minute survey: https://t.co/06AnwO9jh4