Peter C. Dillinger

Orcid: 0009-0000-2662-2607

According to our database1, Peter C. Dillinger authored at least 13 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the Privacy of Multi-Versioned Approximate Membership Check Filters.
IEEE Trans. Dependable Secur. Comput., 2024

2023
Optimal Uncoordinated Unique IDs.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022
Fast Succinct Retrieval and Approximate Membership Using Ribbon.
Proceedings of the 20th International Symposium on Experimental Algorithms, 2022

2021
Approximate Membership Query Filters with a False Positive Free Set.
CoRR, 2021

Ribbon filter: practically smaller than Bloom and Xor.
CoRR, 2021

2014
Data Definitions in the ACL2 Sedan.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

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

The ACL2 Sedan Theorem Proving System.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2009
Fast, All-Purpose State Storage.
Proceedings of the Model Checking Software, 2009

2006
ACL2s: "The ACL2 Sedan".
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

2005
Enhanced Probabilistic Verification with 3Spin and 3Murphi.
Proceedings of the Model Checking Software, 2005

2004
Fast and Accurate Bitstate Verification for SPIN.
Proceedings of the Model Checking Software, 2004

Bloom Filters in Probabilistic Verification.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004


  Loading...