Publications (66)
YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts
Timothy McPhillips, Tianhong Song, Tyler Kolisnik +17
Scientific workflow management systems offer features for composing complex computational pipelines from modular building blocks, for executing the resulting automated workflows, a…
Database Queries that Explain their Work
James Cheney, Amal Ahmed, Umut A. Acar
Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to c…
A baseline for unsupervised advanced persistent threat detection in system-level provenance
Ghita Berrada, Sidahmed Benabderrahmane, James Cheney +4
Advanced persistent threats (APT) are stealthy, sophisticated, and unpredictable cyberattacks that can steal intellectual property, damage critical infrastructure, or cause million…
A Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Simon Fowler +1
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequen…
Comprehending nulls
James Cheney, Wilmer Ricciotti
The Nested Relational Calculus (NRC) has been an influential high-level query language, providing power and flexibility while still allowing translation to standard SQL queries. It…
Mechanizing the Metatheory of LF
Christian Urban, James Cheney, Stefan Berghofer
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as pr…