Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Xiaokang QIU"'
Autor:
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Henry Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Publikováno v:
IEEE Open Journal of the Computer Society, Vol 1, Pp 155-172 (2020)
In this article, we put forward the substantial challenges in cyber resilience in the domain of autonomous systems and outline foundational solutions to address these challenges. These solutions fall into two broad themes: resilience-by-design and re
Externí odkaz:
https://doaj.org/article/39140442d7e849a4862374ea27989c37
Publikováno v:
Chinese Journal of Electronics. 31:293-303
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d27e9d353fda651ceff686f766c0859a
https://doi.org/10.1049/cje.2021.00.021
https://doi.org/10.1049/cje.2021.00.021
Autor:
Brian J. Henz, Gesualdo Scutari, Suman Jana, Xiaokang Qiu, Aly El Gamal, Shaoshuai Mou, Karen Marais, Felix Xiaozhu Lin, Henry Hoffmann, Saurabh Bagchi, Prateek Mittal, Somali Chaterji, Vaneet Aggarwal, Fred Douglis, Jiawei Han, Milind Kulkarni
Publikováno v:
IEEE Open Journal of the Computer Society, Vol 1, Pp 155-172 (2020)
In this article, we put forward the substantial challenges in cyber resilience in the domain of autonomous systems and outline foundational solutions to address these challenges. These solutions fall into two broad themes: resilience-by-design and re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77daa8a8223730c1f69436da9116aaf0
https://doi.org/10.1109/ojcs.2020.3006807
https://doi.org/10.1109/ojcs.2020.3006807
Autor:
Kangjing Huang, Xiaokang Qiu
Publikováno v:
Static Analysis ISBN: 9783031223075
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e641269b79566d374a27672069a61851
https://doi.org/10.1007/978-3-031-22308-2_13
https://doi.org/10.1007/978-3-031-22308-2_13
Autor:
Benjamin Mariano, Armando Solar-Lezama, Siyuan Xu, Xiaokang Qiu, Josh Reese, Jeffrey S. Foster, ThanhVu Nguyen
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-25
A key challenge in program synthesis is synthesizing programs that use libraries, which most real-world software does. The current state of the art is to model libraries with mock library implementations that perform the same function in a simpler wa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b13ac28d1c696eee43b7ab718fbc60d
https://doi.org/10.1145/3360558
https://doi.org/10.1145/3360558
When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since architect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ada8f1619bf8bb705ea1646d15d4824
http://arxiv.org/abs/2105.11620
http://arxiv.org/abs/2105.11620
Publikováno v:
PLDI
Syntax-guided synthesis (SyGuS) aims to find a program satisfying semantic specification as well as user-provided structural hypotheses. There are two main synthesis approaches: enumerative synthesis, which repeatedly enumerates possible candidate pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5bf8e12d3fdfe04abbf9ae2764386a1
https://doi.org/10.1145/3385412.3386027
https://doi.org/10.1145/3385412.3386027
Autor:
Armando Solar-Lezama, Xiaokang Qiu
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-28
This paper presents natural synthesis, which generalizes the proof-theoretic synthesis technique to support very expressive logic theories. This approach leverages the natural proof methodology and reduces an intractable, unbounded-size synthesis pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6dd8b6e5181852c781f2cd3aba68906f
https://doi.org/10.1145/3133889
https://doi.org/10.1145/3133889
Publikováno v:
Formal Methods in System Design. 50:75-95
Adaptive concretization is a program synthesis technique that enables efficient parallelization of challenging synthesis problems. The key observation behind adaptive concretization is that in a challenging synthesis problem, there are some unknowns
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43dfbdb0cac0d26ef43ab08b73b55a43
https://doi.org/10.1007/s10703-017-0269-8
https://doi.org/10.1007/s10703-017-0269-8
Publikováno v:
PPoPP
Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to reasoning about tree traversals and their transformations are ad hoc, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4d5ebff8163ab860a78425f8eb11757