October 3, 2018 The Honorable Michael S. Lee Chairman U.S. Senate Committee on the Judiciary Subcommittee on Antitrust, Competition Policy and Consumer Rights

Source URL: www.epic.org

• World Wide Web
• Computing
• Digital media
• Terms of service
• Social media
• Electronic Privacy Information Center
• Politics and technology
• Online advertising
• Human rights
• Federal Trade Commission
• Marc Rotenberg
• Privacy policy

Address Geocoding using Street Profiles for Local Search Michael Peterman Omar Benomar

Source URL: gdac.uqam.ca

• Geocoding
• Computing
• Geographic information system
• Data management
• Apache Solr
• Address
• Geocoder
• Street or road name
• Data

In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington

Source URL: zhang-sai.github.io

• Software bug
• Debugging

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Computer programming
• Software engineering
• Java
• Widget toolkits
• Cross-platform software
• Concurrent computing
• Swing
• Thread
• Debugging
• D
• Event dispatching thread

Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Group theory
• Logarithms
• Algebraic number theory
• Numerical linear algebra
• XTR
• Discrete logarithm
• Gaussian elimination
• Quadratic field

September 26, 2018 The Honorable Michael Crapo Chairman U.S. Senate Committee on Banking, Housing, and Urban Affairs 534 Dirksen Senate Office Building

Source URL: www.epic.org

• Finance
• Economy
• Money
• United States federal banking legislation
• Financial technology
• Fair Credit Reporting Act
• Equifax
• Electronic Privacy Information Center
• Marc Rotenberg
• Consumer Financial Protection Bureau

Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When

Source URL: www.pepper-project.org

• Cryptography
• Distributed computing architecture
• Parallel computing
• MapReduce
• Certificate
• IP
• NP
• Commitment scheme
• PP
• Computational complexity theory

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: www.prismmodelchecker.org

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model