A illustrated picture of a group of happy people. Around the image is the text: On the spectrum & working in IT. Then participate in our research.
On the spectrum and working in IT?
We think that especially in IT, research is still too often done about you rather than with you.
@svenapel.bsky.social @janetsiegmund.bsky.social & Isabella Graรl
#Neurodiversity #Autism #ComputerScience
19.02.2026 15:41
๐ 4
๐ 8
๐ฌ 2
๐ 0
Three-floor building outside view. Snow, trees, a bench.
New office as of today. @unistuttgart.bsky.social
02.02.2026 15:16
๐ 7
๐ 0
๐ฌ 0
๐ 1
Wie wรคre: nein ๐ค๐
25.12.2025 20:06
๐ 2
๐ 0
๐ฌ 1
๐ 0
Release 7.0.0 ยท opalj/opal
we are now using Scala 3.7.3
we are now using sbt 1.11.7
various API changes due to new major Scala version
fixed typos and minor code style issues
introduced custom assertions, Scala 3 no longer s...
Functionality-wise it is the same as OPAL 6. It supports bytecode parsing, abstract interpretation, call-graph construction, and more for JVM (Java, Scala, ...) bytecode from version 1.0 to 25.
Check it out on GitHub (github.com/opalj/opal/r...) or Maven (central.sonatype.com/search?q=opa...)
19.12.2025 12:51
๐ 0
๐ 0
๐ฌ 0
๐ 0
Presents in front of a Christmas tree. One with the OPAL logo an a gift label.
Shortly before the holidays the OPAL team prepared a little gift themselves. OPAL 7 has just been released! And it finally provides support for Scala 3 (3.7.3 to be exact). We have been working on that for some time now.
19.12.2025 12:51
๐ 2
๐ 0
๐ฌ 1
๐ 0
A university is so much more than its bricks and mortar facilities. It is also an eduroam network with intermittent access
15.12.2025 23:04
๐ 190
๐ 29
๐ฌ 5
๐ 1
In the running for Understatement of the Year
28.11.2025 17:55
๐ 7
๐ 1
๐ฌ 0
๐ 0
Banquet room with ASE XL on the screen
Banquet room full of people
Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025
18.11.2025 10:02
๐ 6
๐ 1
๐ฌ 0
๐ 0
Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social
17.11.2025 03:18
๐ 15
๐ 3
๐ฌ 0
๐ 0
ASE โ25 has just kicked off! Come join us at Vista Hall!
17.11.2025 00:16
๐ 2
๐ 1
๐ฌ 1
๐ 0
General Chair Shin Yoo opening ASE'25
General Chair @drsyoo.bsky.social opening @aseconf.bsky.social in Seoul right now. โบ๏ธ
17.11.2025 00:05
๐ 1
๐ 1
๐ฌ 0
๐ 0
I LOVE when they change your biography. Always makes my day. ๐ซ
16.11.2025 11:49
๐ 0
๐ 0
๐ฌ 0
๐ 0
Job Alert! Professur (Open Rank: W2 oder W1 mit Tenure Track auf W2) ,,Digitale Transformation in Arbeit und Gesellschaft". Gemeinsame Berufung von @tu-dortmund.de und @cais-research.bsky.social nach Jรผlicher Modell.
Ausschreibung unter:
service.tu-dortmund.de/documents/18...
13.11.2025 08:54
๐ 13
๐ 11
๐ฌ 0
๐ 0
You can help us! We invite you to take part in our user survey 2025:
sidonia.dagstuhl.de/survey/index...
which will help us understand how the community is using dblp and guide dblp's future development. 1/2
12.11.2025 16:18
๐ 13
๐ 2
๐ฌ 2
๐ 1
๐ฃ๐ฃ ๐๐ฎ๐น๐น๐ถ๐ป๐ด ๐ฎ๐น๐น ๐๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐ฒ๐ป๐ด๐ถ๐ป๐ฒ๐ฒ๐ฟ๐!
We're running a study at TU Delft on ๐ต๐ผ๐ ๐๐ผ๐ฐ๐ถ๐ฎ๐น ๐ฎ๐ป๐ฑ ๐ผ๐ฟ๐ด๐ฎ๐ป๐ถ๐๐ฎ๐๐ถ๐ผ๐ป๐ฎ๐น ๐ณ๐ฎ๐ฐ๐๐ผ๐ฟ๐ ๐ถ๐ป๐ณ๐น๐๐ฒ๐ป๐ฐ๐ฒ ๐๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐๐ฒ๐๐๐ถ๐ป๐ด ๐ฐ๐๐น๐๐๐ฟ๐ฒ. We would love your insights! (takes 15 minutes)
๐ lnkd.in/dPPF6-Vq
The more voices, the better!
Thank you ๐
#SoftwareEngineering #SoftwareTesting
12.11.2025 16:20
๐ 3
๐ 3
๐ฌ 0
๐ 0
DFG Funds Dortmund Project on Verification of Digital Quantum Simulations
Interdisciplinary Team from Physics and Computer Science Lays Foundations for Reliable Quantum Simulations
Quantum computing is becoming accessible, but everyday use is still far off. A key challenge is scalable program analysis. Together with Falk Howar and Benedikt Fauseweh, Iโll work on improving verification for digital quantum simulations. Exciting times ahead!
cs.tu-dortmund.de/en/details/d...
11.11.2025 15:41
๐ 4
๐ 0
๐ฌ 0
๐ 0
MPLR 2026 - ECOOP 2026
The 23rd International Conference on Managed Programming Languages and Runtimes (MPLR 2026, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
MPLR'26 will be in Brussels!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
07.11.2025 16:52
๐ 7
๐ 3
๐ฌ 0
๐ 0
Registration - ASE 2025
Welcome to the website of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. The ASE conference is the premier research forum for Automated Software Engineering. E...
The early bird registration for #ASE2025 is still open!
๐
Early deadline: Oct 15, 2025
๐งพ Regular deadline: Nov 2, 2025
All accepted papers must have at least one regular (non-student) registration for inclusion in the proceedings.
๐ Details: conf.researchr.org/attending/ase-2025/registration
13.10.2025 07:19
๐ 4
๐ 3
๐ฌ 0
๐ 0
You are an Early Career Researcher in #cybersec? Here is an opportunity: The AEC chairs of @USENIXSecurity '26 are looking for (self)nominations for the Artifact Evaluation Committee. Deadline: October 17th, 2025, so sign up soon!
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
10.10.2025 10:16
๐ 5
๐ 9
๐ฌ 0
๐ 0
Release 6.0.0 ยท opalj/opal
we are now using sbt 1.9.7
we are now using scalafmt instead of Scalariform
introduce auto formatting via sbt format
add pre-commit hook to verify (sbt checkFormat) and apply formatting
unify co...
The OPAL team just released version 6 of our program analysis framework. As a major release, it features more improvements than can be explained in a post. So just a few teasers: JVM bytecode up to version 25, new solver for IDE problems, def-use webs, string analysis, ...
github.com/opalj/opal/r...
09.10.2025 14:45
๐ 2
๐ 1
๐ฌ 0
๐ 0
a baby is sitting in a crowd with a woman holding him and screaming yes .
ALT: a baby is sitting in a crowd with a woman holding him and screaming yes .
Time for #ACM #SIGSOFT awards nominations: www2.sigsoft.org/awards/sigso...
Intent to Nominate Deadline: Oct 6, 2025
Full Nomination Package Deadline: Oct 20, 2025 #DistinguishedService #OutstandingResearch #InfluentialEducator #OutstandingPhD #EarlyCareer #FrankAngerMemorial #InfluentialPaper
21.09.2025 15:49
๐ 1
๐ 1
๐ฌ 0
๐ 0
Meet the #ASE2025 OC: Shin Yoo ๐ต he/him ๐จโ๐ซ Prof. at KAIST ๐ฐ๐ท General Chair ๐ด music, cycling, camping โบ๏ธ seeking to find ways to support software engineers with computational intelligence, especially on testing and debugging, while having fun with my awesome students โค๏ธ
Meet Shin Yoo, the General Chair of ASE 2025! ๐
02.09.2025 10:38
๐ 7
๐ 1
๐ฌ 0
๐ 0
Help ACM recognize the best in computing!
Weโre calling on you to help us build the 2025 ACM Awards nomination pool. Consider diversity in all its forms and make sure deserving voices are heard.
Nominate or share the call today ๐ www.acm.org/binaries/con...
28.08.2025 17:30
๐ 3
๐ 4
๐ฌ 0
๐ 0
Man standing in front of a castle
Being an adult in Europe: Looking at new houses on a Saturday. This one was nice, but a bit drafty.
23.08.2025 17:37
๐ 3
๐ 0
๐ฌ 1
๐ 0
Excellent! And please do not forget research software. ๐
31.07.2025 16:26
๐ 0
๐ 0
๐ฌ 0
๐ 0
Schloss Dagstuhl - Leibniz-Zentrum fiir Informatik
stellt ein:
Informatiker:in / Expert:in fiir Forschungsdaten (m/w/d)
Voll- oder Teilzeit, TV-L E13
Die international renommierten Forschungsinfrastrukturen von Schloss Dagstuhl โ die Open-Access-Publikationsplattform DROPS und der offene Indexierungsdienst DBLP - spielen eine wichtige Rolle beim Aufbau der nationalen Forschungsdateninfrastruktur NFDI fiir die Informatikgemeinschaft. Wir suchen eine hochmotivierte Person fiir unser Publishing-Team.
Weitere Informationen finden Sie unter: www.dagstuhl.de/job
Interested in working with us? #Dagstuhl is looking for a Computer Scientist/Research Data Expert to join our team.
www.dagstuhl.de/en/institute...
31.07.2025 15:39
๐ 1
๐ 1
๐ฌ 1
๐ 0