John H. Kastner

According to our database, John H. Kastner authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

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

Proc. ACM Program. Lang., 2024

Visualizing multilayer spatiotemporal epidemiological data with animated geocircles.

Brian D. Ondov, Harsh B. Patel, Ai-Te Kuo, John H. Kastner, Yunheng Han, Hong Wei, Niklas Elmqvist, Hanan Samet

J. Am. Medical Informatics Assoc., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

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

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2022

C to checked C by 3c.

Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

Proc. ACM Program. Lang., 2022

CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles.

Brian D. Ondov, Harsh B. Patel, Ai-Te Kuo, Hanan Samet, John H. Kastner, Yunheng Han, Hong Wei, Niklas Elmqvist

CoRR, 2022

2020

Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map.

Anis Abboud, John H. Kastner, Hanan Samet

CoRR, 2020

Viewing the Progression of the Novel Corona Virus (COVID-19) with NewsStand.

John H. Kastner, Hong Wei, Hanan Samet

CoRR, 2020

Using Animation to Visualize Spatio-Temporal Varying COVID-19 Data.

Hanan Samet, Yunheng Han, John H. Kastner, Hong Wei

Proceedings of the COVID-19: Proceedings of the 1st ACM SIGSPATIAL International Workshop on Modeling and Understanding the Spread of COVID-19, 2020

Visualizing SpatioTemporal Keyword Trends in Online News Articles.

John H. Kastner, Hanan Samet

Proceedings of the SIGSPATIAL '20: 28th International Conference on Advances in Geographic Information Systems, 2020