If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 10 Similar Profiles
Semantics Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Separation Logic Mathematics
Computer programming languages Engineering & Materials Science
Compiler Mathematics
Acoustic waves Engineering & Materials Science
Data structures Engineering & Materials Science
Computer operating systems Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1985 2018

3 Citations (Scopus)

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Cao, Q., Beringer, L., Gruetter, S., Dodds, J. & Appel, A. W., Jun 1 2018, In : Journal of Automated Reasoning. 61, 1-4, p. 367-422 56 p.

Princeton University

Research output: Contribution to journalArticle

Semantics
Acoustic waves
1 Citation (Scopus)

Bringing order to the separation logic jungle

Cao, Q., Cuellar, S. & Appel, A. W., Jan 1 2017, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Proceedings. Chang, B-Y. E. (ed.). Springer Verlag, p. 190-211 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10695 LNCS).

Princeton University

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

Separation Logic
Preorder
Intermediate Logics
Generalise
Intuitionistic Logic
5 Citations (Scopus)

Position paper: the science of deep specification

Appel, A. W., Beringer, L., Chlipala, A., Pierce, B. C., Shao, Z., Weirich, S. & Zdancewic, S., Oct 13 2017, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 375, 2104, 20160331.

Princeton University

Research output: Contribution to journalArticle

specifications
Specification
Specifications
Hardware
hardware

Shrink fast correctly!

Bélanger, O. S. & Appel, A. W., Oct 9 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017. Association for Computing Machinery, p. 49-60 12 p. (ACM International Conference Proceeding Series; vol. Part F131196).

Princeton University

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

Specification languages
8 Citations (Scopus)

Verified correctness and security of mbed TLS HMAC-DRBG

Ye, K. Q., Green, M., Sanguansin, N., Beringer, L., Petcher, A. & Appel, A. W., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2007-2020 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Princeton University

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

Chemical analysis