Showing 1 - 18 results of 18 for search 'Adam Chlipala.', query time: 0.03s Refine Results
  1. 1
    An Introduction to Programming and Proving with Dependent Types in Coq

    An Introduction to Programming and Proving with Dependent Types in Coq by Adam Chlipala

    Published 2010-01-01
    Get full text
    Article
  2. 2
    Memory-safe microcontroller applications with the Bedrock structured programming system

    Memory-safe microcontroller applications with the Bedrock structured programming system by Barenblat, Benjamin Ezra

    Published 2015
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  3. 3
    Outlier Detection in Heterogeneous Datasets using Automatic Tuple Expansion

    Outlier Detection in Heterogeneous Datasets using Automatic Tuple Expansion by Pit-Claudel, Clément, Mariet, Zelda, Harding, Rachael, Madden, Sam

    Published 2016
    Other Authors: “…Adam Chlipala…”
    Get full text
  4. 4
    An extensible framework for synthesizing efficient, verified parsers

    An extensible framework for synthesizing efficient, verified parsers by Gross, Jason S

    Published 2016
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  5. 5
    Compilation using correct-by-construction program synthesis

    Compilation using correct-by-construction program synthesis by Pit-Claudel, Clément

    Published 2017
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  6. 6
    Crafting certified elliptic curve cryptography implementations in Coq

    Crafting certified elliptic curve cryptography implementations in Coq by Erbsen, Andres

    Published 2017
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  7. 7
    A framework for synthesizing transactional database implementations in a proof assistant

    A framework for synthesizing transactional database implementations in a proof assistant by Suriyakarn, Sorawit

    Published 2018
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  8. 8
    Constructive synthesis of optimized cryptographic primitives

    Constructive synthesis of optimized cryptographic primitives by Sloan, Robert M., Jr

    Published 2018
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  9. 9
    Correct-by-construction finite field arithmetic in Coq

    Correct-by-construction finite field arithmetic in Coq by Philipoom, Jade (Jade D.)

    Published 2018
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  10. 10
    Type system for resource bounds with type-preserving compilation

    Type system for resource bounds with type-preserving compilation by Wang, Peng,Ph. D.Massachusetts Institute of Technology.

    Published 2019
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  11. 11
    Mechanized proofs that hardware is safe from timing attacks

    Mechanized proofs that hardware is safe from timing attacks by Duxovni, Faye(Faye Samara)

    Published 2019
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  12. 12
    Verified compilation of abstract network policies

    Verified compilation of abstract network policies by Katz, Theodore(Theodore Robert)

    Published 2019
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  13. 13
    A framework for specifying and formally verifying application security policies

    A framework for specifying and formally verifying application security policies by Shao, Christopher,M. Eng.Massachusetts Institute of Technology.

    Published 2019
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  14. 14
    Automated proof checking in introductory discrete mathematics classes

    Automated proof checking in introductory discrete mathematics classes by Haven, Andrew J

    Published 2014
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  15. 15
    Galactic : an Ur/Web course management system

    Galactic : an Ur/Web course management system by Hurst, Patrick M., II

    Published 2014
    Other Authors: “…Adam Chlipala.…”
    Get full text
    Thesis
  16. 16
    Modular verification of hardware systems

    Modular verification of hardware systems by Vijayaraghavan, Muralidaran

    Published 2016
    Other Authors: “…Arvind and Adam Chlipala.…”
    Get full text
    Thesis
  17. 17
    Making discrete decisions based on continuous values

    Making discrete decisions based on continuous values by Sherman, Benjamin (Benjamin Marc)

    Published 2017
    Other Authors: “…Adam Chlipala and Michael Carbin.…”
    Get full text
    Thesis
  18. 18
    A formal methods safe harbor

    A formal methods safe harbor by Wood, Clark,S. M.Massachusetts Institute of Technology.

    Published 2019
    Other Authors: “…Daniel Weitzner and Adam Chlipala.…”
    Get full text
    Thesis

Search Tools: