algebraic property testing
play

Algebraic property testing Elad Haramaty Northeastern University - PowerPoint PPT Presentation

Feb 27, 2024 •24 likes •64 views

Algebraic property testing Elad Haramaty Northeastern University Algebraic property testing Property testing : using O (1) queries determined with high probability if f is in the code or far from the code Algebraic codes : linear codes that are

  1. Algebraic property testing Elad Haramaty Northeastern University

  2. Algebraic property testing Property testing : using O (1) queries determined with high probability if f is in the code or far from the code Algebraic codes : linear codes that are affine invariant

  3. Algebraic property testing Example : low degree polynomials [RS96,ALMSS98,AS03, FS95,AKKLR05, KR06, JPRZ09, BKSSZ10, H SS11, H GS15] More examples : lifted codes (codes defined by their restriction on subspaces) [KS08, H RS13, H GS15] Applications : PCP [ALMSS92], Small sets expanders [BGHMRS12], Xor lemmas for polys [VW08], Algorithms [ABG H 14]

  4. More interesting problems - Interactive coding : transcript resilient to error - Natural communication : uncertainty, evolve - Protocols and algorithms : distributed and centralized Thanks!

Recommend

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009 Algebraic Property Testing @ DIMACS Algebraic Property Testing @ DIMACS Algebraic Property Testing: Personal Perspective Madhu Sudan MIT 2 2 April

774 views • 49 slides
Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida

Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida

Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida National Institute of Informatics, and Preferred Infrastructure, Inc October 18, 2014 Yuichi Yoshida (NII and PFI) Applications to algebraic property

600 views • 59 slides
Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer

Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer

Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer Science McGill University July 22, 2019 Hamed Hatami (McGill Universities) Higher order Fourier analysis and algebraic property testing July 22,

824 views • 78 slides
fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property

fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property

fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property Testing Clment Canonne (Columbia University) July 9, 2017 Joint work with Tom Gur (Weizmann Institute UC Berkeley) property testing?

705 views • 67 slides
Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important

Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important

Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important Testing is Important Testing is Hard Testing is Hard Testing is Hard Capture the Important Cases Minimize The Coding Overhead Sorting a list of

1.66k views • 118 slides
PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is

PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is

CS523 234: 4: Alg lgori rith thms ms at Sca cale le PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is property testing? Identify what goes into showing correctness of a testing algorithm.

682 views • 40 slides
Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1

Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1

Exercise 1 Property Based Testing Proofs and Tests Homework Consultations Software System Design and Implementation Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1 Property Based Testing

900 views • 41 slides
Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test

Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test

Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test seams Scala ScalaCheck Property Based Testing Scala ScalaCheck Property Based Testing Define Success Design Documentation Quality Enable

525 views • 40 slides
Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there

Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there

Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there enough unit tests? Lets look at a really simple example. import u n i t t e s t def add ( x , y ) : return x+y class TestAddition ( u n i t t e s t

352 views • 17 slides
Sourav Chakraborty Chennai Mathematical Institute Introduction Techniques Testing of Function

Sourav Chakraborty Chennai Mathematical Institute Introduction Techniques Testing of Function

Introduction Techniques Testing of Function Properties Graph Property testing Isomorphism Testing Conclusion Property Testing: Sublinear Algorithms for Promise Problems Sourav Chakraborty Chennai Mathematical Institute Introduction

2.19k views • 169 slides
Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing Example Coverage Lazy Evaluation Homework Software System Design and Implementation Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW) Term 2 2020 1 Property Based

938 views • 80 slides
Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing Example Coverage Lazy Evaluation Homework Software System Design and Implementation Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW) Term 2 2020 1 Property Based

487 views • 25 slides
The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with

The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with

The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with Mario Ornaghi DI, University of Milan CILC 2019, Trieste Property-based Testing A light-weight validation approach merging two well known

210 views • 18 slides
Testing membership in varieties, algebraic natural proofs, and geometric complexity theory

