Marek S. Baranowski

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 10

Top Topics

Stochastic Local Search

Intermediate Representation

Top Venues

Publications

Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) (2020)
Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. VMCAI (2020)
Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
Stochastic Local Search for Solving Floating-Point Constraints. NSV@CAV (2019)
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 Trans. Program. Lang. Syst. 41 (1) (2019)
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
RedLeaf: Towards An Operating System for Safe and Verified Firmware. HotOS (2019)
Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
Verifying Rust Programs with SMACK. ATVA (2018)
Marek S. Baranowski, Braden Caywood, Hannah Eyre, Janaan Lake, Kevin Parker, Kincaid Savoie, Hari Sundar, Mary W. Hall
Reproducing ParConnect for SC16. Parallel Comput. 70 (2017)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. HotOS (2017)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. ACM SIGOPS Oper. Syst. Rev. 51 (1) (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)