Colorado PLV

Programming Languages and Verification at the University of Colorado Boulder

[Gowtham Kaki @GowthamK]

📢📢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

[SPLASH Conference @splashcon]

We're excited to have @neharungta as a keynote speaker and can't wait to see you in Pasadena!

More keynote details here: https://t.co/FEzfLziSp7

[Gowtham Kaki @GowthamK]

Another fantastic day @cuplv this week, this time hosting @suresh12345!

[Gowtham Kaki @GowthamK]

We had a fantastic day hosting @ShriramKMurthi and learning about the human factors of formal methods!!

[Colorado PLV @cuplv]

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.

[Colorado PLV @cuplv]

Several PhD positions in CUPLV, the Programming Languages and Verification Group (https://t.co/NKz2TlE4AN), and the CS Department at CU Boulder!

[Colorado PLV @cuplv]

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.

[Colorado PLV @cuplv]

CUPLV at @splashcon Portugal 😎

[Colorado PLV @cuplv]

CUPLV at @splashcon Portugal 😎

[Gowtham Kaki @GowthamK]

@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!

[Colorado PLV @cuplv]

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.

[Colorado PLV @cuplv]

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*.

[Colorado PLV @cuplv]

📣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!

[Majid Zamani @zamani1362]

Niloofar is presenting our work on safety synthesis for partially observable systems using data @IFAC2023

[Majid Zamani @zamani1362]

Mahathi is presenting our paper on neural network based barrier certificate at @IFAC2023

[Arie Gurfinkel @ariegurfinkel]

Evan Chang on Interactive Abs Int #dagstuhl

[Colorado PLV @cuplv]

#PLDI2022

[Colorado PLV @cuplv]

Congratulations Sriram!
https://t.co/M9s8LqEFxa

[Majid Zamani @zamani1362]

Excited to receive the NSF Career award entitled “A Data-Driven Approach for Verification and Control of Cyber-Physical Systems”!

https://t.co/osQigVguCo

[Colorado PLV @cuplv]

Sometimes “published” actually means published! @bechang 😎#pldi2022