Marek S. Baranowski

According to our database, Marek S. Baranowski authored at least 9 papers between 2017 and 2020.

Collaborative distances:

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

2020

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.

Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

An SMT Theory of Fixed-Point Arithmetic.

Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.

Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan

ACM Trans. Program. Lang. Syst., 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Stochastic Local Search for Solving Floating-Point Constraints.

Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Verifying Rust Programs with SMACK.

Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

System Programming in Rust: Beyond Safety.

Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk

ACM SIGOPS Oper. Syst. Rev., 2017

Reproducing ParConnect for SC16.

Marek S. Baranowski, Braden Caywood, Hannah Eyre, Janaan Lake, Kevin Parker, Kincaid Savoie, Hari Sundar, Mary W. Hall

Parallel Comput., 2017

Moving the Needle on Rigorous Floating-Point Precision Tuning.

Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017