Mark Baranowski

According to our database, Mark Baranowski authored at least 5 papers between 2016 and 2025.

Collaborative distances:

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

2025

Equivalence Checking of a libm Port.

Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Array Programming on GPUs: Challenges and Opportunities.

Xinyi Li, Mark Baranowski, Harvey Dam, Ganesh Gopalakrishnan

Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, 2025

2020

FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation.

Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan

ACM Trans. Archit. Code Optim., 2020

2017

Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

ParFuse: Parallel and Compositional Analysis of Message Passing Programs.

Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan

Proceedings of the Languages and Compilers for Parallel Computing, 2016