Moving the Needle on Rigorous Floating-Point Precision Tuning. - Marek S. Baranowski; Ian Briggs; Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Alexey Solovyev (AFM@NFM, 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)

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)

Verifying Rust Programs with SMACK. - Marek S. Baranowski; Shaobo He; Zvonimir Rakamaric (ATVA, 2018)

Stochastic Local Search for Solving Floating-Point Constraints. - Shaobo He; Marek S. Baranowski; Zvonimir Rakamaric (NSV@CAV, 2019)

RedLeaf: Towards An Operating System for Safe and Verified Firmware. - Vikram Narayanan; Marek S. Baranowski; Leonid Ryzhyk; Zvonimir Rakamaric; Anton Burtsev (HotOS, 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)

An SMT Theory of Fixed-Point Arithmetic. - Marek S. Baranowski; Shaobo He; Mathias Lechner; Thanh Son Nguyen; Zvonimir Rakamaric (IJCAR (1), 2020)

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. - Jack J. Garzella; Marek S. Baranowski; Shaobo He; Zvonimir Rakamaric (VMCAI, 2020)