Spiro Michaylov

22 papers A* 3A 1B 3C 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics.
SIGMOD Conference
Raghu Ramakrishnan, Baskar Sridharan, John R. Douceur, Pavan Kasturi, Balaji Krishnamachari-Sampath, Karthick Krishnamoorthy, Peng Li, Mitica Manu, Spiro Michaylov, Rogério Ramos, Neil Sharman, Zee Xu, Youssef Barakat, Chris Douglas, Richard Draves, Shrikant S. Naidu, Shankar Shastry, Atul Sikaria, Simon Sun, Ramarathnam Venkatesan
1998 J jnl
Repeated Redundant Inequalities in Constraint Logic Programming.
Inf. Comput.
Spiro Michaylov
1997 J jnl
Meta-Programming in CLP(R).
J. Log. Program.
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1995 — conf
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs.
LPE
Spiro Michaylov, Iván Ordóñez
1994 — conf
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs.
ILPS
Spiro Michaylov, Bill Pippin
1994 — conf
Repeated Redundant Inequalities in Constraint Logic Programming.
CCL
Spiro Michaylov
1994 B conf
Skeletons and Techniques for the Systematic Development of Constraint Logic Programs.
ICTAI
Spiro Michaylov
1993 — conf
Higher-Order Logic Programming as Constraint Logic Programming.
PPCP
Spiro Michaylov, Frank Pfenning
1992 A* conf
An Abstract Machine for CLP(R).
PLDI
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1992 J jnl
CLP(R) and Some Electrical Engineering Problems.
J. Autom. Reason.
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
1992 J jnl
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.
J. Autom. Reason.
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
1992 J jnl
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst.
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1991 A* conf
A Methodology for Managing Hard Constraints in CLP Systems.
PLDI
Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
1991 C conf
Compiling the Polymorphic Lambda-Calculus.
PEPM
Spiro Michaylov, Frank Pfenning
1991 — conf
Natural Semantics and Some of Its Meta-Theory in Elf.
ELP
Spiro Michaylov, Frank Pfenning
1991 — conf
Some Global Compile-Time Optimizations for CLP(R).
ISLP
Niels Jørgensen, Kim Marriott, Spiro Michaylov
1991 — conf
The CLP(R) language and system: an overview.
Compcon
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1989 — conf
On Meta-Programming in CLR(R).
NACLP
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
1989 A* conf
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses
LICS
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
1988 A conf
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.
CADE
P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov
1987 B conf
CLP(R) and Some Electrical Engineering Problems.
ICLP
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
1987 B conf
Methodology and Implementation of a CLP System.
ICLP
Joxan Jaffar, Spiro Michaylov