| C to Checked C by 3C A Machiry, J Kastner, M McCutchen, A Eline, K Headley, M Hicks Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 30 | 2022 |
| Using animation to visualize spatio-temporal varying COVID-19 data H Samet, Y Han, J Kastner, H Wei Proceedings of the 1st ACM SIGSPATIAL International Workshop on Modeling and …, 2020 | 28 | 2020 |
| Cedar: A new language for expressive, fast, safe, and analyzable authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 27 | 2024 |
| NewsStand CoronaViz: A Map Query Interface for Spatio-Temporal and Spatio-Textual Monitoring of Disease Spread J Kastner, H Samet, H Wei arXiv preprint arXiv:2003.00107, 2020 | 10* | 2020 |
| Visualizing SpatioTemporal Keyword Trends in Online News Articles JH Kastner, H Samet 28th ACM SIGSPATIAL International Conference on Advances in Geographic …, 2020 | 5 | 2020 |
| Authorization policy validation MW Hicks, JH Kastner, E Torlak, RM McCUTCHEN, D MCADAMS, ... US Patent 12,261,888, 2025 | 4 | 2025 |
| How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 4 | 2024 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 3 | 2024 |
| Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map A Abboud, J Kastner, H Samet arXiv preprint arXiv:2005.01653, 2020 | 2 | 2020 |
| Visualizing multilayer spatiotemporal epidemiological data with animated geocircles B Ondov, HB Patel, AT Kuo, J Kastner, Y Han, H Wei, N Elmqvist, H Samet Journal of the American Medical Informatics Association 31 (11), 2507-2518, 2024 | 1 | 2024 |
| Pointer constraint modeling through a multigraph MW Hicks, JH Kastner, AJ Eline US Patent App. 17/159,045, 2022 | 1 | 2022 |
| Authorization policy evaluation E Torlak, D MCADAMS, N Rungta, MW Hicks, CR DISSELKOEN, AJ Eline, ... US Patent 12,483,595, 2025 | | 2025 |
| Cedar: An Expressive, Fast, Safe, and Analyzable Authorization Language for Modern Distributed Systems [Keynote Abstract] J Kastner Proceedings of the 30th ACM Symposium on Access Control Models and …, 2025 | | 2025 |
| CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles B Ondov, HB Patel, AT Kuo, H Samet, J Kastner, Y Han, H Wei, N Elmqvist arXiv preprint arXiv:2211.05823, 2022 | | 2022 |
