Loyalty in Online Communities William L. Hamilton∗ † , Justine Zhang∗ ‡ , Cristian Danescu-Niculescu-Mizil‡ , Dan Jurafsky† , Jure Leskovec† † Stanford University, ‡ Cornell University

Source URL: stanford.edu

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

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Software testing
• Java Database Connectivity
• JUnit
• D
• Test automation

1 SecureML: A System for Scalable Privacy-Preserving Machine Learning Payman Mohassel∗ and Yupeng Zhang† Research, † University of Maryland

Source URL: www.ieee-security.org

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

Touching from a Distance: Website Fingerprinting Attacks and Defenses Xiang Cai Xin Cheng Zhang

Source URL: www3.cs.stonybrook.edu

• Computing
• Information and communications technology
• Internet
• Internet privacy
• Secure communication
• Internet Standards
• Cyberwarfare
• Computer network security
• Tor
• Transmission Control Protocol
• Traffic analysis
• Proxy server

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler,

Source URL: www.jbs.cam.ac.uk

• Economy
• Money
• Finance
• Financial technology
• Collaborative finance
• Entrepreneurship
• Crowdfunding
• Alternative finance
• Cambridge Centre For Alternative Finance
• Peer-to-peer lending
• Funding
• Borro Private Finance

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

Poster: An Analysis of Targeted Password Guessing Using Neural Networks Huan Zhou, Qixu Liu, Fangjiao Zhang Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chines

Source URL: www.ieee-security.org

• Cryptography
• Obfuscation
• Computer security
• Password
• Security
• Cyberwarfare
• Salt
• Identity management
• Password policy
• Password fatigue

Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Computer programming
• Debugging
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Assertion
• Logic in computer science
• Configuration management
• PHP
• Program slicing