Neural networks are more useful when placed in a suitable, specialized environment.| SIGPLAN Blog
This post was cross-published from the SIGARCH blog. The Research Pipeline is Stalling The U.S. National Science Foundation (NSF) froze all outgoing funding, including new awards and scheduled…| SIGPLAN Blog
In computer science, conferences are a focal point of academic attention. Conferences are a moment where computing communities—distributed over the globe—come together. Giving a talk at a conferenc…| SIGPLAN Blog
AI software demands new approaches to testing that go far beyond existing software testing methodologies. And with the rapid evolution of AI model capabilities, the need for the software engineerin…| SIGPLAN Blog
Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyp…| SIGPLAN Blog
The Missing Mentoring Pillar The programming languages (PL) community has developed a whole host of mentoring pillars to help new research become a part of our community The Programming Languages Mentoring Workshop (PLMW), our 1-2 day workshop before each of our four flagship conferences, answers: How do I make the most of a conference? How […]| SIGPLAN Blog
[Note: Since PLDI joined the PACM-PL journal, what was previously called Program Committee is now called Review Committee. In the following, we use the term Program Committee (PC) because it is a better-known term.] Prior to PLDI 2021, the PLDI conference always held in-person program committee meetings. Starting with PLDI 2021, the PLDI Steering Committee […]| SIGPLAN Blog
Software systems researchers want to make human-centered claims, but don’t have the proper tools to do so. That’s how we ended up with the ubiquitous lines-of-code comparison found in e…| SIGPLAN Blog
This article is cross-posted from the SIGARCH Blog. TL;DR The ASPLOS Steering Committee (SC) is soliciting feedback on the new review process introduced with ASPLOS 2023. The SC welcomes input on the impact of the new process and changes being contemplated for ASPLOS 2026. Please read this whole post then complete this online survey by […]| SIGPLAN Blog
Prompts are our way of communicating intent to AI foundation models and large language models. The PL and SE communities have great experience understanding how to build robust software that should now be applied to AI model prompts.| SIGPLAN Blog
Programming languages can statically ensure that certain resources are used exactly once through a linear type system based on Girard’s linear logic. Typical linear type systems track the num…| SIGPLAN Blog
A Tale of Two Softwares: In a world where AI is revolutionizing the way we interact with technology, a new type of software emerges: AI Software (AISW). But with great power comes great responsibil…| SIGPLAN Blog