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