Niki Vazou
- Refinement reflection: complete verification with SMT
2017/11/09 by Niki Vazou, Anish Tondwalkar, Vikraman Choudhury +4 · 2 voices · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Security and Verification in Computing
- Refinement Types: A Tutorial
2020/10/15 by Ranjit Jhala, Jhala, Ranjit, Niki Vazou +1 · 3 voices
#cs.PL #cs.LO #cs.SE
- Bounded Refinement Types
2015/07/01 by Niki Vazou, Alexander Bakst, Vazou, Niki +3 · 1 voice · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Security and Verification in Computing #cs.PL #cs.SE
- Flux: Liquid Types for Rust
2022/07/08 by Nico Lehmann, Lehmann, Nico, Adam Geller +5 · 1 voice · 2 citations
Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering Research #cs.PL
- Type Targeted Testing
2014/10/20 by Eric L. Seidel, Niki Vazou, Ranjit Jhala · 1 voice · 1 citation
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Software Testing and Debugging Techniques #cs.PL