Colorado PLV retweetet
📢📢CU Boulder is hiring TT faculty in Trustworthy & Scalable AI Systems. We would love to see applications from PL/FM/SE folks!
jobs.colorado.edu/jobs/JobDetail…
English
Colorado PLV
52 posts
Colorado PLV
@cuplv
Programming Languages and Verification at the University of Colorado Boulder
Boulder, Colorado, USA Beigetreten Kasım 2012
19 Folgt146 Follower
Colorado PLV retweetet
We're excited to have @neharungta as a keynote speaker and can't wait to see you in Pasadena!
More keynote details here: 2024.splashcon.org/track/splash-2…
Neha@neharungta
In a #SPLASH keynote, I talk about our work on formally verifying the authorization engine in AWS, which handles trillions of daily requests. Witness formal methods at cloud scale in Pasadena, CA. Join us: 2024.splashcon.org/track/splash-2…
English
Colorado PLV retweetet
Colorado PLV retweetet
We had a fantastic day hosting @ShriramKMurthi and learning about the human factors of formal methods!!
English
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: shorturl.at/rsMR0.
English
Several PhD positions in CUPLV, the Programming Languages and Verification Group (plv.colorado.edu), and the CS Department at CU Boulder!
English
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.
English
Colorado PLV retweetet
@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
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*.
English
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.
English
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*.
English
📣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!
English
Colorado PLV retweetet
Niloofar is presenting our work on safety synthesis for partially observable systems using data @IFAC2023
English
Colorado PLV retweetet
Colorado PLV retweetet
Colorado PLV retweetet
Excited to receive the NSF Career award entitled “A Data-Driven Approach for Verification and Control of Cyber-Physical Systems”!
shorturl.at/kJNRW
English
