Sledovat
Zvonimir Rakamaric
Zvonimir Rakamaric
Associate Professor, School of Computing, University of Utah
E-mailová adresa ověřena na: cs.utah.edu - Domovská stránka
Název
Citace
Citace
Rok
Delay-bounded scheduling
M Emmi, S Qadeer, Z Rakamarić
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1772011
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
1672015
SMACK: Decoupling source language details from verifier implementations
Z Rakamarić, M Emmi
International Conference on Computer Aided Verification, 106-113, 2014
1572014
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
1392017
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
1032016
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
982007
System Programming in Rust: Beyond Safety
A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamarić, ...
932017
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
932009
Towards Formal Approaches to System Resilience
VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan
922013
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
902014
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
872015
CIVL: The Concurrency Intermediate Verification Language
SF Siegel, MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, R Thakur, ...
86*
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
812016
Symbolic Learning of Component Interfaces
D Giannakopoulou, Z Rakamaric, V Raman
Static Analysis Symposium (SAS), 2012
632012
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
542006
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamarić, M Emmi
Proceedings of the 38th International Conference on Software Engineering …, 2016
512016
SMACK Software Verification Toolchain
SH Montgomery Carter, J Whitaker, Z Rakamaric, M Emmi
38th IEEE/ACM International Conference on Software Engineering (ICSE), 2016
51*2016
A scalable memory model for low-level code
Z Rakamarić, A Hu
Verification, Model Checking, and Abstract Interpretation, 290-304, 2009
452009
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
432015
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
422007
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20