Programming Languages and Verification at the University of Colorado Boulder
Boulder, Colorado, USA
Joined November 2012
- Tweets52
- Following19
- Followers141
- Likes12
Colorado PLV retweeted
📢📢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/JobDe…
Colorado PLV retweeted
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/spl…
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/spl…
Colorado PLV retweeted
We had a fantastic day hosting @ShriramKMurthi and learning about the human factors of formal methods!!
Colorado PLV retweeted
@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!
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 retweeted
Niloofar is presenting our work on safety synthesis for partially observable systems using data @IFAC2023
Colorado PLV retweeted
Mahathi is presenting our paper on neural network based barrier certificate at @IFAC2023
Colorado PLV retweeted
Excited to receive the NSF Career award entitled “A Data-Driven Approach for Verification and Control of Cyber-Physical Systems”!
shorturl.at/kJNRW
Colorado PLV retweeted
Happy to announce that the list of PLDI conditionally accepted papers is now online!
pldi22.sigplan.org/track/pld…
Colorado PLV retweeted
Last year, the Radhia Cousot Young Researcher Best Paper Award went to @cuplv PhD student @tianhanlu for his paper “Selectively-Amortized Resource Bounding” co-authored with @bechang and @astrivedi. Congratulations again!
Colorado PLV retweeted
On a related note, our paper "Runtime-Assisted Convergence in Replicated Data Types" has been conditionally accepted to PLDI 22! We show how to use a distributed runtime to obtain highly-available convergent MRDTs *without* having to prove commutativity, associativity etc.
"Certified Mergeable Replicated Data Types" has been conditionally accepted to PLDI 22. This is joint work with @vimala_sp, @adharshkamath and Kartik Nagar.
Colorado PLV retweeted
Broad recruiting push for the University of Colorado Boulder! We have several tenure-track and teaching faculty searches underway and always looking for deeply curious and energetic applicants to our PhD program and the CU Programming Languages and Verification @cuplv group. 1/x
Colorado PLV retweeted
@cuplv PhD Student @tianhanlu is speaking at the Static Analysis Symposium today on getting both the simplicity of worst-case reasoning and the precision of amortized reasoning for static resource analysis! Today at 11:05am and 7:05pm Chicago time.
Excited to present our (w/ @bechang and @astrivedi) paper "Selectively-Amortized Resource Bounding" at Static Analysis Symposium 2021! Check out the preprint at arxiv.org/abs/2108.08263 or read on for a quick summary! (1/x)
Colorado PLV retweeted
I will be speaking tomorrow at the launch of @ppintelligence. We've been working for several years to realize this industry-university cooperative research center on future intelligent software. Drop by just to see what we’re doing. Check out ppicenter.org for details.
Colorado PLV retweeted
Tenure-track openings in CS at CU-Boulder, including “secure and reliable software” and “computer systems.” colorado.edu/cs/job-opportun…