Ammar Karkour

Ammar Karkour

Carnegie Mellon University - Pittsburgh / United States
Others
AD Scientific Index ID: 5637351
person_outline Ammar Karkour's MOST POPULAR ARTICLES
1-) Smltocoq: Automated generation of coq specifications and proof obligations from sml programs with contractsL El-Beheiry, G Reis, A KarkourarXiv preprint arXiv:2107.07664, 202112021
2-) Karkour (2022), Py*: Formalization of Python\\\\\\\\\\\\\\\'s Verifiable Bytecode and Virtual Machine in FA KarkourUniversity of Amsterdam/Amsterdam University of Applied Sciences, 20222022
3-) A Formalization of Python’s Execution MachineryA Karkour, G Reis29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0