hevm paper presentation

A version of this presentation was given at IIT Bombay by Mate Soos on the Dec 12, 2023 slides
A version of this presentation was given at the Berlin Ethereum meetup on Oct 25, 2023. slides video
A version of this presentation was given at CAV'2024, Montreal, Canada slides
A version of this presentation was given at DevCon 2024, Bangkok, Thailand slides

Name	Name	Last commit message	Last commit date
Latest commit msooseth Update README.md Dec 16, 2024 04b42bf · Dec 16, 2024 History 45 Commits
.gitignore	.gitignore	Merge branch 'cav-presentation'	Jul 24, 2024
HEVM-overview.pdf	HEVM-overview.pdf	More complete, better	Aug 19, 2024
HEVM-overview.svg	HEVM-overview.svg	More complete, better	Aug 19, 2024
HEVM-presentation CAV 26th July 2024	HEVM-presentation CAV 26th July 2024	Adding PDF	Sep 18, 2024
HEVM-presentation DevCon Nov 14th.pdf	HEVM-presentation DevCon Nov 14th.pdf	Rename	Nov 25, 2024
HEVM-presentation Ethereum Meetup 25th of October, 2023.pdf	HEVM-presentation Ethereum Meetup 25th of October, 2023.pdf	Renaming file	Dec 19, 2023
HEVM-presentation IIT Bombay 12th of Dec 2023.pdf	HEVM-presentation IIT Bombay 12th of Dec 2023.pdf	Updating	Dec 19, 2023
HEVM-presentation Stanford 19th of Aug.pdf	HEVM-presentation Stanford 19th of Aug.pdf	Adding presentation at Stanford	Sep 18, 2024
README.md	README.md	Update README.md	Dec 16, 2024
boxchart.eps	boxchart.eps	Stuff	Dec 12, 2023
boxchart.pdf	boxchart.pdf	Adding missing files	Dec 19, 2023
cdf.eps	cdf.eps	Adding more	Jul 24, 2024
equivalence-pipeline.pdf	equivalence-pipeline.pdf	Fixing up	Jul 24, 2024
equivalence-pipeline.svg	equivalence-pipeline.svg	Fixing up	Jul 24, 2024
pipeline.pdf	pipeline.pdf	Fixing up	Jul 24, 2024
pipeline.svg	pipeline.svg	Fixing up	Jul 24, 2024
presentation.tex	presentation.tex	Update	Aug 19, 2024
triangle3.png	triangle3.png	Improving a bit	Oct 24, 2023

Provide feedback