Peter C. Dillinger

17 papers A* 1A 1B 2Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ribbon: Fast Succinct Static Retrieval and Approximate Membership.
J. ACM
Martin Dietzfelbinger, Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer
2024 J jnl
On the Privacy of Multi-Versioned Approximate Membership Check Filters.
IEEE Trans. Dependable Secur. Comput.
Pedro Reviriego, Alfonso Sánchez-Macián, Peter C. Dillinger, Stefan Walzer
2023 A* conf
Optimal Uncoordinated Unique IDs.
PODS
Peter C. Dillinger, Martin Farach-Colton, Guido Tagliavini, Stefan Walzer
2023 J jnl
Optimal Uncoordinated Unique IDs.
CoRR
Peter C. Dillinger, Martin Farach-Colton, Guido Tagliavini, Stefan Walzer
2022 B conf
Fast Succinct Retrieval and Approximate Membership Using Ribbon.
SEA
Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer
2021 J jnl
Approximate Membership Query Filters with a False Positive Free Set.
CoRR
Pedro Reviriego, Alfonso Sánchez-Macián, Stefan Walzer, Peter C. Dillinger
2021 J jnl
Fast Succinct Retrieval and Approximate Membership using Ribbon.
CoRR
Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer
2021 J jnl
Ribbon filter: practically smaller than Bloom and Xor.
CoRR
Peter C. Dillinger, Stefan Walzer
2014 — conf
Data Definitions in the ACL2 Sedan.
ACL2
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
2011 — conf
Integrating Testing and Interactive Theorem Proving
ACL2
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
2011 A conf
The ACL2 Sedan Theorem Proving System.
TACAS
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
2009 — conf
Fast, All-Purpose State Storage.
SPIN
Peter C. Dillinger, Panagiotis Manolios
2007 — conf
ACL2s: "The ACL2 Sedan".
ICSE Companion
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
2006 — conf
ACL2s: "The ACL2 Sedan".
UITP@FLoC
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
2005 — conf
Enhanced Probabilistic Verification with 3Spin and 3Murphi.
SPIN
Peter C. Dillinger, Panagiotis Manolios
2004 B conf
Bloom Filters in Probabilistic Verification.
FMCAD
Peter C. Dillinger, Panagiotis Manolios
2004 — conf
Fast and Accurate Bitstate Verification for SPIN.
SPIN
Peter C. Dillinger, Panagiotis Manolios