Marek S. Baranowski

I am a PhD student in the School of Computing at the University of Utah.

Marek S. Baranowski
Marek S. Baranowski,
PhD Student

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112




FPtaylorToplas screenshot

Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
ACM Transactions on Programming Languages and Systems (TOPLAS), to appear, 2018

Peer-reviewed Journal and Conference Publications

ATVA 2018 screenshot

Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
Verifying Rust Programs with SMACK
Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2018

POPL 2017 screenshot

Wei-Fan Chiang, Marek S. Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous Floating-Point Mixed-Precision Tuning
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017


NSV 2019 screenshot

Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
Stochastic Local Search for Solving Floating-Point Constraints
Proceedings of the 12th International Workshop on Numerical Software Verification (NSV), 2019