Konstantinos Mamouras

According to our database, Konstantinos Mamouras authored at least 49 papers between 2008 and 2024.

Collaborative distances:

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

2024

Efficient Matching of Regular Expressions with Lookaround Assertions.

Konstantinos Mamouras, Agnishom Chattopadhyay

Proc. ACM Program. Lang., January, 2024

Static Analysis for Checking the Disambiguation Robustness of Regular Expressions.

Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay

Proc. ACM Program. Lang., 2024

HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism.

Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras

Proc. ACM Program. Lang., 2024

Membership Testing for Semantic Regular Expressions.

Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman

CoRR, 2024

Regular Languages in the Sliding Window Model.

Moses Ganardi, Danny Hucke, Markus Lohrey, Konstantinos Mamouras, Tatiana Starikovskaya

CoRR, 2024

Efficient Offline Monitoring for Dynamic Metric Temporal Logic.

Konstantinos Mamouras

Proceedings of the Runtime Verification - 24th International Conference, 2024

BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions.

Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

A compositional framework for algebraic quantitative online monitoring over continuous-time signals.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Int. J. Softw. Tools Technol. Transf., August, 2023

Regular Expression Matching using Bit Vector Automata.

Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras

Proc. ACM Program. Lang., April, 2023

CASA: An Energy-Efficient and High-Speed CAM-based SMEM Seeding Accelerator for Genome Alignment.

Yi Huang, Lingkun Kong, Dibei Chen, Zhiyu Chen, Xiangyu Kong, Jianfeng Zhu, Konstantinos Mamouras, Shaojun Wei, Kaiyuan Yang, Leibo Liu

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

2022

Software-hardware codesign for efficient in-memory regular pattern matching.

Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic.

Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras

Proceedings of the International Conference on Embedded Software, 2022

2021

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Proceedings of the Runtime Verification - 21st International Conference, 2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

PaSh: light-touch data-parallel shell processing.

Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

Streamable regular transductions.

Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford

Theor. Comput. Sci., 2020

Online Signal Monitoring With Bounded Lag.

Konstantinos Mamouras, Zhifu Wang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

StreamQL: a query language for processing streaming time series.

Lingkun Kong, Konstantinos Mamouras

Proc. ACM Program. Lang., 2020

The Design and Implementation of a Verified File System with End-to-End Data Integrity.

Daniel W. Song, Konstantinos Mamouras, Ang Chen, Nathan Dautenhahn, Dan S. Wallach

CoRR, 2020

A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics.

Agnishom Chattopadhyay, Konstantinos Mamouras

Proceedings of the Runtime Verification - 20th International Conference, 2020

Semantic Foundations for Deterministic Dataflow and Stream Processing.

Konstantinos Mamouras

Proceedings of the Programming Languages and Systems, 2020

2019

Quantitative Regular Expressions for Arrhythmia Detection.

Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Modular quantitative monitoring.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford

Proc. ACM Program. Lang., 2019

Data-trace types for distributed stream processing systems.

Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Real-Time Decision Policies With Predictable Performance.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proc. IEEE, 2018

Automata Theory on Sliding Windows.

Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey, Konstantinos Mamouras

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Interfaces for Stream Processing Systems.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen

Proceedings of the Principles of Modeling, 2018

2017

An Introduction to the StreamQRE Language.

Rajeev Alur, Konstantinos Mamouras

Proceedings of the Dependable Software Systems Engineering, 2017

Completeness and incompleteness in nominal Kleene algebra.

Dexter Kozen, Konstantinos Mamouras, Alexandra Silva

J. Log. Algebraic Methods Program., 2017

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data.

Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automata-Based Stream Processing.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Equational Theories of Abnormal Termination Based on Kleene Algebra.

Konstantinos Mamouras

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Derivatives of Quantitative Regular Expressions.

Rajeev Alur, Konstantinos Mamouras, Dogan Ulus

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.

Konstantinos Mamouras

ACM Trans. Comput. Log., 2016

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.

Konstantinos Mamouras

Log. Methods Comput. Sci., 2016

Probabilistic NetKAT.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2016

2015

Extensions of Kleene Algebra for Program Verification.

Konstantinos Mamouras

PhD thesis, 2015

Nominal Kleene Coalgebra.

Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.

Konstantinos Mamouras

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Kleene Algebra with Equations.

Dexter Kozen, Konstantinos Mamouras

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

On the Hoare theory of monadic recursion schemes.

Konstantinos Mamouras

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

KAT + B!

Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Kleene Algebra with Products and Iteration Theories.

Dexter Kozen, Konstantinos Mamouras

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

The Complexity of Social Coordination.

Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke

Proc. VLDB Endow., 2012

Dynamic QoS-aware data replication in grid environments based on data "importance".

Vassiliki Andronikou, Konstantinos Mamouras, Konstantinos Tserpes, Dimosthenis Kyriazis, Theodora A. Varvarigou

Future Gener. Comput. Syst., 2012

2011

A Corpus Based Technique for Repairing Ill-formed Sentences with Word Order Errors Using Co-Occurrences of n-Grams.

Theologos Athanaselis, Konstantinos Mamouras, Stelios Bakamidis, Ioannis Dologlou

Int. J. Artif. Intell. Tools, 2011

2008

Sentence-Level Evaluation Using Co-occurences of N-Grams.

Theologos Athanaselis, Stelios Bakamidis, Konstantinos Mamouras, Ioannis Dologlou

Proceedings of the Artificial Neural Networks, 2008