4 citations · 4 across the 3 of their papers we have counts for
5 papers
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Roger Scott, Joseph Ranieri, Lucja Kot +1
Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically…
Automated Customized Bug-Benchmark Generation
Vineeth Kashyap, Jason Ruchti, Lucja Kot +6
We introduce Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools. We share a benchmark generated using Bug-Injector and…
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis
Sudip Roy, Lucja Kot, Gabriel Bender +5
Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But correctness of many applications depends on strong consistency proper…
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…
Cooperative Update Exchange in the Youtopia System
Lucja Kot, Christoph Koch
Youtopia is a platform for collaborative management and integration of relational data. At the heart of Youtopia is an update exchange abstraction: changes to the data propagate th…