Zvonimir Rakamaric

Registered user since Tue 6 Sep 2016

Name:Zvonimir Rakamaric
Bio:

Zvonimir Rakamaric is an assistant professor in the School of Computing at the University of Utah. Prior to this, he was a postdoctoral fellow at Carnegie Mellon University in Silicon Valley, where he worked closely with researchers from the Robust Software Engineering Group at NASA Ames Research Center to improve the coverage of testing of NASA’s flight critical systems. Zvonimir received his bachelor’s degree in Computer Science from the University of Zagreb, Croatia; he obtained his M.Sc. and Ph.D. from the Department of Computer Science at the University of British Columbia, Canada.

Zvonimir’s research mission is to improve the reliability and resilience of complex software systems by empowering developers with practical tools and techniques for analysis of their artifacts. He is a recipient of the NSF CAREER Award 2016, Microsoft Research Software Engineering Innovation Foundation (SEIF) Award 2012, Microsoft Research Graduate Fellowship 2008-2010, Silver Medal in the ACM Student Research Competition at the 32nd International Conference on Software Engineering (ICSE) 2010, and the Outstanding Student Paper Award at the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.

Country:United States
Affiliation:University of Utah
Personal website:http://www.zvonimir.info/
Research interests:Software Verification, Software Analysis, Formal Methods

Contributions

VMCAI 2020 Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
POPL 2017 Author of Rigorous Floating-point Mixed Precision Tuning within the POPL-track
PLDI 2017 Committee Member in External Review Committee
SPLASH 2016 Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track