NortheasternU PRL

10 papers that all PhD students in programming languages ought to know, for some value of 10 github.com/nuprl/10PL

Alexi and Ellen from @neu_prl presenting their work on Stubbifier (debloating server-side JS apps) @ICSEconf earlier today!

(1/5) Codex and other LLMs for code are usually benchmarked on a single PL (usually Python). We wanted to know: how do they fare on other languages? Can they generalize across PLs?

Should @pldi join ICFP, OOPSLA and POPL in publishing its proceedings in the PACM-PL journal? The PLDI Steering Committee would appreciate your views. Please complete this short survey before the end of Thursday 16 June (AoE): forms.office.com/r/HjwYvq1CGw [please RT]

We had a really great visit by Cameron Moy from @neu_prl (and formerly @plumlab) yesterday, who talked about his work on Trace Contracts. Very cool stuff! talks.cs.umd.edu/talks/3152

A new blog post by our own @0xo1o1o: Ř - Overview I. First in a series describing R JIT compiler that Oli works in his dissertation. o1o.ch/lab/entry/1309…

The POPL22 Teasers are out!!! youtube.com/playlist?list=…

A new post by @LeifAndersen on our blog: Introducing Visual and Interactive-Syntax realized (VISr) for ClojureScript (and JavaScript) prl.ccs.neu.edu/blog/2022/01/0…

Apply to be a student volunteer at POPL22! A great way to attend the conference and receive funding for it. Form: forms.gle/wSJJWdwYAm125Q… Information: popl22.sigplan.org/track/POPL-202…

@icfp_conference links to the videos: 1) Compositional Optimizations for CertiCoq youtu.be/kYXUmBSKaak 2) How to Evaluate Blame for Gradual Types youtu.be/_S7BYbYb6Yk 3) Typed dataspace actors youtu.be/4KXbY1T2neY Links to the papers are available on the ICFP page #event-overview" target="_blank" rel="nofollow noopener">icfp21.sigplan.org/track/icfp-202…

.@icfp_conference starts today. Check it out and especially presentations of papers with our members involved: • Compositional Optimizations for CertiCoq • How to Evaluate Blame for Gradual Types • Typed dataspace actors (JFP Presentation)

HOPL IV: History of Programming Languages Video recordings: pldi21.org/track_hopl.html @sigplan @PLDI #PLDI2021

@LeifAndersen the latest development concerning ClosureScript prototype is available on GitHub: github.com/LeifAndersen/i…

Today is the thesis proposal of our own @LeifAndersen! The topic is: Extending Programming Languages with Domain-Specific Visual and Interactive Syntax. Slides are available at leif-proposal.surge.sh Latest publication on the topic: dl.acm.org/doi/10.1145/34…

Our submission is still open and we accept proposals for talks. Presenters will have the option to submit their work to JOT after the workshop! conf.researchr.org/track/ecoop-is…

PLISS (Programming Language Implementation Summer School) 2021 is now open for you to register your expression of interest in attending -- you have until 2021-04-07! pliss.org/2021/

(2017 version also available: felleisen.org/matthias/7480-…). These might serve as a great guide for some who want to dive into some of the topics.

Just finished our seminar course "History of Programming Languages" which we have once in several years (last time: 2017). Topics, (handwritten) lecture notes and, maybe most importantly, bibliography for every topic is available from the course website: felleisen.org/matthias/7480-…

Good news, everyone! "Proceedings of the ACM on Programming Languages-PACMPL has been selected for inclusion in the Web of Science." Open access + journal + community-driven editorial board and processes = win Ranking => care if you must (7.5 years! tagide.com/blog/academia/…)

I'm curious, did anyone learn how to code using the Logo teaching language, or some variant of it? (StarLogo, UCBLogo, NetLogo, etc). And what did you think about it?

I'm thrilled that my project on multitier programming for the cloud has been funded with ~1M CHF by the Swiss National Science Foundation @snsf_ch. Open positions coming soon! @prg_grp