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.
Property-Based Testing for the People
Modular Abstractions for Efficient Hardware Design
(for 2015): Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
(for 2015) A Simpler, Safer Programming and Execution Model for Intermittent Systems.
(for 2014) Refinement Types for Haskell
(for 2014) Adaptive LL(*) parsing: the power of dynamic analysis