Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Computing
• Debugging
• Aspect-oriented software development
• Aspect-oriented programming
• Delta debugging
• Extreme programming
• Software testing
• Debugger
• Software bug
• AspectJ
• Spring Framework

Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008

Source URL: zhang-sai.github.io

• Debugging
• Delta debugging
• Complement system

R E P O RT R E P R I N T In monitoring, the platform approach is leading the market N A NCY GOHR ING, YU L I TZA PERAZA 1 5 AU G

Source URL: www.datadoghq.com

• Cloud computing
• Cloud infrastructure
• Computing

Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap

Source URL: wirelesslab.sjtu.edu.cn

• Electromagnetism
• Energy
• Electrical engineering
• Rechargeable batteries
• Analog circuits
• Battery charging
• Energy conversion
• Electric battery
• Electric power
• Battery charger
• Lithium-ion battery
• Voltage

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

Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications

Source URL: www.normalesup.org

• Mathematics
• Mathematical analysis
• Algebra
• Field theory
• Measure theory
• Commutative algebra
• Localization
• Valuation ring
• Metric space
• Ergodic flow
• Abelian von Neumann algebra

Learning to Detect Multiple Photographic Defects Ning Yu 1 Xiaohui Shen 2 Zhe Lin 2 1

Source URL: arxiv.org

• Geometry
• Digital photography
• Angular defect
• Hyperbolic geometry
• Polyhedra
• Image noise
• Random sample consensus

FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen

Source URL: www.normalesup.org

• Abstract algebra
• Algebra
• Mathematics
• Algebraic topology
• Algebraic geometry
• Category theory
• Sheaf
• Nerve
• Fundamental group
• Universal property
• Homological algebra
• Algebraic geometry and analytic geometry

Privacy-Preserving Compressive Sensing for Crowdsensing based Trajectory Recovery Linghe Kong∗‡ , Liang He† , Xiao-Yang Liu‡ , Yu Gu§ , Min-You Wu‡ , Xue Liu∗ ∗ McGill University, Canada, Email: linghe.ko

Source URL: wirelesslab.sjtu.edu.cn