Kenneth Knowles

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 4

Top Topics

Database Objects

Stream Processing Systems

Top Venues

Proc. VLDB Endow.

SIGMOD Conference

Publications

Edmon Begoli, Tyler Akidau, Slava Chernyak, Fabian Hueske, Kathryn Knight, Kenneth Knowles, Daniel Mills, Dan Sotolongo
Watermarks in Stream Processing Systems: Semantics and Comparative Analysis of Apache Flink and Google Cloud Dataflow. Proc. VLDB Endow. 14 (12) (2021)
Edmon Begoli, Tyler Akidau, Fabian Hueske, Julian Hyde, Kathryn Knight, Kenneth Knowles
One SQL to Rule Them All - an Efficient and Syntactically Idiomatic Approach to Management of Streams and Tables. SIGMOD Conference (2019)
Edmon Begoli, Tyler Akidau, Fabian Hueske, Julian Hyde, Kathryn Knight, Kenneth Knowles
One SQL to Rule Them All. CoRR (2019)
Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan
Faceted Dynamic Information Flow via Control and Data Monads. POST (2016)
Kenneth Knowles
Executable Refinement Types. CoRR (2014)
Kenneth Knowles, Cormac Flanagan
Hybrid type checking. ACM Trans. Program. Lang. Syst. 32 (2) (2010)
Kenneth Knowles, Cormac Flanagan
Compositional reasoning and decidable checking for dependent contract types. PLPV (2009)
Kenneth Knowles, Cormac Flanagan
Type Reconstruction for General Refinement Types. ESOP (2007)