Zvonimir Rakamaric

Cited by

	All	Since 2017
Citations	2209	1440
h-index	26	20
i10-index	39	27

300

150

225

2006200720082009201020112012201320142015201620172018201920202021202213 21 22 41 40 56 56 80 112 145 142 235 286 246 270 281 120

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Wei-Fan ChiangSchool of Computing, University of UtahVerified email at cs.utah.edu
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Alan J. HuProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Simone AtzeniPhD Student, University of UtahVerified email at cs.utah.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaobo HeAmazon Web ServicesVerified email at cs.utah.edu
Michael EmmiAmazon Web ServicesVerified email at amazon.com
Alexey SolovyevResearch Associate of Computer Science, University of UtahVerified email at cs.utah.edu
Dong H. AhnLLNLVerified email at llnl.gov
Falk HowarTU DortmundVerified email at tu-dortmund.de
Ignacio LagunaLawrence Livermore National LaboratoryVerified email at llnl.gov
Domagoj BabicGoogle, Inc.Verified email at cs.berkeley.edu
Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
Martin SchulzTechnical University of MunichVerified email at in.tum.de
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
Vishal SharmaSr. Staff Compiler Engineer, d-Matrix Corp.Verified email at d-matrix.ai
Malte IsbernerStackRox Inc.Verified email at stackrox.com
Anton BurtsevAssistant Professor, University of UtahVerified email at utah.edu
Leonid RyzhykVMware ResearchVerified email at vmware.com

Zvonimir Rakamaric

Associate Professor, School of Computing, University of Utah

Verified email at cs.utah.edu - Homepage

Formal Methods Software Verification Static Analysis Programming Languages Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	168	2011
Rigorous estimation of floating-point round-off errors with symbolic taylor expansions A Solovyev, C Jacobsen, Z Rakamarić, G Gopalakrishnan International Symposium on Formal Methods, 532-550, 2015	153	2015
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi International Conference on Computer Aided Verification, 106-113, 2014	139	2014
Rigorous floating-point mixed-precision tuning WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ... Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	122	2017
A reachability predicate for analyzing low-level software S Chatterjee, SK Lahiri, S Qadeer, Z Rakamarić International Conference on Tools and Algorithms for the Construction and …, 2007	98	2007
Evaluation of Android Malware Detection Based on System Calls M Dimjašević, S Atzeni, I Ugrina, Z Rakamaric Proceedings of the 2016 ACM on International Workshop on Security And …, 2016	93	2016
Static and precise detection of concurrency errors in systems code using SMT solvers SK Lahiri, S Qadeer, Z Rakamarić International Conference on Computer Aided Verification, 509-524, 2009	92	2009
Towards Formal Approaches to System Resilience VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan	86	2013
CIVL: The Concurrency Intermediate Verification Language SF Siegel, MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, R Thakur, ...	82*
Efficient search for inputs causing high floating-point errors WF Chiang, G Gopalakrishnan, Z Rakamaric, A Solovyev Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014	81	2014
System Programming in Rust: Beyond Safety A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamarić, ...	77	2017
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ... 8th International Workshop on Exploiting Concurrency Efficiently and …, 2015	77	2015
JDart: A Dynamic Symbolic Analysis Framework K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ... 22nd International Conference on Tools and Algorithms for the Construction …, 2016	70	2016
Symbolic Learning of Component Interfaces D Giannakopoulou, Z Rakamaric, V Raman Static Analysis Symposium (SAS), 2012	63	2012
A logic and decision procedure for predicate abstraction of heap-manipulating programs J Bingham, Z Rakamarić Verification, Model Checking, and Abstract Interpretation, 207-221, 2006	56	2006
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamaric, M Emmi 2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016	47	2016
SMACK Software Verification Toolchain SH Montgomery Carter, J Whitaker, Z Rakamaric, M Emmi 38th IEEE/ACM International Conference on Software Engineering (ICSE), 2016	47*	2016
A scalable memory model for low-level code Z Rakamarić, A Hu Verification, Model Checking, and Abstract Interpretation, 290-304, 2009	45	2009
An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures Z Rakamarić, J Bingham, A Hu Verification, Model Checking, and Abstract Interpretation, 106-121, 2007	41	2007
Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis F Howar, D Giannakopoulou, Z Rakamaric	40	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors