Kenneth L. Knowles

According to our database, Kenneth L. Knowles authored at least 9 papers between 2007 and 2021.

Collaborative distances:

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

2021

Watermarks in Stream Processing Systems: Semantics and Comparative Analysis of Apache Flink and Google Cloud Dataflow.

Edmon Begoli, Tyler Akidau, Slava Chernyak, Fabian Hueske, Kathryn Knight, Kenneth L. Knowles, Daniel Mills, Dan Sotolongo

Proc. VLDB Endow., 2021

2019

One SQL to Rule Them All.

Edmon Begoli, Tyler Akidau, Fabian Hueske, Julian Hyde, Kathryn Knight, Kenneth L. Knowles

CoRR, 2019

One SQL to Rule Them All - an Efficient and Syntactically Idiomatic Approach to Management of Streams and Tables.

Edmon Begoli, Tyler Akidau, Fabian Hueske, Julian Hyde, Kathryn Knight, Kenneth L. Knowles

Proceedings of the 2019 International Conference on Management of Data, 2019

2016

Faceted Dynamic Information Flow via Control and Data Monads.

Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2014

Executable Refinement Types.

Kenneth L. Knowles

PhD thesis, 2014

Executable Refinement Types.

Kenneth L. Knowles

CoRR, 2014

2010

Hybrid type checking.

Kenneth L. Knowles, Cormac Flanagan

ACM Trans. Program. Lang. Syst., 2010

2009

Compositional reasoning and decidable checking for dependent contract types.

Kenneth L. Knowles, Cormac Flanagan

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2007

Type Reconstruction for General Refinement Types.

Kenneth L. Knowles, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2007