The program for the Oregon Programming Languages Summer School 2026 looks exciting: https://www.cs.uoregon.edu/research/summerschool/summer26/
Come or send your students!
September)
| Website | https://julesjacobs.com |
Jules
- 387 Followers
- 628 Following
- 206 Posts
PhD student in PL (looking for postdoc for after
September)
September)
Jesper Agdakx ♾️If you are at the Agda meeting you heard it there first, but either way you hear it here second:
The Second Workshop on the Implementation of Type Systems (WITS '23) will take place on the 28th of August in Braga (Portugal), colocated with IFL '23. If you want to lead a discussion or give a talk, you can submit a 1-page abstract (submission site will open soon).
All information on the workshop can be found on https://ifl23.github.io/call_papers_wits.html
PhD position in language-based security in Utrecht: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-language-based-security-10-fte
In some conferences, the reviewers cannot see the authors' names while writing their initial review, but can see them when making the accept/reject decision. In some conferences, the reviewers can see the authors from the start. Why?
I recently learned that double-blind reviewing is not standard. What is the argument against double-blind reviewing?
GADTs are very weird, as they rely on equality on types.
Realistically, though, everyone is just going to ask the AI to write unit tests.
Programming using unreliable language models could finally justify PL research's pervasive focus on reliability and verification.