Michael Schwarz
66 following
LightNews LightNews
Manuel Rigger
Manuel Rigger
@mrigger.bsky.social
Umang Mathur
Umang Mathur
@umathur.bsky.social
Mohammad Hossein Khoshechin
Mohammad Hossein Khoshechin
@khoshechin.bsky.social
Jamila Schäfer
Jamila Schäfer
@jamilaschaefer.bsky.social
International Conference on Automated Software Engineering (ASE)
International Conference on Automated Software Engineering (ASE)
@aseconf.bsky.social
Isil Dillig
Isil Dillig
@idillig.bsky.social
Matthieu Lemerre
Matthieu Lemerre
@mattthieulemerre.bsky.social
Michael Schröder
Michael Schröder
@schrototo.bsky.social
SIGPLAN AV
SIGPLAN AV
@sigplan-av.bsky.social
SIGPLAN
SIGPLAN
@sigplan.bsky.social
PLDI
PLDI
@sigplan-pldi.bsky.social
Ilya Sergey
Ilya Sergey
@ilyasergey.bsky.social
Jan Kofroň
Jan Kofroň
@jankofron.bsky.social
Satnam Singh
Satnam Singh
@satnam6502.bsky.social
Andreas Zeller
Andreas Zeller
@andreaszeller.bsky.social
avsm.bsky.social
avsm.bsky.social
@avsm.bsky.social
KC Sivaramakrishnan
KC Sivaramakrishnan
@kcsrk.info
Metaebene
Metaebene
@metaebene.me
plumlab.bsky.social
plumlab.bsky.social
@plumlab.bsky.social
Bob
Bob
@rgiacobazzi.bsky.social
OCamlPro
OCamlPro
@ocamlpro.bsky.social
Eddie Aftandilian
Eddie Aftandilian
@eaftan.bsky.social
Caterina Urban
Caterina Urban
@caterinaurban.bsky.social
Julien Vanegue
Julien Vanegue
@jvanegue.bsky.social
Anders Møller
Anders Møller
@andersmoeller.bsky.social
ACM SIGSOFT
ACM SIGSOFT
@sigsoft.bsky.social
ETAPS conferences
ETAPS conferences
@etapsconf.bsky.social
Gagandeep Singh
Gagandeep Singh
@gdsingh94.bsky.social
stefan brunthaler
stefan brunthaler
@sbrunthaler.bsky.social
Alexandra Silva
Alexandra Silva
@xanovsky.bsky.social
Loris D'Antoni
Loris D'Antoni
@lorisdanto.bsky.social
Derek Dreyer
Derek Dreyer
@herrdreyer.bsky.social
afd-icl.bsky.social
afd-icl.bsky.social
@afd-icl.bsky.social
Hila Peleg
Hila Peleg
@hilacodes.bsky.social
Vincenzo Arceri
Vincenzo Arceri
@vincenzoarceri.bsky.social
Cedric Richter
Cedric Richter
@cedrichter.bsky.social
gretadolcetti.bsky.social
gretadolcetti.bsky.social
@gretadolcetti.bsky.social
Anastasia Isychev
Anastasia Isychev
@isychev.bsky.social
Talia Ringer
Talia Ringer
@taliaringer.bsky.social
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
José F. Morales
José F. Morales
@notjfmc.bsky.social
Ben Hermann
Ben Hermann
@benhermann.eu
Kristopher Micinski
Kristopher Micinski
@krismicinski.bsky.social
Emanuele D'Osualdo
Emanuele D'Osualdo
@emanueledosualdo.com
rakamaric.bsky.social
rakamaric.bsky.social
@rakamaric.bsky.social
Stephanie Weirich
Stephanie Weirich
@fancytypes.bsky.social
trailofbits.bsky.social
trailofbits.bsky.social
@trailofbits.bsky.social
Marcel Böhme
Marcel Böhme
@mboehme.bsky.social
Eva Darulova
Eva Darulova
@malyzajko.bsky.social
Load more