29 citations · 32 across the 6 of their papers we have counts for
6 papers
Verifiable Sustainability in Data Centers
Syed Rafiul Hussain, Patrick McDaniel, Anshul Gandhi +7
Data centers have significant energy needs, both embodied and operational, affecting sustainability adversely. The current techniques and tools for collecting, aggregating, and rep…
Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions
Louis G. Michael, James Donohue, James C. Davis +2
Regular expressions (regexes) are a powerful mechanism for solving string-matching problems. They are supported by all modern programming languages, and have been estimated to appe…
Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies
Sk Adnan Hassan, Zainab Aamir, Dongyoon Lee +2
Regular expressions are used for diverse purposes, including input validation and firewalls. Unfortunately, they can also lead to a security vulnerability called ReDoS (Regular Exp…
Enabling Volatile Caches for Energy Harvesting Systems
Jianping Zeng, Jongouk Choi, Xinwei Fu +4
Energy harvesting systems have shown their unique benefit of ultra-long operation time without maintenance and are expected to be more prevalent in the era of Internet of Things. H…
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions
James C. Davis, Louis G. Michael, Christy A. Coghlan +2
This paper explores the extent to which regular expressions (regexes) are portable across programming languages. Many languages offer similar regex syntaxes, and it would be natura…
WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs
Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi +4
The advent of non-volatile main memory (NVM) enables the development of crash-consistent software without paying storage stack overhead. However, building a correct crash-consisten…