VMCAI 2018

From Openresearch
Jump to: navigation, search
VMCAI 2018
19th International Conference on Verification, Model Checking, and Abstract Interpretation
Event in series VMCAI
Dates 2018/01/07 (iCal) - 2018/01/09
Homepage: https://popl18.sigplan.org/track/VMCAI-2018
Location: Los Angeles, California, USA
Loading map...

Papers: Submitted 43 / Accepted 24 (55.8 %)
PC members: Jade Alglave, Roderick Bloem, Wei-Ngan Chin, Maria Christakis, Patrick Cousot
Keynote speaker: Azadeh Farzan, Ranjit Jhala, Kenneth L. McMillan
Table of Contents