Jan Haltermann

Computer-Science student, voluntary @ THW

[Cedric Richter @cedrichter]

@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.

[FoelliX @FoelliXde]

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: https://t.co/5taSGWxPs7

[Cedric Richter @cedrichter]

@FoelliXde presents „TaintBench: Automatic Benchmarking for Android Taint Analysis“ at #ICSE2022. Not only a completly new benchmark for Android but also more: https://t.co/Fm5jSsF07T

[MSR 2025 @msrconf]

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

[Jan Haltermann @haltermannj]

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

[FoelliX @FoelliXde]

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

[Hasnain Kazim @HasnainKazim]

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...

[WDR @WDRaktuell]

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.
https://t.co/JjT2HxwsPC

[Laura Sophie Dornheim @schwarzblond]

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

[Jan Haltermann @haltermannj]

@cbruegg Herzlichen Glückwunsch 🥳🥳

[Staatskanzlei NRW @landnrw]

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

[Jan Haltermann @haltermannj]

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

[Wolf Blitzer @wolfblitzer]

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.

[Jan Haltermann @haltermannj]

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

[BgR Paderborn @BGRPaderborn]

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

[Jan Haltermann @haltermannj]

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

[Jan Haltermann @haltermannj]

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

[Jan Haltermann @haltermannj]

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

[Jan Haltermann @haltermannj]

@Regio_NRW @eurobahn_info danke für die Info

[Jan Haltermann @haltermannj]

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