Testing membership in varieties, algebraic natural proofs, and geometric complexity theory

Testing membership in varieties, algebraic natural proofs, and geometric complexity theory Markus Bl aser Saarland University with Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov, Anurag Pandey, and Frank-Olaf Schreyer Membership

537 views • 27 slides
Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju Wang 1 Yonglin Hao 2 Yosuke Todo 3 Chaoyun Li 4 Takanori Isobe 5 Willi Meier 6 1 SnT, University of Luxembourg, LU 2 State Key Laboratory of

577 views • 46 slides
Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE)

Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE)

Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE) Joint work with: Yanjun Han, Dmitri Pavlichin, Kartik Venkat, Tsachy Weissman Frontiers in Distribution Testing Workshop, FOCS 2017 Oct. 14th, 2017 1

1.05k views • 34 slides
SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction

SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction

SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction (1/4) As the title shows this course is two-fold. We will study both functional programming and property-based testing Lectures will

815 views • 63 slides
You say its only constant? Then something must be hyperfinite! And I say your title is too

You say its only constant? Then something must be hyperfinite! And I say your title is too

You say its only constant? Then something must be hyperfinite! And I say your title is too long. Hendrik Fichtenberger July 20, 2019 Property Testing in a Nutshell planar 1 Property Testing in a Nutshell planar non-planar 1 Property

828 views • 51 slides
Earthmover resilience & testing in ordered structures Eldar Fischer Omri Ben-Eliezer

Earthmover resilience & testing in ordered structures Eldar Fischer Omri Ben-Eliezer

Earthmover resilience & testing in ordered structures Eldar Fischer Omri Ben-Eliezer Technion Tel-Aviv University Computational Complexity Conference 2018 UCSD, San Diago Property testing (RS96, GGR98) Meta problem: Given property P,

377 views • 34 slides
Testing monadic programs using QuickCheck and state machine based models Stevan Andjelkovic

Testing monadic programs using QuickCheck and state machine based models Stevan Andjelkovic

Testing monadic programs using QuickCheck and state machine based models Stevan Andjelkovic 2018.2.23, BOBKonf (Berlin) Introduction Property based testing in general How to apply property based testing to stateful and concurrent

474 views • 18 slides
Streaming Property Testing of Visibly Pushdown Languages Nathanal Franois Frdric Magniez

Streaming Property Testing of Visibly Pushdown Languages Nathanal Franois Frdric Magniez

Introduction A streaming property tester for VPLs Future directions Streaming Property Testing of Visibly Pushdown Languages Nathanal Franois Frdric Magniez Michel de Rougemont Olivier Serre SUBLINEAR Workshop - January 7, 2016 1 /

387 views • 14 slides
Property-based Testing of SPARQL queries Jess M. Almendros-Jimnez Antonio Becerra-Tern

Property-based Testing of SPARQL queries Jess M. Almendros-Jimnez Antonio Becerra-Tern

Property-based Testing of SPARQL queries Jess M. Almendros-Jimnez Antonio Becerra-Tern University of Almera, SPAIN 16th International Symposium on Database Programming Languages (DBPL 2017), Munich, Germany Type Checking and Testing of

364 views • 21 slides
Property testing for bipartite patterns Yufei Zhao (MIT) Joint work with Noga Alon (Princeton)

Property testing for bipartite patterns Yufei Zhao (MIT) Joint work with Noga Alon (Princeton)

Property testing for bipartite patterns Yufei Zhao (MIT) Joint work with Noga Alon (Princeton) and Jacob Fox (Stanford) June, 2018 1 Testing triangle-free-ness [Rubinfield and Sudan 96] [Goldreich, Goldwasser, Ron 98] Goal : determine if

794 views • 37 slides
SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last

SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last

SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last time. . . A generator of syntactically correct programs following the language grammar with several non-terminals passing an

1.47k views • 123 slides

More recommend