Shiqiang Zhang

5 papers · 2022–2026 · 4 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (12) 👥 Mega-Team · Squad 🔥 Unstoppable · Bronze

Venues

NeurIPS (2) AISTATS (1) ICML (1) OSDI (1)

Top co-authors

Calvin Tsay (3) Ruth Misener (3) David Walz (2) Yisheng Xie (1) Jiesheng Wu (1) Jiangshan Lai (1) Wei Guo (1) Quan Xu (1) Yilin Xie (1) Wenlong Hou (1)

Research topics

Machine Learning (4) Mathematics & Optimization (3) Optimization (3) Optimization & Theory (3) Artificial Intelligence (2) Deep Learning (2) Architectures (2) Bayesian & Probabilistic (2) Core AI (2) Computer Science (1) Security & Privacy (1) Privacy (1) Systems (1)

Keywords

mixed-integer optimization (2) regret bound (2) bayesian optimization (2) mixed integer programming (2) sequential optimization (1) asynchronous optimization (1) acquisition function (1) graph isomorphism (1) molecular design (1) message passing neural network (1) symmetry breaking (1) graph neural network (1) page table (1) memory virtualization (1) piecewise linear approximation (1) pathwise exploration (1) secure container (1) nested virtualization (1) guest hypervisor (1) world switch (1)

Papers

JANUS: Cross-World, Cooperative Nested Virtualization for Secure Containers OSDI 2026 Global Optimization of Gaussian Process Acquisition Functions Using a Piecewise-Linear Kernel Approximation AISTATS 2025 Verifying message-passing neural networks via topology-based bounds tightening ICML 2024 Optimizing over trained GNNs via symmetry breaking NeurIPS 2023 SnAKe: Bayesian Optimization with Pathwise Exploration NeurIPS 2022