Lisandra Silva

According to our database, Lisandra Silva authored at least 5 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An approach to translating Haskell programs to Agda and reasoning about them.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.

Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

CoRR, 2021

Formal verification of authenticated, append-only skip lists in Agda.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021