Verifying computations with state - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish. Verifying computations with state. In Michael Kaminsky, Mike Dahlin, editors, ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013. pages 341-357, ACM, 2013. [doi]

This author has not been identified. Look up 'Benjamin Braun' in GoogleThis author has not been identified. Look up 'Ariel J. Feldman' in GoogleThis author has not been identified. Look up 'Zuocheng Ren' in GoogleThis author has not been identified. Look up 'Srinath T. V. Setty' in GoogleThis author has not been identified. Look up 'Andrew J. Blumberg' in GoogleThis author has not been identified. Look up 'Michael Walfish' in Google

runs on WebDSL