Patrick J. Chapman

According to our database, Patrick J. Chapman authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Interleaving static analysis and LLM prompting with applications to error specification inference.

Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur

Int. J. Softw. Tools Technol. Transf., April, 2025

2024

Interleaving Static Analysis and LLM Prompting.

Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation.

Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-González

Proceedings of the SC24-W: Workshops of the International Conference for High Performance Computing, 2024