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)
PRESENTED BY
Mohamed Abaker
PURM - Penn Undergraduate Research Mentoring Program
Professor Stephanie Weirich
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

Comments