Lucja Kot

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 7

Top Topics

Optimistic Concurrency Control

Disclosure Control

Correctness Criteria

Top Venues

SIGMOD Conference

Proc. VLDB Endow.

Publications

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