Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• Android
• System software
• Online marketplaces
• Google Play
• Intent

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Source URL: scungao.github.io

• Medicine
• Endocrine system
• Anatomy
• Prostate cancer
• Histopathology
• RTT
• Prostate-specific antigen
• Testosterone
• Androgen receptor
• Prostate
• Quantifier

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

Source URL: thev.net

• Declarative programming
• Software engineering
• Lambda calculus
• Functional programming
• Physics
• Combinatory logic
• Logic in computer science
• Functional reactive programming
• Work
• Higher-order function
• Unfolding

Power of Human Curation in Recommendation System Yuchen Liu Dmitry Chechik Pinterest, Inc & UCLA

Source URL: gdac.uqam.ca

• Recommender systems
• Collective intelligence
• Information science
• Collaboration
• Information retrieval
• Information systems
• Social information processing
• Matrix factorization
• Collaborative filtering
• Item-item collaborative filtering
• Cold start

Computer-based Trading, Institutional Investors and Treasury Bond Returns Xiaoquan Liu University Business School, Ningbo Ingrid Lo

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Mathematical finance
• Capitalism
• Stock market
• Short
• CBT
• Beta
• Bond

mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada

Source URL: wirelesslab.sjtu.edu.cn

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

Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016

Source URL: thev.net

• Software engineering
• Programming language implementation
• Computer programming
• Compiler construction
• Compilers
• Functional languages
• LLVM
• Haskell
• Cabal
• GHC
• Static single assignment form
• Compiler

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Source URL: thev.net

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Lambda calculus
• Differential calculus
• Combinatory logic
• Fixed-point combinator
• Recursion
• Ordinary differential equation
• Derivative
• Function
• Monad