2.2k citations
- Chinese Academy of SciencesCN229 papers
- University of Chinese Academy of SciencesCN105 papers
- State Key Laboratory of Computer Science78 papers
- Peking UniversityCN61 papers
- Tsinghua UniversityCN51 papers
- University of Technology SydneyAU36 papers
- University of WaterlooCA28 papers
- University of GuelphCA20 papers
- Beihang UniversityCN19 papers
- Centre for Quantum Computation and Communication TechnologyAU15 papers
- Saarland UniversityDE15 papers
- Huawei Technologies (China)CN10 papers
36 papers · 1 filter
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu +3
Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing w…
How visual discomfort changes with horizontal viewing angle on stereoscopic display
Yaohua Xie, Danli Wang, Fang Sun
When viewing stereoscopic displays, people may not always be able to stay exactly in front of the display. It is known that viewing stereoscopic display from different vertical ang…
A Grammar-Based Structural CNN Decoder for Code Generation
Zeyu Sun, Qihao Zhu, Lili Mou +3
Code generation maps a program description to executable source code in a programming language. Existing approaches mainly rely on a recurrent neural network (RNN) as the decoder.…
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
Taolue Chen, Matthew Hague, Anthony W. Lin +2
The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, whose applications include symbolic exec…
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
Chong Gao, Taolue Chen, Zhilin Wu
We identify difference-bound set constraints (DBS), an analogy of difference-bound arithmetic constraints for sets. DBS can express not only set constraints but also arithmetic con…
Reach-Avoid Differential Games Based on Invariant Generation
Bai Xue, Qiuye Wang, Naijun Zhan +2
Reach-avoid differential games play an important role in collision avoidance, motion planning and control of aircrafts, and related applications. The central problem is the computa…