Fall Research Expo 2021

Specification and Verification of Functional Programs: Verifying Haskell’s IntMap

View Poster

Research project with PURM to verify the Data.intMap data structure of the Haskell containers library.

PRESENTED BY

Mohamed Abaker

PURM - Penn Undergraduate Research Mentoring Program

Engineering & Applied Sciences 2024

View Profile

CO-PRESENTERS

No name provided -

Advised By

Stephanie Wierich

ENIAC President's Distinguished Professor, Computer and Information Science Professor.

sweirich@cis.upenn.edu

https://www.cis.upenn.edu/~sweirich/

Stephan A. Zdancewic

Schlein Family President's Distinguished Professor and Associate Chair, Computer and Information Science Professor.

stevez@cis.upenn.edu

https://www.cis.upenn.edu/~stevez/

Benjamin C. Pierce

Henry Salvatori Professor, Computer and Information Science Professor.

bcpierce@cis.upenn.edu

https://www.cis.upenn.edu/~bcpierce/home.html

View Poster (PDF)