Cinquecento is a programming language designed for debugging and other program analysis tasks. As the language and runtime have evolved, several features that were originally designed to support debugging have been adopted as general-purpose programming techniques. In this talk I will give an overview of the Cinquecento language and present two examples of code that has benefited from this re-purposing: the Cinquecento libc implementation and the foreign function interface.
Stephen Magill is a research scientist at the IDA Center for Computing Sciences (CCS), where he works on program analysis techniques. Prior to this he was a post-doc in the PLUM group at the University of Maryland, where he worked on verifying correctness of dynamic software updates and reasoning about privacy. He received his Ph.D. from Carnegie Mellon University, where he developed Thor, a tool for automatic program analysis using separation logic that is capable of verifying a rich combination of program properties including memory safety, termination, and arithmetic.