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 2010) The spoofax language workbench: rules for declarative specification of languages and IDEs