Anders Kaseorg

According to our database, Anders Kaseorg authored at least 2 papers between 2009 and 2022.

Collaborative distances:

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

2022

C4: verified transactional objects.

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2022

2009

Security Impact Ratings Considered Harmful.

Jeff Arnold, Tim Abbott, Waseem Daher, Gregory Price, Nelson Elhage, Geoffrey Thomas, Anders Kaseorg

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009