( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.

, , , , и . PLDI, стр. 918-933. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jost Adam

Adam Gruber

Adam Williamson

Marion Adam

Adam Pluskota

 

Другие публикации лиц с тем же именем

Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl).. Proc. ACM Program. Lang., 5 (ICFP): 1-28 (2021)Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam., и . Proc. ACM Program. Lang., 2 (ICFP): 93:1-93:30 (2018)Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant. (2013)Modular Deductive Verification of Multiprocessor Hardware Designs., , , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2015)Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms., и . J. Autom. Reason., 62 (2): 193-213 (2019)Parametric higher-order abstract syntax for mechanized semantics.. ICFP, стр. 143-156. ACM, (2008)The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier.. ICFP, стр. 391-402. ACM, (2013)Using Crash Hoare Logic for Certifying the FSCQ File System., , , , , и . USENIX Annual Technical Conference, USENIX Association, (2016)Effective simulation and debugging for a high-level hardware language using software compilers., , , , и . ASPLOS, стр. 789-803. ACM, (2021)A program optimization for automatic database result caching., и . POPL, стр. 271-284. ACM, (2017)