Matko Botincan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | POPL | Sigma*: symbolic learning of input-output specifications. | Matko Botincan, Domagoj Babic |
| 2012 | POPL | Resource-sensitive synchronization inference by abduction. | Matko Botincan, Mike Dodds, Suresh Jagannathan |
| 2011 | PPoPP | Automatic safety proofs for asynchronous memory operations. | Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson |
| 2009 | PPAM | Verification of Causality Requirements in Java Memory Model Is Undecidable. | Matko Botincan, Paola Glavan, Davor Runje |