Development and evaluation of a multiplex serodiagnostic bead assay (BurkPx) for accurate melioidosis diagnosis
Settles, Erik W, Sonderegger, Derek, Shannon, Austin B, Celona, Kimberly R, Lederer, Rachel, Yi, Jinhee, Seavey, Courtney, Headley, Kyle, Mbegbu, Mimi, Harvey, Maxx, Keener, Mitch, Allender, Chris, Hornstra, Heidie, Monroy, Fernando P, Woerle, Celeste, Theobald, Vanessa, Mayo, Mark, Currie, Bart J, Keim, Paul
Published in PLoS neglected tropical diseases (08.02.2023)
Published in PLoS neglected tropical diseases (08.02.2023)
Get full text
Journal Article
Domestic canines do not display evidence of gut microbial dysbiosis in the presence of Clostridioides (Clostridium) difficile, despite cellular susceptibility to its toxins
Stone, Nathan E., Nunnally, Amalee E., Jimenez, Victor, Cope, Emily K., Sahl, Jason W., Sheridan, Krystal, Hornstra, Heidie M., Vinocur, Jacob, Settles, Erik W., Headley, Kyle C., Williamson, Charles H.D., Rideout, Jai Ram, Bolyen, Evan, Caporaso, J. Gregory, Terriquez, Joel, Monroy, Fernando P., Busch, Joseph D., Keim, Paul, Wagner, David M.
Published in Anaerobe (01.08.2019)
Published in Anaerobe (01.08.2019)
Get full text
Journal Article
C to checked C by 3c
Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael
Published in Proceedings of ACM on programming languages (29.04.2022)
Published in Proceedings of ACM on programming languages (29.04.2022)
Get full text
Journal Article
Development and evaluation of a multiplex serodiagnostic bead assay
Mayo, Mark, Allender, Chris, Mbegbu, Mimi, Yi, Jinhee, Currie, Bart J, Settles, Erik W, Lederer, Rachel, Keener, Mitch, Woerle, Celeste, Sonderegger, Derek, Hornstra, Heidie, Monroy, Fernando P, Celona, Kimberly R, Seavey, Courtney, Theobald, Vanessa, Keim, Paul, Shannon, Austin B, Headley, Kyle, Harvey, Maxx
Published in PLoS neglected tropical diseases (08.02.2023)
Get full text
Published in PLoS neglected tropical diseases (08.02.2023)
Journal Article
Development and evaluation of a multiplex serodiagnostic bead assay (BurkPx) for accurate melioidosis diagnosis
Erik W. Settles, Derek Sonderegger, Austin B. Shannon, Kimberly R. Celona, Rachel Lederer, Jinhee Yi, Courtney Seavey, Kyle Headley, Mimi Mbegbu, Maxx Harvey, Mitch Keener, Chris Allender, Heidie Hornstra, Fernando P. Monroy, Celeste Woerle, Vanessa Theobald, Mark Mayo, Bart J. Currie, Paul Keim
Published in PLoS neglected tropical diseases (01.02.2023)
Get full text
Published in PLoS neglected tropical diseases (01.02.2023)
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew M.
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
How We Built Cedar: A Verification-Guided Approach
Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew
Year of Publication 01.07.2024
Year of Publication 01.07.2024
Get full text
Journal Article
C to Checked C by 3C
Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael
Published in arXiv.org (25.03.2022)
Published in arXiv.org (25.03.2022)
Get full text
Paper
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Cutler, Joseph W, Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Year of Publication 07.03.2024
Year of Publication 07.03.2024
Get full text
Journal Article
AUTHORIZATION POLICY ANALYSIS
HICKS, Michael W, WELLS, Andrew Marshall, TORLAK, Emina, RUNGTA, Neha, HEADLEY, Kyle
Year of Publication 30.05.2024
Get full text
Year of Publication 30.05.2024
Patent
Incremental Computation with Names
Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S, Hicks, Michael, David Van Horn
Published in arXiv.org (23.03.2021)
Published in arXiv.org (23.03.2021)
Get full text
Paper
Journal Article
How We Built Cedar: A Verification-Guided Approach
Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew
Published in arXiv.org (01.07.2024)
Get full text
Published in arXiv.org (01.07.2024)
Paper
Fungi: Typed incremental computation with names
Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J
Year of Publication 20.08.2018
Year of Publication 20.08.2018
Get full text
Journal Article
AUTHORIZATION POLICY EVALUATION
WELLS, Andrew Marshall, HIETALA, Kesha Hanne, TORLAK, Emina, MCCUTCHEN, Richard Matthew, MAMAT, Anwar, KASTNER, John Holman, LOVELOCK, Julian, HICKS, Michael W, ELINE, Aaron Joseph, RUNGTA, Neha, STALZER, Mark Edward, HE, Shaobo, HEADLEY, Kyle, MCADAMS, Darin, DISSELKOEN, Craig Ryan
Year of Publication 30.05.2024
Get full text
Year of Publication 30.05.2024
Patent
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Cutler, Joseph W, Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Published in arXiv.org (08.03.2024)
Get full text
Published in arXiv.org (08.03.2024)
Paper
AUTHORIZATION POLICY VALIDATION
WELLS, Andrew Marshall, HIETALA, Kesha Hanne, TORLAK, Emina, IOANNIDIS, Eleftherios, MCCUTCHEN, Richard Matthew, MAMAT, Anwar, KASTNER, John Holman, LOVELOCK, Julian, HICKS, Michael W, CUTLER, Joseph Wallace, ELINE, Aaron Joseph, RUNGTA, Neha, STALZER, Mark Edward, HE, Shaobo, HEADLEY, Kyle, MCADAMS, Darin, DISSELKOEN, Craig Ryan
Year of Publication 06.06.2024
Get full text
Year of Publication 06.06.2024
Patent
Fungi: Typed incremental computation with names
Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J
Published in arXiv.org (20.08.2018)
Get full text
Published in arXiv.org (20.08.2018)
Paper