23 citations · 23 across the 3 of their papers we have counts for
5 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…
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…