Mark Tullsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | Research Report: An Optim (l) Approach to Parsing Random-Access Formats. | Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt |
| 2022 | SP | Research Report: Strengthening Weak Links in the PDF Trust Chain. | Mark Tullsen, William Harris, Peter Wyatt |
| 2020 | SP | Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. | 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 |
| 2018 | CAV | Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. | Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb |
| 2000 | MPC | The Zip Calculus. | Mark Tullsen |
| 2000 | PADL | First Class Patterns. | Mark Tullsen |
| 1999 | PEPM | Shifting Expression Procedures into Reverse. | Mark Tullsen, Paul Hudak |