APLAS/CPP 2013 Highlights

Posted on December 13, 2013


Today I just got back from the lovely Melbourne, where I was attending both the Asian Symposium on Programming Languages and Systems (APLAS) and Certified Programs and Proofs (CPP), two small conferences that were colocated this year. More information are available on the APLAS2013 and CPP2013 websites.

There were a number of standout talks, and I summarise here just the ones that I remember most prominently:

APLAS

CPP

Of course, there were many other talks that had interesting and varied contributions, but these were the talks that I found personally enjoyable to listen to and interesting enough to note down. Many thanks go to the organisers, and to Chung-chieh Shan who asked many of the questions we all wanted to ask.

verification, aplas, cpp, nicta, conference