John Kastner
YOU?
Author Swipe
View article: Visualizing multilayer spatiotemporal epidemiological data with animated geocircles
Visualizing multilayer spatiotemporal epidemiological data with animated geocircles Open
Objective The COVID-19 pandemic emphasized the value of geospatial visual analytics for both epidemiologists and the general public. However, systems struggled to encode temporal and geospatial trends of multiple, potentially interacting v…
View article: How We Built Cedar: A Verification-Guided Approach
How We Built Cedar: A Verification-Guided Approach Open
This paper presents verification-guided development (VGD), a software engineering process we used to build Cedar, a new policy language for expressive, fast, safe, and analyzable authorization. Developing a system with VGD involves writing…
View article: Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization Open
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application’s code, developers can write that logic as Cedar policies and delegate access decisi…
View article: Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) Open
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can write that logic as Cedar policies and delegate access decisi…
View article: CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles
CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles Open
While many dashboards for visualizing COVID-19 data exist, most separate geospatial and temporal data into discrete visualizations or tables. Further, the common use of choropleth maps or space-filling map overlays supports only a single g…
View article: C to checked C by 3c
C to checked C by 3c Open
Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one of today's most dangerous and prevalent security vulnerabilities. To combat these violations, Checked C extends C with bound…
View article: Equal Area Breaks: A Classification Scheme for Data to Obtain an\n Evenly-colored Choropleth Map
Equal Area Breaks: A Classification Scheme for Data to Obtain an\n Evenly-colored Choropleth Map Open
An efficient algorithm for computing the choropleth map classification scheme\nknown as equal area breaks or geographical quantiles is introduced. An equal\narea breaks classification aims to obtain a coloring for the map such that the\nar…
View article: Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map
Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map Open
An efficient algorithm for computing the choropleth map classification scheme known as equal area breaks or geographical quantiles is introduced. An equal area breaks classification aims to obtain a coloring for the map such that the area …
View article: NewsStand CoronaViz: A Map Query Interface for Spatio-Temporal and Spatio-Textual Monitoring of Disease Spread
NewsStand CoronaViz: A Map Query Interface for Spatio-Temporal and Spatio-Textual Monitoring of Disease Spread Open
With the rapid continuing spread of COVID-19, it is clearly important to be able to track the progress of the virus over time in order to be better prepared to anticipate its emergence and spread in new regions as well as declines in its p…