Xiangyu Zhang

According to our database1, Xiangyu Zhang authored at least 61 papers between 2008 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


PreMedKB: an integrated precision medicine knowledgebase for interpreting relationships between diseases, genes, variants and drugs.
Nucleic Acids Research, 2019

Effects of Inferior Myocardial Infarction Sizes and Sites on Simulated Electrocardiograms Based on a Torso-Heart Model.
IEEE Access, 2019

White-Box Program Tuning.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

Study on the Rigid-Flexible Coupling Dynamics of Welding Robot.
Wireless Personal Communications, 2018

Study of Phase Shift Control in High-Speed Ultrasonic Vibration Cutting.
IEEE Trans. Industrial Electronics, 2018

Fault localisation for WS-BPEL programs based on predicate switching and program slicing.
Journal of Systems and Software, 2018

MODE: automated neural network model debugging via state differential analysis and input selection.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Phys: probabilistic physical unit assignment and inconsistency detection.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Visualizing Multi-document Semantics via Open Domain Information Extraction.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Systolic Array Based Accelerator and Algorithm Mapping for Deep Learning Algorithms.
Proceedings of the Network and Parallel Computing, 2018

Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Architecting a Stochastic Computing Unit with Molecular Optical Devices.
Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

A Power Disaggregation Approach to Identify Power-Temperature Models of HVAC Units.
Proceedings of the IEEE International Smart Cities Conference, 2018

Cross-Layer Retrofitting of UAVs Against Cyber-Physical Attacks.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Precise Android API Protection Mapping Derivation and Reasoning.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Lprov: Practical Library-aware Provenance Tracing.
Proceedings of the 34th Annual Computer Security Applications Conference, 2018

Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

A path-aware approach to mutant reduction in mutation testing.
Information & Software Technology, 2017

Introspection-Based Memory Pruning for Live VM Migration.
International Journal of Parallel Programming, 2017

An Empirical Study on Mutation Testing of WS-BPEL Programs.
Comput. J., 2017

ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks.
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

Accelerating array constraints in symbolic execution.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

A data-driven approach for quantifying energy savings in a smart building.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem.
Proceedings of the 39th International Conference on Software Engineering, 2017

Utilizing polygon segmentation technique to extract and optimize light stripe centerline in line-structured laser 3D scanner.
Pattern Recognition, 2016

Dense Trajectories and DHOG for Classification of Viewpoints from Echocardiogram Videos.
Comp. Math. Methods in Medicine, 2016

Deploying IoT devices to make buildings smart: Performance evaluation and deployment experience.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Detecting sensitive data disclosure via bi-directional text correlation analysis.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Conceptual framework for a multi-building peak load management system.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2016

Accelerating Markov Random Field Inference Using Molecular Optical Gibbs Sampling Units.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices.
Proceedings of the 38th International Conference on Software Engineering, 2016

Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Roundtable: Research Opportunities and Challenges for Emerging Software Systems.
J. Comput. Sci. Technol., 2015

Glasses-free light field 3D display.
Proceedings of the 2015 Visual Communications and Image Processing, 2015

Head tracked multiview 3D display.
Proceedings of the 2015 Visual Communications and Image Processing, 2015

Android Implicit Information Flow Demystified.
Proceedings of the 10th ACM Symposium on Information, 2015

Scaling Up Symbolic Analysis by Removing Z-Equivalent States.
ACM Trans. Softw. Eng. Methodol., 2014

Toward Concurrent Lock-Free Queues on GPUs.
IEICE Transactions, 2014

A second-generation noise-immune motion detection image sensor for moving object tracking application.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction.
Proceedings of the 36th International Conference on Software Engineering, 2014

Live demonstration: A high-speed-pass asynchronous motion detection sensor.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Range based target localization using a single mobile robot or multiple cooperative mobile robots.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Extraction of Light Stripe Centerline Based on Self-adaptive Thresholding and Contour Polygonal Representation.
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics, 2013

A 64 ˟ 64 Pixels UWB Wireless Temporal-Difference Digital Image Sensor.
IEEE Trans. VLSI Syst., 2012

A 64 × 64 CMOS Image Sensor With On-Chip Moving Object Detection and Localization.
IEEE Trans. Circuits Syst. Video Techn., 2012

Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives.
Journal of Systems and Software, 2012

Practical isolation of failure-inducing changes for debugging regression faults.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Who-Works-With-Whom (WWWW): Web-based Directed Work Relationship Network for Maximizing Organizational Efficiency in Enterprises.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

A hybrid-readout and dynamic-resolution motion detection image sensor for object tracking.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

An integrated bug processing framework.
Proceedings of the 34th International Conference on Software Engineering, 2012

Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques.
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

Locating faults using multiple spectra-specific models.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An on-chip hot pixel identification and correction approach in CMOS imagers.
Proceedings of the International SoC Design Conference, 2011

A CMOS image sensor with on-chip motion detection and object localization.
Proceedings of the 2011 IEEE Custom Integrated Circuits Conference, 2011

Exploring desktop resources based on user activity analysis.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

Two-Stage Adaptation for Dependable Service-Oriented System.
Proceedings of the International Conference on Service Sciences, 2010

An efficient multi-dimensional index for cloud data management.
Proceedings of the First International CIKM Workshop on Cloud Data Management, 2009

MapReduce-Based Pattern Finding Algorithm Applied in Motif Detection for Prescription Compatibility Network.
Proceedings of the Advanced Parallel Processing Technologies, 8th International Symposium, 2009

A Systematic Study of Failure Proximity.
IEEE Trans. Software Eng., 2008