Abstract: This paper proposes an automatic debugging method for single-electron transistor arrays. The method iteratively calls a SAT solver to find a counterexample and identify errors based on the ...

We assume your algorithm implementation has the folllowing signature: (prng, queries, epsilon, ...) (Pseudo-random generator, list of queries, privacy budget and extra arguments). Throughout your ...

The result is returned in variable result, which is stored as [(epsilon, p, d1, d2, kwargs, event), (...)]. The detect_counterexample accepts multiple extra arguments to customize the process, check ...

I'm excited to share that my advisor Kendrick Shepherd and I have published a journal article based on part of my dissertation work. "Harmonic-based sweeps need not yield volumetric parameterizations" ...