Mark Tullsen

11 papers B 1C 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Research Report: An Optim (l) Approach to Parsing Random-Access Formats.
SP (Workshops)
Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt
2022 — conf
Research Report: Strengthening Weak Links in the PDF Trust Chain.
SP (Workshops)
Mark Tullsen, William Harris, Peter Wyatt
2020 — conf
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.
SP (Workshops)
Sam Cowger, Yerim Lee, Nichole Schimanski, Mark Tullsen, Walter Woods, Richard Jones, E. W. Davis, William Harris, Trent Brunson, Carson Harmon, Bradford Larsen, Evan Sultanik
2019 — conf
ASN.1 Encoding Schemes Done Right Using CMPCT.
Bx@PLW
Mark Tullsen
2019 J jnl
Weird Machines as Insecure Compilation.
CoRR
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
2018 — conf
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.
CAV (2)
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
2017 J jnl
Secure Automotive Software: The Next Steps.
IEEE Softw.
Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman
2016 — conf
Array Types for a Graph Processing Language.
IPDPS Workshops
Mark Tullsen, Matthew J. Sottile
2000 C conf
First Class Patterns.
PADL
Mark Tullsen
2000 B conf
The Zip Calculus.
MPC
Mark Tullsen
1999 C conf
Shifting Expression Procedures into Reverse.
PEPM
Mark Tullsen, Paul Hudak