Matko Botincan

13 papers A* 3B 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2018 — —
Formal verification-driven parallelisation synthesis.
Matko Botincan
2015 J jnl
Refining Existential Properties in Separation Logic Analyses.
CoRR
Matko Botincan, Mike Dodds, Stephen Magill
2013 J jnl
Proof-Directed Parallelization Synthesis by Separation Logic.
ACM Trans. Program. Lang. Syst.
Matko Botincan, Mike Dodds, Suresh Jagannathan
2013 A* conf
Sigma*: symbolic learning of input-output specifications.
POPL
Matko Botincan, Domagoj Babic
2012 A* conf
Resource-sensitive synchronization inference by abduction.
POPL
Matko Botincan, Mike Dodds, Suresh Jagannathan
2011 B conf
Automatic safety proofs for asynchronous memory operations.
PPoPP
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011 A* conf
Safe asynchronous multicore memory operations.
ASE
Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
2011 — conf
jStar-eclipse: an IDE for automated verification of Java programs.
SIGSOFT FSE
Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson
2009 — conf
Separation Logic Verification of C Programs with an SMT Solver.
SSV
Matko Botincan, Matthew J. Parkinson, Wolfram Schulte
2009 — conf
Verification of Causality Requirements in Java Memory Model Is Undecidable.
PPAM (2)
Matko Botincan, Paola Glavan, Davor Runje
2008 J jnl
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy.
J. Comput. Inf. Technol.
Matko Botincan, Davor Runje
2008 — conf
An enhancement of futures runtime in presence of cache memory hierarchy.
ITI
Matko Botincan, Davor Runje
2005 J jnl
AsmL Specification and Verification of Lamport's Bakery Algorithm.
J. Comput. Inf. Technol.
Matko Botincan