Kevin Sookocheff sookocheff.com

Getting Started With TLA+

sookocheff.com·473w

Basic Math for TLA+

sookocheff.com·473w

First Musings on TLA+

sookocheff.com·473w

Paper Review: WebTables: Exploring the Power of Tables on the Web

sookocheff.com·476w

Paper Review: Combining Systems and Databases: A Search Engine Retrospective

sookocheff.com·477w

Publish-Subscribe Messaging Using Amazon SQS

sookocheff.com·477w

Paper Review: The Anatomy of a Large-Scale Hypertextual Web Search Engine

sookocheff.com·477w

Paper Review: Consistency Analysis in Bloom: a CALM and Collected Approach

sookocheff.com·477w

SQS or Kinesis? Comparing Apples to Oranges

sookocheff.com·477w

Software Architecture as Business Analysis

sookocheff.com·478w

Paper Review: The CQL continuous query language: semantic foundations and query execution

sookocheff.com·478w

Paper Review: BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data

sookocheff.com·480w

Paper Review: Informix under CONTROL: Online Query Processing

sookocheff.com·480w

How Much is That Going to Cost Anyway? Calculating Cost of Goods Sold

sookocheff.com·481w

Paper Review: An Array-Based Algorithm for Simultaneous Multidimensional Aggregates

sookocheff.com·482w

Italics in Vim

sookocheff.com·482w

Comparing Swagger with Thrift or gRPC

sookocheff.com·483w

Being Good Enough

sookocheff.com·484w

Yet Another S3 Static Site

sookocheff.com·486w

Packaging a Custom Boomi Connector

sookocheff.com·486w

Log in to enable infinite scrolling