Get started
Author

Mark Tullsen

Observed name: Tullsen, Mark
OpenAlex ID: A5019987203
First Class Patterns?
1999 · Mark Tullsen · Lecture notes in computer science · 34
Path, a program transformation system for haskell
2002 · Mark Tullsen, Paul Hudak · 19
Secure Automotive Software: The Next Steps
2017 · Lee Pike, Jamey Sharp, et al. · IEEE Software · 17
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System
2018 · Mark Tullsen, Lee Pike, et al. · Lecture notes in computer science · 14
PDF
The Zip Calculus
2000 · Mark Tullsen · Lecture notes in computer science · 8
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax
2020 · Sam Cowger, Yerim Lee, et al. · IEEE Security and Privacy Workshops (SPW) · 6
PDF
Research Report: Strengthening Weak Links in the PDF Trust Chain
2022 · Mark Tullsen, William Harris, et al. · IEEE Security and Privacy Workshops (SPW) · 4
Weird Machines as Insecure Compilation
2019 · Paykin, Jennifer, Mertens, Eric, et al. · arXiv (Cornell University) · 4
PDF
Shifting Expression Procedures into Reverse.
1999 · Mark Tullsen, Paul Hudak · 3
Domain Separation by Construction
2003 · William L. Harrison, Mark Tullsen, et al. · 2
Research Report: An Optim (l) Approach to Parsing Random-Access Formats
2024 · Mark Tullsen, Sam Cowger, et al. · IEEE Security and Privacy Workshops (SPW)
ASN.1 Encoding Schemes Done Right Using CMPCT.
2019 · Mark Tullsen
Array Types for a Graph Processing Language
2016 · Mark Tullsen, Matthew Sottile · IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum
Works count: 17
Citation count: 110
H-index: 6
I10-index: 4
Year
Topic
Type