LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

Source URL: dacongy.github.io

Order Fulfillment in Online Retailing: What Goes Where by Ping Josephine Xu M.S. Operations Research

Source URL: web.mit.edu

• Economy
• Business
• Supply chain management
• Merchandising
• Inventory optimization
• Logistics
• Lean manufacturing
• Inventory
• Retail
• Warehouse
• Operations management
• Online shopping

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Chenyang Xu
• Minimal model program
• Fano variety
• Canonical singularity
• Birational geometry
• Projective variety
• Resolution of singularities
• Canonical bundle

Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email:

Source URL: www.ieee-security.org

• Computer programming
• Computing
• Mathematics
• Theoretical computer science
• Boolean algebra
• Error detection and correction
• Compiler construction
• Hash function
• Avalanche effect
• Optimizing compiler
• Recursion
• MD5

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Static program analysis
• Software engineering
• Computing
• Programming language theory
• Control flow analysis
• Soot
• Call graph
• Compiler
• Analysis
• Data-flow analysis
• SIGPLAN
• Java

Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Graph theory
• Graph connectivity
• Strongly connected component
• Reachability
• Graph
• Node
• Topological sorting

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Source URL: qav.comlab.ox.ac.uk

• I0
• Invariant
• XC

MHDeS: Deduplicating Method Handle Graphs for Efficient Dynamic JVM Language Implementations Shijie Xu and David Bremner Daniel Heidinga

Source URL: xushijie.github.io

• High German languages
• Middle High German
• MHG
• Equivalence relation
• Just-in-time compilation

Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

Source URL: www.block-cloud.io

• Cryptocurrencies
• Computing
• Emerging technologies
• Alternative currencies
• Blockchains
• Technology
• Information
• Ethereum
• Internet of things
• Bitcoin
• Gateway
• ternity