Spiro Michaylov

Publication Activity (10 Years)

Years Active: 1987-2017
Publications (10 Years): 1

Top Topics

Computing Environments

Association Rules

Top Venues

SIGMOD Conference

Publications

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
Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics. SIGMOD Conference (2017)
Spiro Michaylov
Repeated Redundant Inequalities in Constraint Logic Programming. Inf. Comput. 142 (1) (1998)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
Meta-Programming in CLP(R). J. Log. Program. 33 (3) (1997)
Spiro Michaylov, Iván Ordóñez
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. LPE (1995)
Spiro Michaylov
Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. ICTAI (1994)
Spiro Michaylov, Bill Pippin
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. ILPS (1994)
Spiro Michaylov
Repeated Redundant Inequalities in Constraint Logic Programming. CCL (1994)
Spiro Michaylov, Frank Pfenning
Higher-Order Logic Programming as Constraint Logic Programming. PPCP (1993)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
An Abstract Machine for CLP(R). PLDI (1992)
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reason. 8 (2) (1992)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
CLP(R) and Some Electrical Engineering Problems. J. Autom. Reason. 9 (2) (1992)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14 (3) (1992)
Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
A Methodology for Managing Hard Constraints in CLP Systems. PLDI (1991)
Spiro Michaylov, Frank Pfenning
Natural Semantics and Some of Its Meta-Theory in Elf. ELP (1991)
Spiro Michaylov, Frank Pfenning
Compiling the Polymorphic Lambda-Calculus. PEPM (1991)
Niels Jørgensen, Kim Marriott, Spiro Michaylov
Some Global Compile-Time Optimizations for CLP(R). ISLP (1991)
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
The CLP(R) language and system: an overview. Compcon (1991)
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses LICS (1989)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
On Meta-Programming in CLR(R). NACLP (1989)
P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. CADE (1988)
Joxan Jaffar, Spiro Michaylov
Methodology and Implementation of a CLP System. ICLP (1987)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
CLP(R) and Some Electrical Engineering Problems. ICLP (1987)