Peter C. Dillinger

According to our database, Peter C. Dillinger authored at least 12 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Optimal Uncoordinated Unique IDs.

Peter C. Dillinger, Martin Farach-Colton, Guido Tagliavini, Stefan Walzer

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Fast Succinct Retrieval and Approximate Membership Using Ribbon.

Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders, Stefan Walzer

Proceedings of the 20th International Symposium on Experimental Algorithms, 2022

2021

Approximate Membership Query Filters with a False Positive Free Set.

Pedro Reviriego, Alfonso Sánchez-Macián, Stefan Walzer, Peter C. Dillinger

CoRR, 2021

Ribbon filter: practically smaller than Bloom and Xor.

Peter C. Dillinger, Stefan Walzer

CoRR, 2021

2014

Data Definitions in the ACL2 Sedan.

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2011

Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

The ACL2 Sedan Theorem Proving System.

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2009

Fast, All-Purpose State Storage.

Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Model Checking Software, 2009

2006

ACL2s: "The ACL2 Sedan".

Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

2005

Enhanced Probabilistic Verification with 3Spin and 3Murphi.

Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Model Checking Software, 2005

2004

Fast and Accurate Bitstate Verification for SPIN.

Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Model Checking Software, 2004

Bloom Filters in Probabilistic Verification.

Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004