Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search-Reference-Cited by-同舟云学术

Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search

Published:2024-02-05 Issue: Volume: Page:
ISSN:1049-331X
Container-title:ACM Transactions on Software Engineering and Methodology
language:en
Short-container-title:ACM Trans. Softw. Eng. Methodol.

Author:

Ren Jiawei¹,Sui Yulei¹,Cheng Xiao¹,Feng Yuan²,Zhao Jianjun³

Affiliation:

1. University of New South Wales, Sydney, Australia

2. University of Technology Sydney, Sydney, Australia

3. Kyushu University, Fukuoka, Japan

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/3644389

Reference67 articles.

1. 2024. Artifact: ”Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search”. https://github.com/jiawei-95/tosem-QDTCSA-artifact

2. Time and tape complexity of pushdown automaton languages

3. Solving systems of set constraints

4. Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hernández Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. Córcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente González Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers Łukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Martín-Fernández Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodríguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O’Riordan Hanhee Paik Jesús Pérez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abdón Rodríguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan Wörner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. https://doi.org/10.5281/zenodo.2562111

5. Andris Ambainis. 2005. Quantum Search Algorithms. arxiv:quant-ph/0504012 [quant-ph]