Lucja Kot

According to our database, Lucja Kot authored at least 23 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments.

Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

API analytics for curating static analysis rules.

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

2019

Automated Customized Bug-Benchmark Generation.

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte

CoRR, 2019

Automated Customized Bug-Benchmark Generation.

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

SARIF-enabled tooling to encourage gradual technical debt reduction.

Paul Anderson, Lucja Kot, Neil Gilmore, David Vitek

Proceedings of the Second International Conference on Technical Debt, 2019

2018

Improving Optimistic Concurrency Control Through Transaction Batching and Operation Reordering.

Bailu Ding, Lucja Kot, Johannes Gehrke

Proc. VLDB Endow., 2018

2015

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.

Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Centiman: elastic, high performance optimistic concurrency control by watermarking.

Bailu Ding, Lucja Kot, Alan J. Demers, Johannes Gehrke

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

Tracking Personal Data Use: Provenance and Trust.

Lucja Kot

Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch

CoRR, 2014

Explainable security for relational databases.

Gabriel Bender, Lucja Kot, Johannes Gehrke

Proceedings of the International Conference on Management of Data, 2014

2013

Fine-grained disclosure control for app ecosystems.

Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Quantum Databases.

Sudip Roy, Lucja Kot, Christoph Koch

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012

Entangled queries: Enabling declarative data-driven coordination.

Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, Christoph Koch

ACM Trans. Database Syst., 2012

The Complexity of Social Coordination.

Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke

Proc. VLDB Endow., 2012

2011

Entangled Transactions.

Nitin Gupta, Milos Nikolic, Sudip Roy, Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch

Proc. VLDB Endow., 2011

Coordination through querying in the youtopia system.

Nitin Gupta, Lucja Kot, Gabriel Bender, Sudip Roy, Johannes Gehrke, Christoph Koch

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2010

Youtopia: A community Database Management System.

Lucja Kot

PhD thesis, 2010

Beyond isolation: research opportunities in declarative data-driven coordination.

Lucja Kot, Nitin Gupta, Sudip Roy, Johannes Gehrke, Christoph Koch

SIGMOD Rec., 2010

2009

Cooperative Update Exchange in the Youtopia System.

Lucja Kot, Christoph Koch

Proc. VLDB Endow., 2009

2008

Google's Deep Web crawl.

Jayant Madhavan, David Ko, Lucja Kot, Vignesh Ganapathy, Alex Rasmussen, Alon Y. Halevy

Proc. VLDB Endow., 2008

2007

Characterization of the Interaction of XML Functional Dependencies with DTDs.

Lucja Kot, Walker M. White

Proceedings of the Database Theory, 2007

2005

Kleene Algebra and Bytecode Verification.

Lucja Kot, Dexter Kozen

Proceedings of the First Workshop on Bytecode Semantics, 2005