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.
Machine Learning for Programming Language Processing
Novel Polynomial Approximation Methods for Generating Correctly Rounded Elementary Functions
(for 2012) Test-Case Reduction for C Compiler Bugs
(for 2012) Addressing covert termination and timing channels in concurrent information flow systems
(for 2012) GPUVerify: a verifier for GPU kernels
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS 2008
Design and evaluation of a compiler algorithm for prefetching, ASPLOS 1992