Konstantinos Mamouras

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 40

Top Topics

Metric Temporal Logic

Regular Expressions

Equational Theories

Top Venues

Proc. ACM Program. Lang.

Publications

Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang
BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions. ASPLOS (2) (2024)
Konstantinos Mamouras, Agnishom Chattopadhyay
Efficient Matching of Regular Expressions with Lookaround Assertions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Moses Ganardi, Danny Hucke, Markus Lohrey, Konstantinos Mamouras, Tatiana Starikovskaya
Regular Languages in the Sliding Window Model. CoRR (2024)
Yi Huang, Lingkun Kong, Dibei Chen, Zhiyu Chen, Xiangyu Kong, Jianfeng Zhu, Konstantinos Mamouras, Shaojun Wei, Kaiyuan Yang, Leibo Liu
CASA: An Energy-Efficient and High-Speed CAM-based SMEM Seeding Accelerator for Genome Alignment. MICRO (2023)
Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras
Regular Expression Matching using Bit Vector Automata. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
A compositional framework for algebraic quantitative online monitoring over continuous-time signals. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
Software-hardware codesign for efficient in-memory regular pattern matching. PLDI (2022)
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching. CoRR (2022)
Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. EMSOFT (2022)
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic
PaSh: light-touch data-parallel shell processing. EuroSys (2021)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. TACAS (1) (2021)
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
Synchronization Schemas. PODS (2021)
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. RV (2021)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable regular transductions. Theor. Comput. Sci. 807 (2020)
Agnishom Chattopadhyay, Konstantinos Mamouras
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. RV (2020)
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilleas Benetopoulos, Lazar Cvetkovich
PaSh: Light-touch Data-Parallel Shell Processing. CoRR (2020)
Konstantinos Mamouras
Semantic Foundations for Deterministic Dataflow and Stream Processing. ESOP (2020)
Lingkun Kong, Konstantinos Mamouras
StreamQL: a query language for processing streaming time series. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Daniel W. Song, Konstantinos Mamouras, Ang Chen, Nathan Dautenhahn, Dan S. Wallach
The Design and Implementation of a Verified File System with End-to-End Data Integrity. CoRR (2020)
Konstantinos Mamouras, Zhifu Wang
Online Signal Monitoring With Bounded Lag. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Modular quantitative monitoring. Proc. ACM Program. Lang. 3 (POPL) (2019)
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
Data-trace types for distributed stream processing systems. PLDI (2019)
Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek (2018)
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106 (9) (2018)
Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey, Konstantinos Mamouras
Automata Theory on Sliding Windows. STACS (2018)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
Interfaces for Stream Processing Systems. Principles of Modeling (2018)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable Regular Transductions. CoRR (2018)
Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools (2017)
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. PLDI (2017)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Automata-Based Stream Processing. ICALP (2017)
Konstantinos Mamouras
Equational Theories of Abnormal Termination Based on Kleene Algebra. FoSSaCS (2017)
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
Completeness and incompleteness in nominal Kleene algebra. J. Log. Algebraic Methods Program. 91 (2017)
Konstantinos Mamouras
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. ACM Trans. Comput. Log. 17 (2) (2016)
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
Probabilistic NetKAT. ESOP (2016)
Konstantinos Mamouras
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism. Log. Methods Comput. Sci. 12 (3) (2016)
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
Completeness and Incompleteness in Nominal Kleene Algebra. RAMiCS (2015)
Konstantinos Mamouras
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. FoSSaCS (2015)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
Nominal Kleene Coalgebra. ICALP (2) (2015)
Dexter Kozen, Konstantinos Mamouras
Kleene Algebra with Equations. ICALP (2) (2014)
Konstantinos Mamouras
On the Hoare theory of monadic recursion schemes. CSL-LICS (2014)
Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras
KAT + B! CSL-LICS (2014)
Dexter Kozen, Konstantinos Mamouras
Kleene Algebra with Products and Iteration Theories. CSL (2013)
Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke
The Complexity of Social Coordination CoRR (2012)
Vassiliki Andronikou, Konstantinos Mamouras, Konstantinos Tserpes, Dimosthenis Kyriazis, Theodora A. Varvarigou
Dynamic QoS-aware data replication in grid environments based on data "importance". Future Gener. Comput. Syst. 28 (3) (2012)
Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke
The Complexity of Social Coordination. Proc. VLDB Endow. 5 (11) (2012)
Theologos Athanaselis, Konstantinos Mamouras, Stelios Bakamidis, Ioannis Dologlou
A Corpus Based Technique for Repairing Ill-formed Sentences with Word Order Errors Using Co-Occurrences of n-Grams. Int. J. Artif. Intell. Tools 20 (3) (2011)
Theologos Athanaselis, Stelios Bakamidis, Konstantinos Mamouras, Ioannis Dologlou
Sentence-Level Evaluation Using Co-occurences of N-Grams. ICANN (1) (2008)