Conclusions and Awards
summary
Session announces student competition winners (undergrad and grad named), SIGPLAN updates on finances and volunteer roles, and pushes institutions toward ACM Open for open access; notes a new ACM violations database for sanctioned individuals. A lifetime achievement award recounts practical work: porting ML/Caml, using Coq as a programming language to build verified compilers. The decade award cites a paper that implements a Haskell library eliminating termination and timing covert channels, and several ACM Europe best papers are listed.
AI-written summary · about