Search Results - "Sui, Yulei"
-
1
A Comparative Study of Class Rebalancing Methods for Security Bug Report Classification
Published in IEEE transactions on reliability (01-12-2021)“…Identifying security bug reports (SBRs) accurately from a bug repository can reduce a software product's security risk. However, the class imbalance problem…”
Get full text
Journal Article -
2
Atomically dispersed Pt on specific TiO2 facets for photocatalytic H2 evolution
Published in Journal of catalysis (01-09-2017)“…This work successfully synthesized a Pt/TiO2 catalyst, where Pt atomically and selectively dispersed on the (101) facets of TiO2 crystals. [Display omitted]…”
Get full text
Journal Article -
3
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
Published in IEEE transactions on software engineering (01-02-2014)“…We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to…”
Get full text
Journal Article -
4
Familial Clustering for Weakly-Labeled Android Malware Using Hybrid Representation Learning
Published in IEEE transactions on information forensics and security (2020)“…Labeling malware or malware clustering is important for identifying new security threats, triaging and building reference datasets. The state-of-the-art…”
Get full text
Journal Article -
5
Multi-modal Attention Network Learning for Semantic Source Code Retrieval
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01-11-2019)“…Code retrieval techniques and tools have been playing a key role in facilitating software developers to retrieve existing code fragments from available…”
Get full text
Conference Proceeding -
6
Beyond the virus: a first look at coronavirus-themed Android malware
Published in Empirical software engineering : an international journal (2021)“…As the COVID-19 pandemic emerged in early 2020, a number of malicious actors have started capitalizing the topic. Although a few media reports mentioned the…”
Get full text
Journal Article -
7
Study on xLiVPO4F·yLi3V2(PO4)3/C Composite for High-Performance Cathode Material for Lithium-Ion Batteries
Published in Frontiers in chemistry (08-05-2020)“…Cathode materials made of x LiVPO 4 F· y Li 3 V 2 (PO 4 ) 3 /C ( x:y = 1:0, 2:1, 0:1) are synthesized via a feasible sol-gel method for high-performance…”
Get full text
Journal Article -
8
Query-directed adaptive heap cloning for optimizing compilers
Published in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (23-02-2013)“…Andersen's pointer analysis becomes more precise when applied with full heap cloning but unscalable for large, heap-intensive programs. In contrast,…”
Get full text
Conference Proceeding -
9
Separation and recovery of iron and titanium from oxidized vanadium titano-magnetite by gas-based reduction roasting and magnetic separation
Published in Journal of materials research and technology (01-05-2019)“…Gas-based reduction roasting magnetic separation process was conducted to separate and recover iron and titanium from oxidized vanadium titano-magnetite (VTM)…”
Get full text
Journal Article -
10
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions
Published in IEEE transactions on reliability (01-12-2016)“…Spatial errors (e.g., buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the…”
Get full text
Journal Article -
11
Facile One-Step Hydrothermal Synthesis of Na3V2(PO4)2F3@C/CNTs Tetragonal Micro-Particles as High Performance Cathode Material for Na-Ion Batteries
Published in Frontiers in chemistry (18-10-2019)“…In this paper, we report a facile one-step hydrothermal method to synthesize tetragonal Na 3 V 2 (PO 4 ) 2 F 3 @C particles which are connected by carbon…”
Get full text
Journal Article -
12
A Comparative Study on Na2Fe0.6Mn0.4PO4F/C Cathode Materials Synthesized With Various Carbon Sources for Na-ion Batteries
Published in Frontiers in chemistry (13-01-2021)“…Na 2 Fe 0. 6Mn 0.4 PO 4 F/C composite materials are synthesized with various carbon sources via a simple spray-drying method in this study, and the effect of…”
Get full text
Journal Article -
13
Region-Based May-Happen-in-Parallel Analysis for C Programs
Published in 2015 44th International Conference on Parallel Processing (01-09-2015)“…The C programming language continues to play an essential role in the development of system software. May-Happen-in-Parallel (MHP) analysis is the basis of…”
Get full text
Conference Proceeding Journal Article -
14
Controllable Synthesis of Na3V2(PO4)3/C Nanofibers as Cathode Material for Sodium-Ion Batteries by Electrostatic Spinning
Published in Frontiers in chemistry (10-12-2018)“…Na 3 V 2 (PO 4 ) 3 /C nanofibers are prepared by a pre-reduction assisted electrospinning method. In order to maintain the perfect fibrous architecture of the…”
Get full text
Journal Article -
15
Spray-Drying Synthesis of LiFeBO3/C Hollow Spheres With Improved Electrochemical and Storage Performances for Li-Ion Batteries
Published in Frontiers in chemistry (28-05-2019)“…LiFeBO 3 /C cathode material with hollow sphere architecture is successfully synthesized by a spray-drying method. SEM and TEM results demonstrate that the…”
Get full text
Journal Article -
16
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
Published in 2014 IEEE 25th International Symposium on Software Reliability Engineering (01-11-2014)“…Spatial errors (e.g., Buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the…”
Get full text
Conference Proceeding -
17
Contention-Aware Scheduling for Asymmetric Multicore Processors
Published in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) (01-12-2015)“…Asymmetric multicore processors (AMPs) have been proposed as an energy-efficient alternative to symmetric mul-ticore processors (SMPs). However, AMPs derive…”
Get full text
Conference Proceeding Journal Article -
18
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++
Published in IEEE transactions on software engineering (01-08-2020)“…We present Supa , a value-flow-based demand-driven flow- and context-sensitive pointer analysis with strong updates for C and C++ programs. Supa enables…”
Get full text
Journal Article -
19
Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs
Published in 2012 41st International Conference on Parallel Processing (01-09-2012)“…Automatically parallelizing loop nests into CUDA kernels must exploit the full potential of GPUs to obtain high performance. One state-of-the-art approach…”
Get full text
Conference Proceeding -
20
Carbon quantum dots/TiO2 nanosheets with dominant (001) facets for enhanced photocatalytic hydrogen evolution
Published in Applied surface science (30-06-2019)“…Carbon quantum dots/TiO2 nanosheets with a majority of (001) facet (CQDs/TiO2-001) samples are successfully prepared via a facile method. Compared to TiO2-001…”
Get full text
Journal Article