NortheasternU PRL

Programming Research Laboratory, WVH 308 & WVH 330, @KhouryCollege @Northeastern. (tweets by PRL students)

[NortheasternU PRL @neu_prl]

10 papers that all PhD students in programming languages ought to know, for some value of 10
https://t.co/xfU2T09qwX

[Karim Ali (كريم علي) @karimhamdanali]

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

[Arjun Guha @ArjunGuha]

(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?

[PLDI @PLDI]

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): https://t.co/weH2tlnfGd

[please RT]

[PLUM Lab @plumlab]

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! https://t.co/QIrBTlJBUm

[NortheasternU PRL @neu_prl]

A new blog post by our own @0xo1o1o: Ř - Overview I. First in a series describing R JIT compiler that Oli works in his dissertation. https://t.co/BJr0droyta

[POPL 2027 @poplconf]

The POPL22 Teasers are out!!!
https://t.co/fb4snYt98M

[NortheasternU PRL @neu_prl]

A new post by @LeifAndersen on our blog: Introducing Visual and Interactive-Syntax realized (VISr) for ClojureScript (and JavaScript) https://t.co/kqphBYW5ao

[POPL 2027 @poplconf]

Apply to be a student volunteer at POPL22! A great way to attend the conference and receive funding for it.
Form: https://t.co/M3YAYFMouX
Information: https://t.co/EptXbMcXol

[NortheasternU PRL @neu_prl]

@icfp_conference links to the videos:
1) Compositional Optimizations for CertiCoq https://t.co/fe0N3hI82v
2) How to Evaluate Blame for Gradual Types https://t.co/v0w3ZHlfcL
3) Typed dataspace actors https://t.co/d0IYUGJx0u
Links to the papers are available on the ICFP page https://t.co/S3Ls8MIFMX

[NortheasternU PRL @neu_prl]

.@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)

[Matt @matt_dz]

HOPL IV: History of Programming Languages
Video recordings: https://t.co/YQ8a0QTyxx
@sigplan @PLDI #PLDI2021

[NortheasternU PRL @neu_prl]

@LeifAndersen the latest development concerning ClosureScript prototype is available on GitHub: https://t.co/DBrUs1DcGT

[NortheasternU PRL @neu_prl]

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 https://t.co/QMg8HwzRHX Latest publication on the topic: https://t.co/wRTf6FzQUP

[ICOOOLPS 2023 @ICOOOLPS]

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!
https://t.co/oV6Qgivsm0

[Laurence Tratt @laurencetratt]

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! https://t.co/XBJUT5TljA

[NortheasternU PRL @neu_prl]

(2017 version also available: https://t.co/lxbGU4d2MG). These might serve as a great guide for some who want to dive into some of the topics.

[NortheasternU PRL @neu_prl]

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: https://t.co/72KTEJUQCi

[Crista Lopes @cristalopes]

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! https://t.co/xbDK5RgmRy)

[Emily Herbert @emilyaherbert]

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?

[Guido Salvaneschi @guidosalva]

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