Kevin Johanson

According to our database, Kevin Johanson authored at least 1 paper in 2024.

Collaborative distances:

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

2024

VESC: Towards Temporal Verification of Smart Contracts.

Samuel Larsen, Kevin Johanson, Yuandong Cyrus Liu

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024