Konstantinos Mamouras

62 papers A* 7A 5B 7C 1Misc 1Journal 28Unranked 11

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