Right after this break, Amin Timany will talk Separation Logic and verification in "Reasoning About Programs in Higher-Order Concurrent Separation Logic"!
Not at #PLMW today? The talks are being recorded and will eventually make their way up to youtube. And it's as good a time as any to remind you that PLMW@PLDI's applications will open soon, so keep an eye out!
And off we go: "Numbers, Logic, and Decidability Results for Cyber-Physical Systems", @rupakmajumdar is talking about how programs and their evolution are modeled.