SPLASH-ISSTA was really fun! Saw lots of great PL and fuzzing talks and participated in the Student Research Competition (🥉).
Some of my favorite talks:
- Kent Beck's Opening Keynote "The Augmented Forest"
- Rust's Type Checker Implementation is Unsound (https://dl.acm.org/doi/10.1145/3832220)
- How Does Killing Surviving Mutants Help Detect Real Bugs with Assertion Generation? (https://dl.acm.org/doi/10.1145/3832232)
- Repair-Driven Greybox Fuzzing (https://dl.acm.org/doi/10.1145/3832229)
- The Discreet Charm of the Bugeoisie (https://dl.acm.org/doi/10.1145/3832244)
- Hylo (https://hylo-lang.org/), winner of the coveted "funniest slidedeck to photograph" award
If anyone I've met there has a mastodon account, please talk to me here. Much less dreadful than Linkedin.