Matko Botincan

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Sequent Calculi

Automated Reasoning

Higher Order Logic

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

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