Type Reconstruction for General Refinement Types. - Kenneth L. Knowles; Cormac Flanagan (ESOP, 2007)

Compositional reasoning and decidable checking for dependent contract types. - Kenneth L. Knowles; Cormac Flanagan (PLPV, 2009)

Hybrid type checking. - Kenneth L. Knowles; Cormac Flanagan (ACM Trans. Program. Lang. Syst., 2010)

Executable Refinement Types. - Kenneth L. Knowles (CoRR, 2014)

Executable Refinement Types. - Kenneth L. Knowles (2014)

Faceted Dynamic Information Flow via Control and Data Monads. - Thomas Schmitz 001; Dustin Rhodes; Thomas H. Austin; Kenneth L. Knowles; Cormac Flanagan (POST, 2016)

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 (SIGMOD Conference, 2019)

One SQL to Rule Them All. - Edmon Begoli; Tyler Akidau; Fabian Hueske; Julian Hyde; Kathryn Knight; Kenneth L. Knowles (CoRR, 2019)

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)