If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Proof repair across type equivalences

    Ringer, T., Porter, R. D., Yazdani, N., Leo, J. & Grossman, D., Jun 18 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 112-127 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2020

    REPLica: REPL instrumentation for Coq analysis

    Ringer, T., Sanchez-Stern, A., Grossman, D. & Lerner, S., Jan 20 2020, CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020. Blanchette, J. & Hritcu, C. (eds.). Association for Computing Machinery, Inc, p. 99-113 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2019

    Ornaments for proof reuse in Coq

    Ringer, T., Yazdani, N., Leo, J. & Grossman, D., Sep 2019, 10th International Conference on Interactive Theorem Proving, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 141).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    Adapting proof automation to adapt proofs

    Ringer, T., Leo, J., Yazdani, N. & Grossman, D., Jan 8 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Felty, A. & Andronick, J. (eds.). Association for Computing Machinery, Inc, p. 115-129 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    AUDACIOUS: User-driven access control with unmodified operating systems

    Ringer, T., Grossman, D. & Roesner, F., Oct 24 2016, CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 204-216 13 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 24-28-October-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution