Travelled to:1 × Austria
1 × Italy
1 × Norway
1 × Portugal
1 × South Africa
1 × Sweden
1 × Switzerland
2 × United Kingdom
3 × France
4 × USA
Collaborated with:A.J.Hu S.Qadeer M.Emmi G.Gopalakrishnan D.Giannakopoulou J.D.Bingham A.Solovyev S.K.Lahiri A.F.Donaldson F.Howar V.Raman ∅ W.Chiang P.Deligiannis C.Jacobsen D.Babic B.Cook S.Chatterjee T.S.0001 M.Batty A.Haran M.Carter A.Lal M.Isberner T.Lauderdale Mark Baranowski Ian Briggs
Talks about:symbol (4) static (4) program (3) concurr (3) analysi (3) precis (3) point (3) float (3) error (3) procedur (2)
Person: Zvonimir Rakamaric
DBLP: Rakamaric:Zvonimir
Contributed to:
2015
2015
2014
2014
2014
2013
2012
2011
20102009
20092008
20072007200720062015
20162017Wrote 19 papers:
- FM-2015-SolovyevJRG #estimation #fault #float
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
- TACAS-2015-HaranCELQR #composition #contest #verification
- SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.
- ASE-2014-GiannakopoulouHILRR #assurance #testing
- Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
- CAV-2014-RakamaricE #implementation #named #verification
- SMACK: Decoupling Source Language Details from Verifier Implementations (ZR, ME), pp. 106–113.
- PPoPP-2014-ChiangGRS #fault #float #performance
- Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
- ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
- Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
- SAS-2012-GiannakopoulouRR #component #interface #learning
- Symbolic Learning of Component Interfaces (DG, ZR, VR), pp. 248–264.
- POPL-2011-EmmiQR #bound #scheduling
- Delay-bounded scheduling (ME, SQ, ZR), pp. 411–422.
- ICSE-2010-Rakamaric #concurrent #named #source code
- STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
- CAV-2009-LahiriQR #concurrent #detection #fault #precise #smt #using
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers (SKL, SQ, ZR), pp. 509–524.
- VMCAI-2009-RakamaricH #low level #memory management #scalability
- A Scalable Memory Model for Low-Level Code (ZR, AJH), pp. 290–304.
- ASE-2008-RakamaricH #automation #axiom #static analysis #using
- Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
- SEFM-2007-BabicHRC #proving #termination
- Proving Termination by Divergence (DB, AJH, ZR, BC), pp. 93–102.
- TACAS-2007-ChatterjeeLQR #bytecode #low level #reachability
- A Reachability Predicate for Analyzing Low-Level Software (SC, SKL, SQ, ZR), pp. 19–33.
- VMCAI-2007-RakamaricBH #data type #source code #verification
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
- VMCAI-2006-BinghamR #abstraction #logic #source code
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.
- ASE-2015-DeligiannisDR #analysis #concurrent #debugging #performance #precise
- Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
- OOPSLA-2016-SorensenDBGR
- Portable inter-workgroup barrier synchronisation for GPUs (TS0, AFD, MB, GG, ZR), pp. 39–58.
- POPL-2017-ChiangBBSGR #float
- Rigorous floating-point mixed-precision tuning (WFC, MB, IB, AS, GG, ZR), pp. 300–315.