James Kirby

14 papers A* 2A 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analyzing the relationships between pretraining language, phonetic, tonal, and speaker information in self-supervised speech models.
CoRR
Michele Gubian, Ioana Krehan, Oli Danyi Liu, James Kirby, Sharon Goldwater
2024 J jnl
Actuation without production bias.
CoRR
James Kirby, Morgan Sonderegger
2022 J jnl
Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC).
IEEE Trans. Dependable Secur. Comput.
Ankur Chowdhary, Abdulhakim Sabur, Dijiang Huang, Myong H. Kang, James Kirby
2018 — conf
Inducing a lexicon of sociolinguistic variables from code-mixed text.
NUT@EMNLP
Philippa Shoemark, James Kirby, Sharon Goldwater
2016 — conf
Towards robust cross-linguistic comparisons of phonological networks.
SIGMORPHON
Philippa Shoemark, Sharon Goldwater, James Kirby, Rik Sarkar
2013 — conf
Moving Toward Evidence-Based Software Production.
Perspectives on the Future of Software Engineering
David M. Weiss, James Kirby, Robyn R. Lutz
2012 A conf
Separation virtual machine monitors.
ACSAC
John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
2012 — conf
The Xenon separation VMM: Secure virtualization infrastructure for military clouds.
MILCOM
John P. McDermott, Bruce E. Montrose, Margery Li, James Kirby, Myong H. Kang
2008 J jnl
Re-engineering Xen internals for higher-assurance security.
Inf. Secur. Tech. Rep.
John P. McDermott, James Kirby, Bruce E. Montrose, Travis Johnson, Myong H. Kang
1999 A conf
SCR: A Practical Approach to Building a High Assurance COMSEC System.
ACSAC
James Kirby, Myla Archer, Constance L. Heitmeyer
1998 — conf
Applying the SCR requirements method to a weapons control panel: an experience report.
FMSP
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
1998 A* conf
SCR*: A Toolset for Specifying and Analyzing Software Requirements.
CAV
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
1998 J jnl
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
IEEE Trans. Software Eng.
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
1997 A* conf
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
ICSE
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw