Latest tweets that mention www.mpi-sws.org

OGAWA, Tadashi

=> "Persistency Semantics of the Intel-x86 Architecture", POPL 2020, PDF https://t.co/KpblNTFWSw 22:52… https://t.co/eDFKbpyeQZhttps://twitter.com/ogawa_tter

1 hour ago

kinaba

ext4のformal semantics https://t.co/01mknr5K3A (POPL'21) というのは個人的興味はそんなにないのだが、業務的になんかこ- れベースで面白いことできないかなhttps://twitter.com/kinaba

19 hours ago

BrendanEich

@aeyakovenko @jiyinyiyong @Vjeux Fixable. Cc: @luke_wagner but I think he doesn't read tweet-mail; and I can't find… https://t.co/IV4aibZOo3https://twitter.com/BrendanEich

3 days ago

Stephen Diehl

RT @jcreed: Everyone knows the most popular programming language isn't C++, or Java, or Python, but profanity: PL research helps articulate…https://twitter.com/smdiehl

6 days ago

jason reed

Everyone knows the most popular programming language isn't C++, or Java, or Python, but profanity: PL research help… https://t.co/SG5t1xkYjlhttps://twitter.com/jcreed

1 week ago

Latest tweets that mention “MPI SWS – Max Planck Institute for Software Systems”

No results