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.
SIGPLAN’s parent organization, ACM, has issued a statement expressing serious concern about U.S. President Donald Trump’s recent Executive Order (EO) that restricts entry to the USA for citizens of certain countries. The SIGPLAN Executive Committee, consisting of your elected representatives, shares these concerns. The EC is currently engaged in a vigorous dialogue about how to best respond. We strongly believe that the practice of science and its quest for knowledge and the betterment of the human condition, should be independent of physical, political, cultural, and economic barriers. While we hope that the EO is rescinded (and will work toward this outcome), we are developing contingency plans for organizing future SIGPLAN events so as to maximize inclusiveness of the worldwide scientific community. We welcome your input.
Automatic Reasoning for Pointer Programs Using Decidable Logics
(for 2007): JavaScript Instrumentation for Browser Security
(for 2006) Simple unification-based type inference for GADTs
(for 2006) The DaCapo benchmarks: Java benchmarking development and analysis