Matko Botincan

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Formal verification-driven parallelisation synthesis.
PhD thesis, 2018

2015
Refining Existential Properties in Separation Logic Analyses.
CoRR, 2015

2013
Proof-Directed Parallelization Synthesis by Separation Logic.
ACM Trans. Program. Lang. Syst., 2013

Sigma*: symbolic learning of input-output specifications.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012
Resource-sensitive synchronization inference by abduction.
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.
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.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Safe asynchronous multicore memory operations.
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.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Verification of Causality Requirements in Java Memory Model Is Undecidable.
Proceedings of the Parallel Processing and Applied Mathematics, 2009

2008
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy.
J. Comput. Inf. Technol., 2008

2005
AsmL Specification and Verification of Lamport's Bakery Algorithm.
J. Comput. Inf. Technol., 2005


  Loading...