Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
@online{rustlang22,
title = {Rust Programming Language},
author = {Rust Foundation},
url = {https://rust-lang.org},
date = {2022-01-25},
urldate = {2022-01-25},
}
@online{lean22,
title = {Lean Theorem Prover},
author = {Leo de Moura and Sebastian Ullrich and Dany Fabian},
url = {https://leanprover.github.io/},
date = {2022-01-26},
urldate = {2022-01-26},
}
@online{z322,
title = {Z3 Theorem Prover},
author = {Microsoft},
url = {https://github.com/Z3Prover},
date = {22-01-26},
urldate = {22-01-26},
}
@online{liquid22,
title = {LiquidHaskell},
author = {UCSD Progsys},
url = {https://ucsd-progsys.github.io/liquidhaskell-blog/},
date = {22-01-26},
urldate = {22-01-26},
}
@online{haskell22,
title = {Haskell},
author = {Haskell.org},
url = {https://www.haskell.org/},
date = {22-01-26},
urldate = {22-01-26},
}
@online{ats22,
title = {The ATS Programming Language},
author = {Hongwei Xi},
url = {http://www.ats-lang.org/},
date = {22-01-26},
urldate = {22-01-26},
}
@online{rustbelt22,
title = {RustBelt},
author = {Project RustBelt},
url = {https://plv.mpi-sws.org/rustbelt/},
date = {22-01-26},
urldate = {22-01-26},
}
@online{emc22,
title = {European Metrology Cloud},
author = {Physikalisch-Technische Bundesanstalt},
url = {metrologycloud.eu},
date = {22-01-26},
urldate = {22-01-26},
}
@online{refinement22,
title = {Refinement},
author = {2bdkid},
url = {https://github.com/2bdkid/refinement},
date = {22-01-26},
urldate = {22-01-26},
}
@online{rustproof22,
title = {RustProof},
author = {Rust-Proof},
url = {https://github.com/Rust-Proof/rustproof},
date = {22-01-26},
urldate = {22-01-26},
}
@article{flanagan06,
author = {Cormac Flanagan and Stephen N. Freund and Aaron Tomb},
title = {Hybrid Types, Invariants, and Refinments For Imperative Objects},
journal = {FOOL/WOOD Workshop},
year = {2006},
url = {https://users.soe.ucsc.edu/~cormac/papers/fool06.pdf},
urldate = {2022-01-26}
}
@article{lehmann17,
author = {Nico Lehmann and Éric Tanter},
title = {Gradual Refinement Types},
journal = {POPL’17},
year = {2017},
url = {https://pleiad.cl/papers/2017/lehmannTanter-popl2017.pdf},
urldate = {2022-01-26}
}
@article{thomas19,
title = {A proactive approach to more secure code},
organization = {Microsoft Security Response Center},
author = {Gavin Thomas},
url = {https://msrc-blog.microsoft.com/2019/07/16/a-proactive-approach-to-more-secure-code/},
date = {2019-07-16},
urldate = {2022-01-25},
}
@article{weiss21,
author = {Aaron Weiss and Olek Gierczak and Daniel Patterson and Amal Ahmed},
title = {Oxide: The Essence of Rust},
year = {2021},
url = {https://arxiv.org/pdf/1903.00982.pdf},
urldate = {2022-01-26}
}
@article{kan20,
author = {Shuanglong Kan and Zhe Chen and Davin Saán and Shang-Wei Lin and Yang Liu},
title = {An Executable Operational Semantics for Rust with the Formaliztion of Ownership and Borrowing},
year = {2020},
url = {https://arxiv.org/pdf/1804.07608.pdf},
urldate = {2022-01-26}
}
@masterthesis{ullrich16,
author = {Sebastian Ullrich},
title = {Simple Verification of Rust Programs via Functional Purification},
school = {Karlsruhe Institute of Technology},
year = {2016},
url = {https://pp.ipd.kit.edu/uploads/publikationen/ullrich16masterarbeit.pdf},
urldate = {2022-01-26}
}