T. Yuan, G. Li, J. Lu, C. Liu, L. Li, and J. Xue. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), page 187-199. Los Alamitos, CA, USA, IEEE Computer Society, (March 2021)
M. Bilal, and M. Kang. (2012)cite arxiv:1801.00389Comment: 5 pages, 6 Figures, Presented in 14th International Conference on Advanced Communication Technology IEEE ICACT'12. February 2012, South Korea.
M. Bilal, M. Kang, S. Shah, and S. Kang. ETRI, 36 (3):
374-384(2014)cite arxiv:1801.06018Comment: 11 pages, 10 figures, published in ETRI Journal, Volume 36, Number 3, pp. 374-384, June 2014.
G. Steele, Jr., and J. Tristan. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, page 15:1--15:12. ACM, (2016)
R. Canetti, O. Goldreich, S. Goldwasser, and S. Micali. Proceedings of the Thirty-second Annual ACM Symposium on Theory of
Computing, page 235--244. New York, NY, USA, ACM, (2000)
D. Hendler, N. Shavit, and L. Yerushalmi. Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, page 206--215. ACM, (2004)
J. Ha, M. Haghighat, S. Cong, and K. McKinley. Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA 2009), (June 2009)in conjunction with ISCA 09.
P. Ganty, R. Majumdar, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, page 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
P. Wolper, and V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, page 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, page 188--203. London, UK, Springer-Verlag, (2000)
E. Clarke, O. Grumberg, and M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, page 240--248. New York, NY, USA, ACM, (1986)
E. Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)