Zvonimir Rakamaric

Citée par

	Toutes	Depuis 2020
Citations	2904	1344
indice h	28	18
indice i10	50	25

300

150

225

2006200720082009201020112012201320142015201620172018201920202021202220232024202512 21 23 44 35 57 57 82 113 140 127 247 284 257 280 282 252 214 277 39

Accès public

Tout afficher

25 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Ganesh GopalakrishnanProfessor of Computer Science, University of UtahAdresse e-mail validée de cs.utah.edu
Wei-Fan ChiangSchool of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Shaobo HeAmazon Web ServicesAdresse e-mail validée de cs.utah.edu
Shaz QadeerMicrosoftAdresse e-mail validée de microsoft.com
Simone AtzeniPhD Student, University of UtahAdresse e-mail validée de cs.utah.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
Alan J. HuProfessor of Computer Science, University of British ColumbiaAdresse e-mail validée de cs.ubc.ca
Alexey SolovyevResearch Associate of Computer Science, University of UtahAdresse e-mail validée de cs.utah.edu
Michael EmmiAmazon Web ServicesAdresse e-mail validée de amazon.com
Dong H. AhnLLNLAdresse e-mail validée de llnl.gov
Falk HowarTU DortmundAdresse e-mail validée de tu-dortmund.de
Ignacio LagunaLawrence Livermore National LaboratoryAdresse e-mail validée de llnl.gov
Domagoj BabicGoogle, Inc.Adresse e-mail validée de cs.berkeley.edu
Vishwanath RamanPrivacy Architect, Oasis LabsAdresse e-mail validée de oasislabs.com
Arvind HaranSoftware Engineer, IBMAdresse e-mail validée de us.ibm.com
Martin SchulzTechnical University of MunichAdresse e-mail validée de in.tum.de
Anton BurtsevAssistant Professor, University of UtahAdresse e-mail validée de utah.edu
Leonid RyzhykFelderaAdresse e-mail validée de feldera.com
Malte IsbernerRed HatAdresse e-mail validée de redhat.com
Kasper Søe LuckowAmazon Web ServicesAdresse e-mail validée de amazon.com

Suivre

Zvonimir Rakamaric

Amazon Web Services (AWS)

Adresse e-mail validée de amazon.com - Page d'accueil

Formal Methods Software Verification Static Analysis Programming Languages Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	229	2015
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	190	2011
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi International Conference on Computer Aided Verification, 106-113, 2014	184	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	180	2017
System Programming in Rust: Beyond Safety A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamarić, ...	139	2017
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	125	2016
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	120	2016
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	116	2014
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	108	2015
CIVL: The Concurrency Intermediate Verification Language SF Siegel, MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, R Thakur, ...	103*
Towards Formal Approaches to System Resilience VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan	100	2013
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	100	2007
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	94	2009
Symbolic Learning of Component Interfaces D Giannakopoulou, Z Rakamaric, V Raman Static Analysis Symposium (SAS), 2012	67	2012
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016	64	2016
SMACK Software Verification Toolchain SH Montgomery Carter, J Whitaker, Z Rakamaric, M Emmi 38th IEEE/ACM International Conference on Software Engineering (ICSE), 2016	64*	2016
Verifying Rust programs with SMACK M Baranowski, S He, Z Rakamarić Automated Technology for Verification and Analysis: 16th International …, 2018	57	2018
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
Portable inter-workgroup barrier synchronisation for GPUs T Sorensen, AF Donaldson, M Batty, G Gopalakrishnan, Z Rakamarić Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016	47	2016
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers P Deligiannis, AF Donaldson, Z Rakamaric 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015	46	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs