Konstantinos Mamouras Research | Teaching | Publications | Other
Mamouras

Konstantinos Mamouras

mamouras [at] rice [dot] edu

Department of Computer Science
Rice University
Office 3081, Duncan Hall
Houston, TX 77006, USA

I am an Assistant Professor at the Department of Computer Science of Rice University. Before that, I was a postdoctoral researcher at the University of Pennsylvania advised by Rajeev Alur. I received my Ph.D from the Computer Science department of Cornell University, where I was advised by Dexter Kozen.

Research Interests

I am currently working on the design of programming abstractions for processing data streams. Several real-time decision making applications rely on the computation of quantitative summaries of very large streams of data. We have proposed StreamQRE, a declarative query language that combines regular expressions, quantitative aggregation, and relational features. A compilation algorithm translates the high-level query into a streaming algorithm with precise guarantees for resource usage.

I am also interested in program semantics and logics for program verification. In particular, this includes equational theories of programs based on the framework of Kleene Algebra with Tests.

Teaching

Publications

PLDI '19 Data-Trace Types for Distributed Stream Processing Systems.
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen.
Accepted (conditionally) for presentation at the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019.
[draft]
POPL '19 Modular Quantitative Monitoring.
Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford.
Proceedings of the ACM on Programming Languages. Volume 3, Issue POPL, Article No 50.
[link]
P. IEEE '18 Real-time Decision Policies with Predictable Performance.
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, and Alena Rodionova.
To appear in the Proceedings of the IEEE, Special Issue on Design Automation for Cyber-Physical Systems, 2018.
[draft]
2018 Interfaces for Stream Processing Systems.
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen.
In Principles of Modeling, Lecture Notes in Computer Science, Springer, 2018.
[pdf] [link]
STACS '18 Automata Theory on Sliding Windows.
Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey, and Konstantinos Mamouras.
Proceedings of the 35th International Symposium on Theoretical Aspects of Computer Science (STACS 2018). Caen, France, February 2018.
[pdf] [link]
PLDI '17 StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data.
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, and Sanjeev Khanna.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Barcelona, Spain, June 2017.
[pdf] [link]
ICALP '17 Automata-based Stream Processing.
Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP). Warsaw, Poland, July 2017.
[pdf] [link]
2017 Derivatives of Quantitative Regular Expressions.
Rajeev Alur, Konstantinos Mamouras, and Dogan Ulus.
In Models, Algorithms, Logics and Tools, Lecture Notes in Computer Science, Springer, 2017.
[pdf] [link]
2017 An Introduction to the StreamQRE Language.
Rajeev Alur and Konstantinos Mamouras.
Marktoberdorf Summer School, 2017.
[pdf]
FoSSaCS '17 Equational Theories of Abnormal Termination Based on Kleene Algebra.
Konstantinos Mamouras.
Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Uppsala, Sweden, April 2017.
[pdf] [link]
JLAMP '17 Completeness and Incompleteness in Nominal Kleene Algebra.
Dexter Kozen, Konstantinos Mamouras, and Alexandra Silva.
Journal of Logical and Algebraic Methods in Programming, 2017.
Revised and expanded version of RAMiCS 2015 paper.
[pdf] [link]
LMCS '16 Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.
Konstantinos Mamouras.
Logical Methods in Computer Science, 2016.
Special Issue: 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
[pdf] [link]
TOCL '16 The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.
Konstantinos Mamouras.
ACM Transactions on Computational Logic, 2016.
Revised and expanded version of CSL-LICS 2014 paper.
[pdf] [link]
ESOP '16 Probabilistic NetKAT.
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, and Alexandra Silva.
Proceedings of the 25th European Symposium on Programming (ESOP). Eindhoven, The Netherlands, April 2016.
[pdf] [link]
RAMiCS '15 Completeness and Incompleteness in Nominal Kleene Algebra.
Dexter Kozen, Konstantinos Mamouras, and Alexandra Silva.
Proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS). Braga, Portugal, September 2015.
[pdf] [link] [tech report]
ICALP '15 Nominal Kleene Coalgebra.
Dexter Kozen, Konstantinos Mamouras, Daniela Petrişan, and Alexandra Silva.
Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP). Kyoto, Japan, July 2015.
[pdf] [link] [tech report]
FoSSaCS '15 Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.
Konstantinos Mamouras.
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). London, UK, April 2015.
EATCS Best Theory Paper Award awarded at ETAPS '15.
[pdf] [link]
CSL-LICS '14 On the Hoare Theory of Monadic Recursion Schemes.
Konstantinos Mamouras.
Proceedings of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Vienna, Austria, July 2014.
[pdf] [link]
ICALP '14 Kleene Algebra with Equations.
Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 41st International Colloquium on Automata, Languages, and Programming (ICALP). Copenhagen, Denmark, July 2014.
[pdf] [link] [tech report]
CSL-LICS '14 KAT + B!.
Niels Bjørn Bugge Grathwohl, Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Vienna, Austria, July 2014.
[pdf] [link] [tech report]
CSL '13 Kleene Algebra with Products and Iteration Theories.
Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL). Torino, Italy, September 2013.
[pdf] [link] [tech report]
VLDB '12 The Complexity of Social Coordination.
Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, and Johannes Gehrke.
Proceedings of the VLDB Endowment (PVLDB). Volume 5(11), pages 1172-1183, 2012.
[pdf]

Other

Extensions of Kleene Algebra for Program Verification.
Konstantinos Mamouras.
PhD thesis. Cornell University, Ithaca, NY, August 2015.
Thesis committee: Dexter Kozen (chair), Robert Constable, Richard Shore.
[pdf] [link]
Canonical Progress Measures for Parity Games.
Konstantinos Mamouras.
Short presentation at the 27th Annual IEEE Symposium on Logic in Computer Science (LICS '12). Dubrovnik, Croatia, June 2012.
[pdf]
First-order Temporal Logic with Fixpoint Operators over the Natural Numbers.
Konstantinos Mamouras.
Distinguished MSc Project. Imperial College, London, 2009.
[pdf] [link]