Search: goto.ucsd.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Quark: A secure Web Browser with a Formally Verified Kernel

13 years ago

296 points

2.

Liquid Haskell: Haskell as a Theorem Prover [pdf]

10 years ago

199 points

3.

A Gentle Introduction to Liquid Types

3 years ago

138 points

4.

Pointers Gone Wild

12 years ago

132 points

5.

“Rewrite It in Rust” Considered Harmful? [pdf]

3 years ago

117 points

6.

PeaCoq, a UI for Coq

11 years ago

93 points

7.

Automating Formal Proofs for Reactive Systems

12 years ago

74 points

8.

CSolve: Liquid Types-Based C Program Verifier

6 years ago

54 points

9.

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

12 years ago

22 points

10.

Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations [pdf]

3 years ago

4 points

11.

Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations [pdf]

3 years ago

2 points

12.

Liquid types in Haskell

13 years ago

2 points

13.

A gentle introduction to liquid types

10 months ago

2 points

14.

Dependent Types for JavaScript [pdf]

9 years ago

2 points

15.

Refinement Reflection: Haskell as a Theorem Prover

10 years ago

2 points

16.

Dependent Types for JavaScript

13 years ago

1 points

17.

Interactive Parser Synthesis by Example (2015) [pdf]

7 years ago

1 points