Samuel Grütter

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Information Flows

Database Objects

Top Venues

A List of Successes That Can Change the World

Publications

Samuel Grütter, Toby C. Murray
VST-Flow: Fine-grained low-level reasoning about real-world C code. CoRR (2017)
Samuel Grütter, Toby C. Murray
Short Paper: Towards Information Flow Reasoning about Real-World C Code. PLAS@CCS (2017)
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World (2016)