John H. Kastner

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Conceptual Graphs

Computer Viruses

Highly Expressive

Learning From Positive Data

Top Venues

Proc. ACM Program. Lang.

SIGSOFT FSE Companion

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Brian D. Ondov, Harsh B. Patel, Ai-Te Kuo, Hanan Samet, John H. Kastner, Yunheng Han, Hong Wei, Niklas Elmqvist
CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles. CoRR (2022)
Hanan Samet, Yunheng Han, John H. Kastner, Hong Wei
Using Animation to Visualize Spatio-Temporal Varying COVID-19 Data. COVID@SIGSPATIAL (2020)
John H. Kastner, Hanan Samet
Visualizing SpatioTemporal Keyword Trends in Online News Articles. SIGSPATIAL/GIS (2020)
John H. Kastner, Hong Wei, Hanan Samet
Viewing the Progression of the Novel Corona Virus (COVID-19) with NewsStand. CoRR (2020)
Anis Abboud, John H. Kastner, Hanan Samet
Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map. CoRR (2020)