Peter C. Dillinger

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 7

Top Topics

Approximate Nearest Neighbor

Retrieval Accuracy

Semantic Content

Top Venues

IEEE Trans. Dependable Secur. Comput.

Publications

Pedro Reviriego, Alfonso Sánchez-Macián, Peter C. Dillinger, Stefan Walzer
On the Privacy of Multi-Versioned Approximate Membership Check Filters. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Peter C. Dillinger, Martin Farach-Colton, Guido Tagliavini, Stefan Walzer
Optimal Uncoordinated Unique IDs. PODS (2023)
Peter C. Dillinger, Martin Farach-Colton, Guido Tagliavini, Stefan Walzer
Optimal Uncoordinated Unique IDs. CoRR (2023)
Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer
Fast Succinct Retrieval and Approximate Membership Using Ribbon. SEA (2022)
Pedro Reviriego, Alfonso Sánchez-Macián, Stefan Walzer, Peter C. Dillinger
Approximate Membership Query Filters with a False Positive Free Set. CoRR (2021)
Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer
Fast Succinct Retrieval and Approximate Membership using Ribbon. CoRR (2021)
Peter C. Dillinger, Stefan Walzer
Ribbon filter: practically smaller than Bloom and Xor. CoRR (2021)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
Data Definitions in the ACL2 Sedan. ACL2 (2014)
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
The ACL2 Sedan Theorem Proving System. TACAS (2011)
Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
Integrating Testing and Interactive Theorem Proving ACL2 (2011)
Peter C. Dillinger, Panagiotis Manolios
Fast, All-Purpose State Storage. SPIN (2009)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". ICSE Companion (2007)
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore
ACL2s: "The ACL2 Sedan". Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Peter C. Dillinger, Panagiotis Manolios
Enhanced Probabilistic Verification with 3Spin and 3Murphi. SPIN (2005)
Peter C. Dillinger, Panagiotis Manolios
Bloom Filters in Probabilistic Verification. FMCAD (2004)
Peter C. Dillinger, Panagiotis Manolios
Fast and Accurate Bitstate Verification for SPIN. SPIN (2004)