SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity
#SPLASH2023 #SPLASH23
ID:206278538
https://splashcon.org/ 22-10-2010 16:47:46
3,6K Tweets
2,7K Followers
294 Following
Follow People
Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏
🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Ilya Sergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.
Alex Potanin
Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!
Mike Hicks
Senior principal scientist@AWS & emeritus prof@UMD. Interests in programming languages and security. Co-lead Cedar https://t.co/5X4WKErcqQ, blog https://t.co/BT1KTMI8fh
Alastair Donaldson
Professor of Programming Languages at Imperial College London
Hydra: Generalizing Peephole Optimizations with Program Synthesis
users.cs.utah.edu/~regehr/genera…
Manasij Mukherjee (Manasij Mukherjee) and John Regehr (mastodon.social/@regehr/112045…)
OOPSLA 2024 (@splashcon)
SPLASH Conference OK, I thought it might get to 300 but nearly 400 (across the two rounds) is overwhelming a bit. Thanks all for the submissions!
Good luck to everyone submitting to OOPSLA SPLASH Conference today!
This painting is a gift I got a few years ago after a particularly stressful deadline. It's hanging in my office and frequently reminds me that OOPSLA is one of my favorite conferences!
SPLASH Conference OOPSLA 2024 R2 deadline is just 11 hours away now, let's see if we reach the previous year's combined total of 304 submissions across the two rounds or not! :-)
Round 2 of the #OOPSLA2024 paper submission deadline is approaching soon.
Looking forward to all your submissions and re-submissions!
📷 5th April 2024
2024.splashcon.org/track/splash-2…
To the crazy ones: alarmingdevelopment.org/?p=1708 A call by Jonathan Edwards (Deadline: April 25)
Want to connect with others who share strong interests in a topic you are passionate about? Only 2 weeks to the deadline for workshop proposals for #SPLASH2024 📝 2024.splashcon.org/track/splash-2…
📷Proposal deadline: Mar 1st, 2024
Want to connect with others who share strong interests in a topic you are passionate about? We warmly invite you to submit a workshop proposal for #SPLASH2024 📝
2024.splashcon.org/track/splash-2…
📷Proposal deadline: Mar 1st, 2024
We would like to extend our gratitude to Mira, Vasco, the student volunteers and everyone who helped to organise #SPLASH2023
Many thanks to all the authors and attendees whose works and curiosity contributed towards an engaging event!
Till next year in Pasadena! 🙌
Congrats to the authors of the Distinguished OOPSLA Artifacts: tinyurl.com/4kkj7uw9
Thanks to all the AEC, with special mentions to Rob Sison and Shiwei Weng for their extra efforts evaluating.
Many thanks to Ben Greenman and Guillaume Baudart for organising the Artifact Reviewing
Thank you to all the students who participated in the #SPLASH2023 SRC 🙏 It was with great joy that we discussed your work during this week!
👏 Congratulations to the winners of SPLASH SRC: 2023.splashcon.org/news#SRC-Winne…
And many thanks to Xujie Si and Jiasi Shen for organising
