Community Identity and User Engagement in a Multi-Community Landscape Justine Zhang∗ William L. Hamilton∗ Cornell University

Source URL: stanford.edu

• Digital media
• Community building
• Social information processing
• Virtual reality
• World Wide Web
• Collaboration
• Community websites
• Online community
• Reddit
• Customer engagement
• Virtual community
• Community

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

GRADUATE SEMINAR Yihui Zhang Some Properties of the Category Vect(K)•→• MSc Student supervised by Donald Stanley Date August 8, 2018

Source URL: www.uregina.ca

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

Source URL: web.eecs.umich.edu

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Smartphone App Categorization for Interest Targeting in Advertising Marketplace Vladan Radosavljevic, Mihajlo Grbovic, Nemanja Djuric, Narayan Bhamidipati Daneo Zhang, Jack Wang,

Source URL: gdac.uqam.ca

• Computing
• Online marketplaces
• Software
• Smartphones
• Digital media
• App Store
• E-commerce
• IOS
• ITunes
• Mobile app
• Google Play
• AJ+

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Information retrieval
• Computing
• SQL keywords
• SQL
• Query languages
• Database management systems
• Database theory
• Select
• Null
• Update
• Join

SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

Source URL: apsys11.ucsd.edu

• Computing
• Open formats
• RSS
• Computer file formats
• Data types
• Cloud computing
• Atom
• News aggregator
• Pointer swizzling
• Pointer
• Computer data storage
• Cloudlet

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang Hao Lü

Source URL: zhang-sai.github.io

• Business
• Economy
• Business process
• Groupware
• Workflow
• Business process management
• Workflow technology
• Scientific workflow system