41. POPL 2014: San Diego, CA, USA

Milner award

SIGPLAN achievement award

Type system design

Program analysis 1

Semantics of systems

Program analysis 2

Verified systems

Synthesis

SIGPLAN software systems award

In memory of John Reynolds

Concurrent programming models

Probability

Functional programming 1

Reasoning

Security

Separation logic

Semantic models 1

Program analysis 3

Static errors

Model checking and SMT

Semantic models 2

Functional programming 2