Recommendations
Cited in
(87)- Batch checking with applications to linear functions
- A formal framework for evaluating heuristic programs
- Checking the convexity of polytopes and the planarity of subdivisions
- Checking geometric programs or verification of geometric structures
- Self-testing/correcting with applications to numerical problems
- Tight bounds on expected time to add correctly and add mostly correctly
- BPP has subexponential time simulations unless EXPTIME has publishable proofs
- The power of adaptiveness and additional queries in random-self- reductions
- On the power of multi-prover interactive protocols
- The hardness of approximate optima in lattices, codes, and systems of linear equations
- Approximate testing with error relative to input size.
- Spot-checkers
- Problem identification using program checking
- Recent progress in exact geometric computation
- New lowness results for ZPP\(^{\text{NP}}\) and other complexity classes.
- Algebraic testing and weight distributions of codes.
- Fast approximate probabilistically checkable proofs
- Testing nonlinear operators
- Efficient checkers for number-theoretic computations
- Low redundancy polynomial checks for numerical computation
- Program verification: to err is human
- Discovering and certifying lower bounds for the online bin stretching problem
- A survey on delegated computation
- Linear-size constant-query IOPs for delegating computation
- Efficient and secure delegation of exponentiation in general groups to a single malicious server
- A self-certifying compilation framework for WebAssembly
- Hardness of learning problems over Burnside groups of exponent 3
- A framework for the verification of certifying computations
- Secure outsourcing of modular exponentiations under single untrusted programme model
- Tripartite-to-bipartite entanglement transformation by stochastic local operations and classical communication and the structure of matrix spaces
- Construction sequences and certifying 3-connectivity
- Nearly exact mining of frequent trees in large networks
- Locality and checkability in wait-free computing
- Property testing of regular tree languages
- Speeding up exponentiation using an untrusted computational resource
- Lower bounds on assumptions behind indistinguishability obfuscation
- Checker for data structures which sort elements
- Locality and checkability in wait-free computing
- A self-tester for linear functions over the integers with an elementary proof of correctness
- scientific article; zbMATH DE number 4195192 (Why is no real title available?)
- On the Complexity of the Hidden Subgroup Problem
- scientific article; zbMATH DE number 176732 (Why is no real title available?)
- Software reliability via run-time result-checking
- Certification of computational results
- scientific article; zbMATH DE number 1919505 (Why is no real title available?)
- scientific article; zbMATH DE number 1522925 (Why is no real title available?)
- Checking properties of polynomials
- Program result checking: a new approach to making programs more reliable
- Outlaw distributions and locally decodable codes
- The journey from NP to TFNP hardness
- Self-correcting for function fields of finite transcendental degree
- Certifying algorithms
- A CASE STUDY IN ALGORITHM ENGINEERING FOR GEOMETRIC COMPUTING
- scientific article; zbMATH DE number 2102784 (Why is no real title available?)
- scientific article; zbMATH DE number 824665 (Why is no real title available?)
- scientific article; zbMATH DE number 1390248 (Why is no real title available?)
- High-entropy dual functions over finite fields and locally decodable codes
- Foundations of homomorphic secret sharing
- Lower bounds for 2-query LCCs over large alphabet
- Cogent: uniqueness types and certifying compilation
- Farkas certificates and minimal witnesses for probabilistic reachability constraints
- An information-theoretic treatment of random-self-reducibility (extended abstract)
- Checking the convexity of polytopes and the planarity of subdivisions (extended abstract)
- On the complexity of the hidden subgroup problem
- Automatic result verification by complete run-time checking of computations
- A framework for developing stand-alone certifiers
- Efficient authenticated data structures for graph connectivity and geometric search problems
- Quasi-random words and limits of word sequences
- A nonadaptive NC checker for permutation group intersection
- Linear-consistency testing.
- On locally decodable codes, self-correctable codes, and \(t\)-private PIR
- scientific article; zbMATH DE number 7758310 (Why is no real title available?)
- Testing membership for timed automata
- \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem
- A note on the self-witnessing property of computational problems
- On matrix rigidity and locally self-correctable codes
- Capturing one-way functions via NP-hardness of meta-complexity
- Asymptotically-good RLCCs with \((\log n)^{2+o(1)}\) queries
- Linear relaxed locally decodable and correctable codes do not need adaptivity and two-sided error
- Efficient certifying algorithms for linear classification
- Test suite oscillations
- Checking the correctness of memories
- An efficient local approach to convexity testing of piecewise-linear hypersurfaces
- Pipelined algorithms to detect cheating in long-term grid computations
- Deterministically testing sparse polynomial identities of unbounded degree
- Finding paths of length \(k\) in \(O^{*}(2^k)\) time
- A low complexity probabilistic test for integer multiplication
This page was built for publication: Designing programs that check their work
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4369864)
