#sigplan — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sigplan, aggregated by home.social.
-
💪 #SLE2026 website is live 💪
The #ACM #SIGPLAN International Conference on #Software #Language Engineering (#SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. And of course, the role #AI can play in all these tasks.
Start preparing your:
☑️ Research Papers
☑️ New ideas Papers
☑️ Tool Papers
I can't think of a better excuse to escape your never-ending Christmas feasts 😉 🎅⛄
-
Just a week left to submit your papers to GPCE 2025, the ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences!
https://2025.ecoop.org/home/gpce-2025#Call-for-Papers
If this is too tight for you, check out the other events that will be at https://2025.ecoop.org in summer.
-
I made a simple slide.
**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, https://etaps.org/about/fopss-schools/2024/#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM
-
Does anyone know how to find the license a #SIGPLAN video is released under? E.g. I can't find the license for https://youtu.be/nziiBPtB0eQ - @johnjohnhui ?
-
ChatGPT, write secure #malloc for me
https://www.youtube.com/watch?v=CGE905k-ils
#c #sigplan #jemalloc -
The systems programming language that the co-creator of #WASM has been working on for over 20 years:
#Virgil is a programming language designed for building lightweight high-performance systems. Its design blends functional and object-oriented programming paradigms for expressiveness and performance. Virgil's compiler produces optimized, standalone native executables, WebAssembly modules, or JARs for the #JVM. For quick turnaround in testing and debugging, programs can also be run directly on a built-in interpreter. It is well-suited to writing small and fast programs with little or no dependencies, which makes it ideal for the lowest level of software systems. On native targets, it includes features that allow building systems that talk directly to #kernel, dynamically generate machine code, implement garbage collection, etc. It is currently being used for #vm and programming language research, in particular the development of a next-generation #WebAssembly virtual machine, Wizard.
https://github.com/titzer/virgil
Talk @ #SIGPLAN #VMIL
https://www.youtube.com/watch?v=jNcEBXqt9pU -
"Program #testing can be used to show the presence of bugs, but never to demonstrate their absence!" - Dijkstra
How to trust a verified program?
@ #SIGPLAN #Unsound
https://www.youtube.com/watch?v=UoNWolE4q8c -
good talk on #IntermittentComputing (maintaining program execution intermittently in low-power situations across power failures) @ #sigplan
-