Seguir
Cezar-Constantin Andrici
Cezar-Constantin Andrici
MPI-SP
E-mail confirmado em mpi-sp.org - Página inicial
Título
Citado por
Citado por
Ano
A Verified Implementation of the DPLL Algorithm in Dafny
CC Andrici, Ș Ciobâcă
Mathematics 10 (13), 2264, 2022
11*2022
Securing Verified IO Programs Against Unverified Code in F*
CC Andrici, S Ciobaca, C Hritcu, G Martínez, E Rivas, E Tanter, ...
arXiv preprint arXiv:2303.01350, 2023
5*2023
Partial dijkstra monads for all
T Winterhalter, CC Andrici, C Hriţcu, K Maillard, G Martínez, E Rivas
Proceedings of the International Conference on Types for Proofs and Programs …, 2022
42022
Verifying non-terminating programs with IO in F
CC Andrici, T Winterhalter, C Hriţcu, E Rivas
HOPE, 2022
12022
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F
CC Andrici, D Ahman, C Hritcu, R Icleanu, G Martínez, E Rivas, ...
arXiv preprint arXiv:2503.00404, 2025
2025
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5