Jan Haltermann

@haltermannj presenting our work on „Parallel Program Analysis via Range Splitting“ @FaseConf @ETAPSconf By splitting programs into ranges, we can not only run the same analysis in parallel, but also multiple analyses on different ranges.

What a nice surprise - that’s awesome! Thanks @StefanSchottUPB for the nice collaboration and thanks @ieeescam for the award! Stay tuned for the paper – the tool is already available: github.com/stschott/GenBe…

@FoelliXde presents „TaintBench: Automatic Benchmarking for Android Taint Analysis“ at #ICSE2022. Not only a completly new benchmark for Android but also more: taintbench.github.io

Cedric is presenting a dataset curated from mining single statement bugs at massive scale #msr2022

@cedrichter gives the First Presentation in @ETAPSconf ! Nicely done 🥳

Can you fix my variables?! Then please participate in our Java bug finding developer study: FixMyVars.uol.de Everyone who knows Java is not only an island is welcome! Have Fun! A collaboration of @unipb @CompScience_UPB @UniOldenburg @TUDarmstadt

Heute habe ich dieses Foto gesehen von der "Corona-Demonstration" in Berlin am Samstag. Es macht mich fertig. Das Bild von der Nachrichtenagentur Reuters, veröffentlicht unter anderem von der "Tagesschau", zeigt ein Paar, vielleicht Mitte sechzig Jahre alt. Sie trägt einen...

Zuletzt war das Technische Hilfswerk nach den Explosionen in Beirut im Libanon. Auch beim Hurrikan "Katrina" in New Orleans haben die meist Ehrenamtlichen geholfen. Seit sieben Jahrzehnten ist das #THW im Einsatz. www1.wdr.de/nachrichten/rh…

Bin sprachlos, habe aber trotzdem was zu sagen zu den niveaulosen Tweets eines offenen Misogynisten.

@cbruegg Herzlichen Glückwunsch 🥳🥳

Offiziell verlobt! 🥰

Die wichtigsten Maßnahmen der #Landesregierung Nordrhein-Westfalen zur Eindämmung des #CoronaVirusDE im Überblick. #NRW #coronadeutschland #coronavirusdeutschland

@eurobahn_info wie lange braucht der Sev von Pb nach Herford bzw. Wird es eine Direktverbindung geben ?

Check out this exchange I had with then private citizen @realDonaldTrump on Oct. 15, 2008. We spoke about House Speaker Nancy Pelosi and he then offered his thoughts about impeachment.

@cbruegg @de_diem das sollte doch ein Kinderspiel sein, oder ?

Am Freitag hält die AfD in der paderborner Innenstadt eine Kundgebung ab, bei der unter anderem Gauland als Redner auftreten soll. Dagegen demonstrieren wir ab 17:30 Uhr am Rathausplatz. Den Aufruf könnt ihr unten lesen. #noafd #paderborn

@NordWestBahn, wann werden die Infos zur 2. Bauphase in und um Bielefeld veröffentlicht ? #baustelle #rb74

@cbruegg @DB_Bahn Greift da dann nicht die Mobilitätsgarantie, @Regio_NRW ?

@haltermannj @DB_Bahn In diesem Fall glaube ich leider nicht, weil das separate Ticket nur bis Kassel-WH ist. Von da aus wollte ich mit dem Semesterticket per RE11 weiter. 🤔

Habe @DB_Bahn Mal wieder eine Chance gegeben. Der ICE 572 kommt in Stuttgart natürlich an einem anderen Gleis, mit geänderter Wagenreihung und mit 30 Minuten Verspätung, sodass ich meinen Anschluss wohl verpassen werde.

@cbruegg @DB_Bahn Kannst du in solchen Fällen nicht ein Taxi /eine Übernachtung auf Kosten der DB buchen ?

Update: Wir fahren so langsam, dass nichtmal der Anschluss an den letztmöglichen Zug sicher ist. Auf Nachfrage sagte mir das Zugpersonal nur, ich solle mich an den Service Point am Bahnhof wenden. Für's Erste vermeide ich @DB_Bahn wieder. Absolut enttäuschende Leistung.

@Regio_NRW @eurobahn_info danke für die Info

@haltermannj @eurobahn_info Mit der Mobilitätsgarantie NRW gibt es eine Kostenerstattung falls der Fernverkehr oder ein Taxi genutzt werden musste.

Toller Start in 2019: Die Rb72 der @eurobahn_info fällt aus. Da ich mit dem Semesterticket fahre, werde ich auch keine finanzielle Entschädigung bekommen, oder @Regio_NRW, @eurobahn_info ? #rb72 #fälltheuteaus #Fahrgastrecht