ACM Awards 2016 Godel Prize to Inventors of Concurrent Separation Logic
by Rich Brueckner from High-Performance Computing News Analysis | insideHPC on (#1D6YG)
Today the Association for Computing Machinery's Special Interest Group on Algorithms and Computation Theory (SIGACT) and the European Association for Theoretical Computer Science (EATCS) announced that Stephen Brookes and Peter W. O'Hearn are the recipients of the 2016 GoIdel Prize for their invention of Concurrent Separation Logic.
The post ACM Awards 2016 GoIdel Prize to Inventors of Concurrent Separation Logic appeared first on insideHPC.