Konstantinos Mamouras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
18
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Static Analysis for Efficient Streaming Tokenization. | Angela W. Li, Yudi Yang, Konstantinos Mamouras |
| 2026 | FM | A General Framework for Robust Quantitative Semantics of Signal Temporal Logic. | Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras, Jean-Baptiste Jeannin |
| 2025 | CPP | Verified and Efficient Matching of Regular Expressions with Lookaround. | Agnishom Chattopadhyay, Angela W. Li, Konstantinos Mamouras |
| 2025 | HotOS | From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. | Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis |
| 2025 | ISCA | RAP: Reconfigurable Automata Processor. | Ziyuan Wen, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang |
| 2024 | ASPLOS | BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions. | Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang |
| 2024 | RV | Efficient Offline Monitoring for Dynamic Metric Temporal Logic. | Konstantinos Mamouras |
| 2023 | MICRO | 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 |
| 2022 | EMSOFT | Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. | Jean-Baptiste Jeannin, Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras |
| 2022 | PLDI | 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 |
| 2021 | EuroSys | PaSh: light-touch data-parallel shell processing. | Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2021 | RV | A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2021 | TACAS | Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2020 | ESOP | Semantic Foundations for Deterministic Dataflow and Stream Processing. | Konstantinos Mamouras |
| 2020 | RV | A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. | Agnishom Chattopadhyay, Konstantinos Mamouras |
| 2019 | PLDI | Data-trace types for distributed stream processing systems. | Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
| 2018 | STACS | Automata Theory on Sliding Windows. | Moses Ganardi, Danny Hucke, Daniel Knig, Markus Lohrey, Konstantinos Mamouras |
| 2017 | FOSSACS | Equational Theories of Abnormal Termination Based on Kleene Algebra. | Konstantinos Mamouras |
| 2017 | ICALP | Automata-Based Stream Processing. | Rajeev Alur, Konstantinos Mamouras, Caleb Stanford |
| 2017 | PLDI | StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. | Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
| 2016 | ESOP | Probabilistic NetKAT. | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2015 | FOSSACS | Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism. | Konstantinos Mamouras |
| 2015 | ICALP | Nominal Kleene Coalgebra. | Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva |
| 2014 | CSL | KAT + B! | Niels Bjrn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras |
| 2014 | CSL | On the Hoare theory of monadic recursion schemes. | Konstantinos Mamouras |
| 2014 | ICALP | Kleene Algebra with Equations. | Dexter Kozen, Konstantinos Mamouras |
| 2013 | CSL | Kleene Algebra with Products and Iteration Theories. | Dexter Kozen, Konstantinos Mamouras |
| 2008 | ICANN | Sentence-Level Evaluation Using Co-occurences of N-Grams. | Theologos Athanaselis, Stelios Bakamidis, Konstantinos Mamouras, Ioannis Dologlou |