Publications

Filtered as: all types - all years - all authors - keyword: Scientific computing
Sorted by: author
Corresponding bibtex list 

Franchetti, Franz 

1. Q. Oschatz, N. Zhang, M. Franusich and Franz Franchetti
   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
   Proc. High Performance Extreme Computing (HPEC), 2025
   
2. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Franusich, M. 

1. Q. Oschatz, N. Zhang, M. Franusich and Franz Franchetti
   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
   Proc. High Performance Extreme Computing (HPEC), 2025
   
2. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Oschatz, Q. 

1. Q. Oschatz, N. Zhang, M. Franusich and Franz Franchetti
   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
   Proc. High Performance Extreme Computing (HPEC), 2025
   

Rao, Sanil 

1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Zhang, N. 

1. Q. Oschatz, N. Zhang, M. Franusich and Franz Franchetti
   Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
   Proc. High Performance Extreme Computing (HPEC), 2025
   
2. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
   Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
   Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007