Lucja Kot

27 papers A 3C 2Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — conf
API analytics for curating static analysis rules.
TAPAS@SPLASH
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
2020 C conf
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments.
SCAM
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
2020 J jnl
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments.
CoRR
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
2019 C conf
Automated Customized Bug-Benchmark Generation.
SCAM
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
2019 J jnl
Automated Customized Bug-Benchmark Generation.
CoRR
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte
2019 — conf
SARIF-enabled tooling to encourage gradual technical debt reduction.
TechDebt@ICSE
Paul Anderson, Lucja Kot, Neil Gilmore, David Vitek
2018 J jnl
Improving Optimistic Concurrency Control Through Transaction Batching and Operation Reordering.
Proc. VLDB Endow.
Bailu Ding, Lucja Kot, Johannes Gehrke
2015 — conf
Centiman: elastic, high performance optimistic concurrency control by watermarking.
SoCC
Bailu Ding, Lucja Kot, Alan J. Demers, Johannes Gehrke
2015 — conf
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.
SIGMOD Conference
Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke
2015 A conf
Tracking Personal Data Use: Provenance and Trust.
CIDR
Lucja Kot
2014 — conf
Explainable security for relational databases.
SIGMOD Conference
Gabriel Bender, Lucja Kot, Johannes Gehrke
2014 J jnl
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.
CoRR
Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch
2013 — conf
Fine-grained disclosure control for app ecosystems.
SIGMOD Conference
Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch
2013 A conf
Quantum Databases.
CIDR
Sudip Roy, Lucja Kot, Christoph Koch
2012 J jnl
Entangled queries: Enabling declarative data-driven coordination.
ACM Trans. Database Syst.
Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, Christoph Koch
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 — conf
Coordination through querying in the youtopia system.
SIGMOD Conference
Nitin Gupta, Lucja Kot, Gabriel Bender, Sudip Roy, Johannes Gehrke, Christoph Koch
2011 J jnl
Entangled Transactions.
Proc. VLDB Endow.
Nitin Gupta, Milos Nikolic, Sudip Roy, Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch
2011 — conf
Entangled queries: enabling declarative data-driven coordination.
SIGMOD Conference
Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, Christoph Koch
2010 J jnl
Beyond isolation: research opportunities in declarative data-driven coordination.
SIGMOD Rec.
Lucja Kot, Nitin Gupta, Sudip Roy, Johannes Gehrke, Christoph Koch
2010 — —
Youtopia: A community Database Management System.
Lucja Kot
2009 J jnl
Cooperative Update Exchange in the Youtopia System
CoRR
Lucja Kot, Christoph Koch
2009 J jnl
Cooperative Update Exchange in the Youtopia System.
Proc. VLDB Endow.
Lucja Kot, Christoph Koch
2008 J jnl
Google's Deep Web crawl.
Proc. VLDB Endow.
Jayant Madhavan, David Ko, Lucja Kot, Vignesh Ganapathy, Alex Rasmussen, Alon Y. Halevy
2007 A conf
Characterization of the Interaction of XML Functional Dependencies with DTDs.
ICDT
Lucja Kot, Walker M. White
2005 — conf
Kleene Algebra and Bytecode Verification.
Bytecode@ETAPS
Lucja Kot, Dexter Kozen