Spiro Michaylov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1987–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SIGMOD | Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics. | Raghu Ramakrishnan, Baskar Sridharan, John R. Douceur, Pavan Kasturi, Balaji Krishnamachari-Sampath, Karthick Krishnamoorthy, Peng Li, Mitica Manu, Spiro Michaylov, Rogrio Ramos, Neil Sharman, Zee Xu, Youssef Barakat, Chris Douglas, Richard Draves, Shrikant S. Naidu, Shankar Shastry, Atul Sikaria, Simon Sun, Ramarathnam Venkatesan |
| 1994 | ICTAI | Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. | Spiro Michaylov |
| 1992 | PLDI | An Abstract Machine for CLP(R). | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
| 1991 | PEPM | Compiling the Polymorphic Lambda-Calculus. | Spiro Michaylov, Frank Pfenning |
| 1991 | PLDI | A Methodology for Managing Hard Constraints in CLP Systems. | Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap |
| 1989 | LICS | PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses | Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov |
| 1988 | CADE | PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. | P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov |
| 1987 | ICLP | CLP(R) and Some Electrical Engineering Problems. | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
| 1987 | ICLP | Methodology and Implementation of a CLP System. | Joxan Jaffar, Spiro Michaylov |