James Laird

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 20

Top Topics

Deception Detection

Financial Services

Linguistic Features

Relational Models

Top Venues

Publications

Nikesh Bajaj, Marvin Rajwadi, Tracy Goodluck Constance, Julie A. Wall, Mansour Moniri, Thea Laird, Chris Woodruff, James Laird, Cornelius Glackin, Nigel Cannings
Deception detection in conversations using the proximity of linguistic markers. Knowl. Based Syst. 267 (2023)
James Laird
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism. FSCD (2023)
Roman Shrestha, Cornelius Glackin, Julie A. Wall, Nigel Cannings, Marvin Rajwadi, Satya Kada, James Laird, Thea Laird, Chris Woodruff
Speaker Recognition using Multiple X-Vector Speaker Representations with Two-Stage Clustering and Outlier Detection Refinement. DASC/PiCom/CBDCom/CyberSciTech (2022)
James Laird
Revisiting Decidable Bounded Quantification, via Dinaturality. CoRR (2022)
James Laird
A Compositional Cost Model for the λ-calculus. LICS (2021)
Tracy Goodluck Constance, Nikesh Bajaj, Marvin Rajwadi, Harry Maltby, Julie A. Wall, Mansour Moniri, Chris Woodruff, Thea Laird, James Laird, Cornelius Glackin, Nigel Cannings
Resolving Ambiguity in Hedge Detection by Automatic Generation of Linguistic Rules. ICANN (5) (2021)
James Laird
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism. Log. Methods Comput. Sci. 17 (4) (2021)
James Laird
Weighted models for higher-order computation. Inf. Comput. 275 (2020)
James Laird
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. FoSSaCS (2020)
Nikesh Bajaj, Tracy Goodluck Constance, Marvin Rajwadi, Julie A. Wall, Mansour Moniri, Cornelius Glackin, Nigel Cannings, Chris Woodruff, James Laird
Fraud detection in telephone conversations for financial services using linguistic features. CoRR (2019)
William John Gowers, James Laird
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. CoRR (2017)
James Laird
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects. Ann. Pure Appl. Log. 168 (2) (2017)
James Laird
From Qualitative to Quantitative Semantics - By Change of Base. FoSSaCS (2017)
James Laird
Intensional and Extensional Semantics of Bounded and Unbounded Nondeterminism. CoRR (2017)
William John Gowers, James Laird
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. CALCO (2017)
James Laird
Fixed Points In Quantitative Semantics. LICS (2016)
James Laird
Weighted Relational Models for Mobility. FSCD (2016)
James Laird
Polymorphic Game Semantics for Dynamic Binding. CSL (2016)
James Laird
Game Semantics for Bounded Polymorphism. FoSSaCS (2016)
James Laird
Sequential Algorithms for Unbounded Nondeterminism. MFPS (2015)
James Laird
Combining and Relating Control Effects and their Semantics. COS (2013)
James Laird
Game semantics for a polymorphic programming language. J. ACM 60 (4) (2013)
Martin Churchill, James Laird, Guy McCusker
Imperative Programs as Proofs via Game Semantics. LICS (2011)
Martin Churchill, James Laird
A Logic of Sequentiality. CSL (2010)
James Laird
Game Semantics for a Polymorphic Programming Language. LICS (2010)
James Laird
Game Semantics for Call-by-Value Polymorphism. ICALP (2) (2010)
Martin Churchill, James Laird, Guy McCusker
A Concrete Representation of Observational Equivalence for PCF CoRR (2010)
James Laird
Nondeterminism and Observable Sequentiality. CSL (2009)
James Laird
Decidability and syntactic control of interference. Theor. Comput. Sci. 394 (1-2) (2008)
James Laird
A game semantics of names and pointers. Ann. Pure Appl. Log. 151 (2-3) (2008)
James Laird
A Fully Abstract Trace Semantics for General References. ICALP (2007)
James Laird
On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF. Fundam. Informaticae 77 (4) (2007)
James Laird
Bistable Biorders: A Sequential Domain Theory CoRR (2007)
James Laird
Bistable Biorders: A Sequential Domain Theory. Log. Methods Comput. Sci. 3 (2) (2007)
James Laird
Sequentiality and the CPS Semantics of Fresh Names. MFPS (2007)
James Laird
Game Semantics for Higher-Order Concurrency. FSTTCS (2006)
James Laird
Bidomains and Full Abstraction for Countable Nondeterminism. FoSSaCS (2006)
James Laird
Locally Boolean domains. Theor. Comput. Sci. 342 (1) (2005)
James Laird
The Elimination of Nesting in SPCF. TLCA (2005)
James Laird
Decidability in Syntactic Control of Interference. ICALP (2005)
James Laird
A game semantics of the asynchronous pi-calculus and its dual. GALOP@ETAPS (2005)
James Laird
A Game Semantics of Local Names and Good Variables. FoSSaCS (2004)
James Laird
A Calculus of Coroutines. ICALP (2004)
James Laird
Bistability: An Extensional Characterization of Sequentiality. CSL (2003)
James Laird
. TLCA (2003)
James Laird
A Game Semantics of Linearly Used Continuations. FoSSaCS (2003)
James Laird
A Categorical Semantics of Higher Order Store. CTCS (2002)
James Laird
Exceptions, Continuations and Macro-expressiveness. ESOP (2002)
James Laird
A Fully Abstract Game Semantics of Local Exceptions. LICS (2001)
James Laird
A Deconstruction of Non-deterministic Classical Cut Elimination. TLCA (2001)
James Laird
A Game Semantics of Idealized CSP. MFPS (2001)
James Laird
Finite Models and Full Completeness. CSL (2000)
James Laird
Full Abstraction for Functional Languages with Control. LICS (1997)