Matko Botincan

According to our database, Matko Botincan authored at least 12 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal verification-driven parallelisation synthesis.

Matko Botincan

PhD thesis, 2018

2015

Refining Existential Properties in Separation Logic Analyses.

Matko Botincan, Mike Dodds, Stephen Magill

CoRR, 2015

2013

Proof-Directed Parallelization Synthesis by Separation Logic.

Matko Botincan, Mike Dodds, Suresh Jagannathan

ACM Trans. Program. Lang. Syst., 2013

Sigma*: symbolic learning of input-output specifications.

Matko Botincan, Domagoj Babic

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Resource-sensitive synchronization inference by abduction.

Matko Botincan, Mike Dodds, Suresh Jagannathan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

jStar-eclipse: an IDE for automated verification of Java programs.

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Automatic safety proofs for asynchronous memory operations.

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Safe asynchronous multicore memory operations.

Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009

Separation Logic Verification of C Programs with an SMT Solver.

Matko Botincan, Matthew J. Parkinson, Wolfram Schulte

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Verification of Causality Requirements in Java Memory Model Is Undecidable.

Matko Botincan, Paola Glavan, Davor Runje

Proceedings of the Parallel Processing and Applied Mathematics, 2009

2008

An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy.

Matko Botincan, Davor Runje

J. Comput. Inf. Technol., 2008

2005

AsmL Specification and Verification of Lamport's Bakery Algorithm.

Matko Botincan

J. Comput. Inf. Technol., 2005