318 results on '"Sui, Yulei"'
Search Results
152. Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding
153. Facile One-Step Hydrothermal Synthesis of Na3V2(PO4)2F3@C/CNTs Tetragonal Micro-Particles as High Performance Cathode Material for Na-Ion Batteries
154. TCD: Statically Detecting Type Confusion Errors in C++ Programs
155. Event trace reduction for effective bug replay of Android apps via differential GUI state analysis
156. Spray-Drying Synthesis of LiFeBO3/C Hollow Spheres With Improved Electrochemical and Storage Performances for Li-Ion Batteries
157. VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences
158. Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android
159. Controllable Synthesis of Na3V2(PO4)3/C Nanofibers as Cathode Material for Sodium-Ion Batteries by Electrostatic Spinning
160. Parallel construction of interprocedural memory SSA form
161. Atomically dispersed Pt on specific TiO2 facets for photocatalytic H2 evolution
162. Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks
163. CoBOT
164. Live path control flow integrity
165. Spatio-temporal context reduction
166. Launch-mode-aware context-sensitive activity transition analysis
167. Managing high-performance computing applications as an on-demand service on federated clouds
168. A novel process for preparation of titanium dioxide from Ti-bearing electric furnace slag: NH4HF2-HF leaching and hydrolyzing process
169. Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization
170. Synthesis of nano-TiO2 photocatalysts with tunable Fe doping concentration from Ti-bearing tailings
171. Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection
172. One-step preparation of Ti3+ self-doped TiO2 single crystals with internal-pores and highly exposed {001} facets for improved photocatalytic activity
173. Boosting the precision of virtual call integrity protection with partial pointer analysis for C++
174. AutoFix
175. Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions
176. On-demand strong update analysis via value-flow refinement
177. Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection.
178. Characterization of pax3a and pax3b genes in artificially induced polyploid and gynogenetic olive flounder (Paralichthys olivaceus) during embryogenesis
179. Conserved elements in the nanos3 3′UTR of olive flounder are responsible for the selective retention of RNA in germ cells
180. The stimulatory effect of neuropeptide Y on growth hormone expression, food intake, and growth in olive flounder (Paralichthys olivaceus)
181. Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization
182. Automated memory leak fixing on value-flow slices for C programs
183. SVF: interprocedural static value-flow analysis in LLVM
184. Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis
185. Sparse flow-sensitive pointer analysis for multithreaded programs
186. The duplicated paired box protein 7 ( pax7 ) genes differentially transcribed during Japanese flounder ( Paralichthys olivaceus ) embryogenesis
187. Region-Based May-Happen-in-Parallel Analysis for C Programs
188. WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
189. Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
190. Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
191. Contention-Aware Scheduling for Asymmetric Multicore Processors.
192. Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation
193. Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization.
194. Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs
195. Static memory leak detection using full-sparse value-flow analysis
196. QoS decomposition for dependable service-oriented middleware
197. Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation.
198. Query-directed adaptive heap cloning for optimizing compilers.
199. Live path control flow integrity.
200. Spray-drying synthesis of Na2Fe1-xMnxPO4F/C cathodes: A facile synergetic strategy harvesting superior sodium storage.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.