📢📢CU Boulder is hiring TT faculty in Trustworthy & Scalable AI Systems. We would love to see applications from PL/FM/SE folks!
https://t.co/PEXWSfSO5A
Join CU CS for the virtual session on December 13 to gain a deeper understanding of PhD requirements, application submission, and the admissions process! You can access the sessions here: https://t.co/gpsMiZkaLu.
PhD opportunities with CUPLV are centered around the formal study of computational systems ranging across interactive, mobile, distributed, cyber-physical, and autonomous, with a focus on leveraging techniques from programming languages, control theory, and machine learning.
@KirbyLinvill’s @splashcon talk on Verifying Privacy-Preserving Protocols is today! If you are around, drop by Room 12 at 15:12 and check out Kirby’s cool work on probabilistic reasoning about distributed programs!
Also, watch for @bechang's keynote at this year's SAS (co-located with OOPSLA) along with his paper (with Amazon co-authors) on Lifting On-Demand Analysis to Higher-Order Languages.
2. @KirbyLinvill and co-authors @GowthamK and @ewust show how Dependent Types + Lipton's movers ⟹ automatic verification of probabilistic privacy properties. The tool Waldo found potential privacy violations in the TLS ECH spec and helpe verify the fixed implementation in F*.
📣Two CUPLV papers at OOPSLA this year!
1. @MeierShawn and co-authors Sergio Mover, @GowthamK, and @bechang demonstrate how to do scalable reachability analysis in presence of callbacks. The tool Historia has analyzed 2M lines of android app source code and found real bugs!
Excited to receive the NSF Career award entitled “A Data-Driven Approach for Verification and Control of Cyber-Physical Systems”!
https://t.co/osQigVguCo