https://github.com/misakacenter/awesomepl

A Collection of Papers & Notes in Programming Language & Formal Verification
https://github.com/misakacenter/awesomepl

List: awesomepl

formal-verification programming-language

Last synced: 26 days ago
JSON representation

A Collection of Papers & Notes in Programming Language & Formal Verification

• Host: GitHub
• URL: https://github.com/misakacenter/awesomepl
• Owner: MisakaCenter
• Created: 2021-07-15T14:06:01.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-05-10T15:31:42.000Z (over 2 years ago)
• Last Synced: 2024-05-29T22:05:15.726Z (5 months ago)
• Topics: formal-verification, programming-language
• Homepage:
• Size: 10.3 MB
• Stars: 16
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# AwesomePL

## POPL

### 2015

[Verasco: a Formally Verified C Static Analyzer](https://github.com/MisakaCenter/AwesomePL/tree/main/POPL/2015/Verasco)

## PLDI

### 2021

[Proof Repair Across Type Equivalences](https://github.com/MisakaCenter/AwesomePL/tree/main/PLDI/2021/Proof%20Repair)