Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer Abstract—There exi

Source URL: idl.cs.washington.edu

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

Source URL: chenglongwang.org

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline

Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§

Source URL: thev.net

Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

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

• Music
• Computer music
• Learning
• Artificial intelligence
• Unsupervised learning
• Machine learning
• Cognitive science
• Generative adversarial network
• Generative model
• Artificial neural network
• Synthesizer
• Algorithmic composition

TV NEWS STORY SEGMENTATION USING DEEP NEURAL NETWORK Zhu Liu Yuan Wang AT&T Labs - Research

Source URL: www.research.att.com

• Linguistics
• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Computational linguistics
• Applied mathematics
• Computational statistics
• Machine learning
• Text segmentation
• Convolutional neural network
• Image segmentation
• Natural language processing

A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang

Source URL: unsat.cs.washington.edu

• Binary trees
• Computing
• Computer programming
• B-tree
• Learning
• Data types
• Trie
• B+ tree
• Btrfs
• R-tree
• T-tree
• Tree