Spiro Michaylov

According to our database, Spiro Michaylov authored at least 19 papers between 1987 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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, Rogério Ramos, Neil Sharman, Zee Xu, Youssef Barakat, Chris Douglas, Richard Draves, Shrikant S. Naidu, Shankar Shastry, Atul Sikaria, Simon Sun, Ramarathnam Venkatesan

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

1998

Repeated Redundant Inequalities in Constraint Logic Programming.

Spiro Michaylov

Inf. Comput., 1998

1997

Meta-Programming in CLP(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

J. Log. Program., 1997

1995

Time and Money: A Case Study in Systematic Development of Constraint Logic Programs.

Spiro Michaylov, Iván Ordóñez

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

1994

Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs.

Spiro Michaylov, Bill Pippin

Proceedings of the Logic Programming, 1994

Skeletons and Techniques for the Systematic Development of Constraint Logic Programs.

Spiro Michaylov

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

Higher-Order Logic Programming as Constraint Logic Programming.

Spiro Michaylov, Frank Pfenning

Proceedings of the Principles and Practice of Constraint Programming, 1993

1992

The CLP(R) Language and System.

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

ACM Trans. Program. Lang. Syst., 1992

CLP(R) and Some Electrical Engineering Problems.

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey

J. Autom. Reason., 1992

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.

Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov

J. Autom. Reason., 1992

An Abstract Machine for CLP(R).

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Some Global Compile-Time Optimizations for CLP(R).

Niels Jørgensen, Kim Marriott, Spiro Michaylov

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

A Methodology for Managing Hard Constraints in CLP Systems.

Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Compiling the Polymorphic Lambda-Calculus.

Spiro Michaylov, Frank Pfenning

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Natural Semantics and Some of Its Meta-Theory in Elf.

Spiro Michaylov, Frank Pfenning

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

The CLP(R) language and system: an overview.

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Compcon Spring '91, San Francisco, 1991

1989

On Meta-Programming in CLR(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1989

1988

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.

P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Methodology and Implementation of a CLP System.

Joxan Jaffar, Spiro Michaylov

Proceedings of the Logic Programming, 1987