Concepedia

Kenneth Knowles

KK

6

Publications

292

Citations

6

H-Index

2006

Active since

Affiliations

University of California, Santa Cruz(Current)

Google (United States)

Oak Ridge National Laboratory

Kenneth Knowles is an author at University of California, Santa Cruz specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Engineering

Publications per year

2006–2021

6

Publications

6

Hybrid type checking

Kenneth Knowles, Cormac Flanagan · ACM Transactions on Programming Languages and Systems · 2010 · 114 citations · Full text

Engineering, Automated Reasoning, Program Analysis +14

Sage: Hybrid Checking for Flexible Specifications

Jessica Gronski, Kenneth Knowles, Aaron Tomb et al. · 2006 · 65 citations

Watermarks in stream processing systems

Tyler Akidau, Edmon Begoli, Slava Chernyak et al. · Proceedings of the VLDB Endowment · 2021 · 36 citations · Full text

Engineering, Big Data Analytics, Streaming Algorithm +20

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

Edmon Begoli, Tyler Akidau, Fabian Hueske et al. · 2019 · 33 citations · Full text

Compositional reasoning and decidable checking for dependent contract types

Kenneth Knowles, Cormac Flanagan · 2009 · 24 citations

Formal Specification, Engineering, Generic Programming +14

Rows per page

1–5 of 6