
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.
(for 2010): From program verification to program synthesis
(for 2010) Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation
(for 2009) Flapjax: a programming language for Ajax applications
Hoard: A Scalable Memory Allocator for Multithreaded Applications