John H. Kastner

13 papers C 1Journal 9Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Cedar: An Expressive, Fast, Safe, and Analyzable Authorization Language for Modern Distributed Systems [Keynote Abstract]. SACMAT John H. Kastner
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR 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
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 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
2024	—	`conf`	How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion 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
2024	J	`jnl`	How We Built Cedar: A Verification-Guided Approach. CoRR 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
2024	J	`jnl`	Visualizing multilayer spatiotemporal epidemiological data with animated geocircles. J. Am. Medical Informatics Assoc. Brian D. Ondov, Harsh B. Patel, Ai-Te Kuo, John H. Kastner, Yunheng Han, Hong Wei, Niklas Elmqvist, Hanan Samet
2022	J	`jnl`	C to Checked C by 3C. CoRR Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022	J	`jnl`	C to checked C by 3c. Proc. ACM Program. Lang. Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022	J	`jnl`	CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles. CoRR Brian D. Ondov, Harsh B. Patel, Ai-Te Kuo, Hanan Samet, John H. Kastner, Yunheng Han, Hong Wei, Niklas Elmqvist
2020	J	`jnl`	Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map. CoRR Anis Abboud, John H. Kastner, Hanan Samet
2020	—	`conf`	Using Animation to Visualize Spatio-Temporal Varying COVID-19 Data. COVID@SIGSPATIAL Hanan Samet, Yunheng Han, John H. Kastner, Hong Wei
2020	J	`jnl`	Viewing the Progression of the Novel Corona Virus (COVID-19) with NewsStand. CoRR John H. Kastner, Hong Wei, Hanan Samet
2020	—	`conf`	Visualizing SpatioTemporal Keyword Trends in Online News Articles. SIGSPATIAL/GIS John H. Kastner, Hanan Samet