Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www

Source URL: www.usenix.org

• Computing
• Internet
• Internet security
• Secure communication
• Free software
• Transmission Control Protocol
• Tor
• Support vector machine

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine

Source URL: www.tik.ee.ethz.ch

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Combinatorial optimization
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

PDF Document

Source URL: wang.eng.ucsd.edu

DOC Document

Source URL: wang.eng.ucsd.edu

PDF Document

Source URL: wang.eng.ucsd.edu

DOC Document

Source URL: wang.eng.ucsd.edu

PDF Document

Source URL: wang.eng.ucsd.edu