the final version of our OOPSLA paper is now in PACMPL! graded types already offer more precise restrictions than linearity; we introduce fractional grades which encapsulate borrowing, generalising uniqueness while preserving memory safety :) check it out! dl.acm.org/doi/10.1145/36…

Sounds interesting:

Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes

cse.iitb.ac.in/~manas/docs/pr…

Another win for the IT services.

I guess I'll have to do the research in my spare time.
Oh wait...

It's finally out!
Teaser: Linearly scalable and sound, yet precise, static analysis for Java.
Spoiler: Analyzing Spring Framework PetClinic 5x faster!

Link to PDF: codrutstancu.com/pldi24main-p25…
#PLDI2024

Dear #lazyweb , I am looking for a ToDo Heap app.

Smth where I can add deadlines, and estimated effort.

Perhaps also a soft vs hard deadline, and the ever so helpful 'postpone to next week' button, perhaps with a counter, and automatic deadline removal after n postpones?

Thanks

Not quite the same with programming, but close enough.

I am positively delighted to announce that Dr Wenowdis, my paper with CF Bolz-Tereick, has been accepted at PLDI SOAP 2024. See you all in Copenhagen!

arxiv.org/abs/2403.02420

I am very proud of my ASCII art skills. I should have done this ages ago. This is the output of the 'control' monitor in Wizard, which profiles all branches and loops in a Wasm program.

OOPSLA 2024: 9, 6, 5 (4x), 4 (6x), then 3 or less - across two rounds.

The Onward! Essays 2024 submission deadline of April 25 is rapidly approaching.

If you have an essay relating to software, programming, or programming languages which has not yet been formally published please consider submitting it.

2024.splashcon.org/track/splash-2…

Hotter take: even C++ compilers are tuned for 'looks like normal application code you could write in any language'

Hot take: recursion is faster than iteration!

😉

Thanks to the Swiss NSF for supporting our 'Consistency Programming for Local First Software' with 1M CHF!
Cool stuff ahead, like CRDTs, verification for replication, and privacy-preserving data pods.
Great time to apply for PhD/Postdoc positions!
programming-group.com

Interested in memory management? If so, you should register for ISMM 2024, the premier forum colocated with PLDI that is dedicated to research in this area. Plus: we have two distinguished keynote speakers for ISMM 2024! Find out more at: conf.researchr.org/home/ismm-2024

Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 link.springer.com/chapter/10.100… #etaps2024 well done Jack!

I really should get on with the talks for next week.
Though, I felt I should look at some statistics for it...

Quick and dirty, but I guess the points make themselves.

Our team in Cambridge is looking to recruit two postdoc researchers to work in the space of Security/Privacy/Systems/PL. It's a great team to work in with a massive potential for impact. You also get Mark Russinovich as your (skip-)skip-level manager as an added bonus. (1/4)

'Cooklang – Recipe Markup Language'

cooklang.org

Very nice and geeky 🤓

mastodon.xyz/@douginamug/11…

We are organising SREPLS and the Concurrency Workshop this summer in Kent, we are looking for talk proposals. Visit our website for more info: cw-srepls-24.github.io . Call for Talks: mpaviotti.github.io/assets/srepls2…

Happy to announce the second edition of the @DARE summer school! The in-person week will be held from 9 to 13 September 2024 at the Technical University of Darmstadt in Germany. The application deadline is 29 May 2024. Follow up on all details here: dare-summer.github.io