1,226 results on '"Chi Cheung"'
Search Results
2. Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts.
3. Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
4. Best Arm Identification with Resource Constraints.
5. Feasibility of concomitant exclusion of left atrial appendage during novel transapical off-pump beating heart mitral valve repair
6. On the Caching Schemes to Speed Up Program Reduction.
7. Programming by Example Made Easy.
8. StubCoder: Automated Generation and Repair of Stub Code for Mock Objects.
9. Multiobjective Stochastic Optimization: A Case of Real-Time Matching in Ride-Sourcing Markets.
10. A single-cell atlas of conventional central chondrosarcoma reveals the role of endoplasmic reticulum stress in malignant transformation
11. Leveraging (Biased) Information: Multi-armed Bandits with Offline Data.
12. Context-Dependent Interactable Graphical User Interface Element Detection for Spatial Computing Applications.
13. DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation.
14. CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.
15. MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
16. A Tale of Two DL Cities: When Library Tests Meet Compiler.
17. Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench.
18. DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.
19. Automatic Build Repair for Test Cases using Incompatible Java Versions.
20. Concerned with Data Contamination? Assessing Countermeasures in Code Language Model.
21. Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.
22. Testing Coreference Resolution Systems without Labeled Test Sets.
23. Can Machine Learning Pipelines Be Better Configured?
24. Revisiting the Evaluation of Deep Learning-Based Compiler Testing.
25. Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting.
26. Fuzzing Deep Learning Compilers with HirGen.
27. ωTest: WebView-Oriented Testing for Android Applications.
28. ConfFix: Repairing Configuration Compatibility Issues in Android Apps.
29. Bandits with Knapsacks: Advice on Time-Varying Demands.
30. Online Stochastic Allocation of Reusable Resources.
31. Strategies towards enabling lithium metal in batteries: interphases and electrodes
32. Student Responses to Online Peer Assessment in Tertiary English Language Classrooms
33. Statistical learning in inventory management
34. COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
35. Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications.
36. Nonstationary Reinforcement Learning: The Blessing of (More) Optimism.
37. Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.
38. Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem.
39. Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation.
40. A Health App for Post-Pandemic Years (HAPPY) for people with physiological and psychosocial distress during the post-pandemic era: Protocol for a randomized controlled trial
41. Terminally fluorinated glycol ether electrolyte for lithium metal batteries
42. MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases.
43. APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps.
44. DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
45. Nufix: Escape From NuGet Dependency Maze.
46. RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
47. Insight: Exploring Cross-Ecosystem Vulnerability Impacts.
48. Strenuous Decades: Global Challenges and Transformation of Chinese Societies in Modern Asia
49. Inventory Balancing with Online Learning.
50. Hedging the Drift: Learning to Optimize Under Nonstationarity.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.