Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.
Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
