23 citations · 42 across the 5 of their papers we have counts for
6 papers
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay +4
Regular pattern matching is used in numerous application domains, including text processing, bioinformatics, and network security. Patterns are typically expressed with an extended…
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Daniel W. Song, Konstantinos Mamouras, Ang Chen +2
Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has…
PaSh: Light-touch Data-Parallel Shell Processing
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras +2
This paper presents {\scshape PaSh}, a system for parallelizing POSIX shell scripts. Given a script, {\scshape PaSh} converts it to a dataflow graph, performs a series of semantics…
Streamable Regular Transductions
Rajeev Alur, Dana Fisman, Konstantinos Mamouras +2
Motivated by real-time monitoring and data processing applications, we develop a formal theory of quantitative queries for streaming data that can be evaluated efficiently. We cons…
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras
We study a propositional variant of Hoare logic that can be used for reasoning about programs that exhibit both angelic and demonic nondeterminism. We work in an uninterpreted sett…
The Complexity of Social Coordination
Konstantinos Mamouras, Sigal Oren, Lior Seeman +2
Coordination is a challenging everyday task; just think of the last time you organized a party or a meeting involving several people. As a growing part of our social and profession…