Lubin J, Ferguson J, Ye K, Yim J and Chasins S. (2024). Equivalence by Canonicalization for Synthesis-Backed Refactoring. Proceedings of the ACM on Programming Languages. 8:PLDI. (1879-1904). Online publication date: 20-Jun-2024.

Hu J, Lu E, Holland D, Kawaguchi M, Chong S and Seltzer M. (2023). Towards Porting Operating Systems with Program Synthesis. ACM Transactions on Programming Languages and Systems. 45:1. (1-70). Online publication date: 31-Mar-2023.

Singh S, Zhang M and Khurshid S. Learning Guided Enumerative Synthesis for Superoptimization. Model Checking Software. (172-192).

https://doi.org/10.1007/978-3-030-30923-7_10

Wu H. (2018). Step 0: An Idea for Automatic OCL Benchmark Generation. Software Technologies: Applications and Foundations. 10.1007/978-3-319-74730-9_31. (356-364).

http://link.springer.com/10.1007/978-3-319-74730-9_31

Phothilimthana P, Thakur A, Bodik R and Dhurjati D. (2016). Scaling up Superoptimization. ACM SIGARCH Computer Architecture News. 44:2. (297-310). Online publication date: 29-Jul-2016.

https://doi.org/10.1145/2980024.2872387

Phothilimthana P, Thakur A, Bodik R and Dhurjati D. (2016). Scaling up Superoptimization. ACM SIGPLAN Notices. 51:4. (297-310). Online publication date: 9-Jun-2016.

https://doi.org/10.1145/2954679.2872387

Phothilimthana P, Thakur A, Bodik R and Dhurjati D. (2016). Scaling up Superoptimization. ACM SIGOPS Operating Systems Review. 10.1145/2954680.2872387. 50:2. (297-310). Online publication date: 25-Mar-2016.

http://dl.acm.org/citation.cfm?doid=2954680.2872387

Phothilimthana P, Thakur A, Bodik R and Dhurjati D. Scaling up Superoptimization. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. (297-310).

https://doi.org/10.1145/2872362.2872387

Ábrahám E and Kremer G. (2016). Satisfiability Checking: Theory and Applications. Software Engineering and Formal Methods. 10.1007/978-3-319-41591-8_2. (9-23).

http://link.springer.com/10.1007/978-3-319-41591-8_2