Author

Andy Gordon

13 papers · 1995–2026

1995peak 3 in 20082026

Frequent co-authors

Papers

showing 1–13 of 13 RSS

Differentially Private Bayesian Programming

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi +4 more

cs.PL · May 2016 · cited 23× · arXiv ↗ · more like this ·

We present PrivInfer, an expressive framework for writing and verifying differentially private Bayesian machine learning algorithms. Programs in PrivInfer are written in a rich functional probabilistic programming language with constructs for performing Bayesian inference. Then, differential privacy of programs is established using a relational refinement type system, in which refinements on probability types are indexed by a metric on distributions. Our framework leverages recent developments in Bayesian inference, probabilistic programming languages, and in relational refinement types. We demonstrate the expressiveness of PrivInfer by verifying privacy for several examples of private Bayesian inference.

How do people learn to use spreadsheets? (Work in progress)

Advait Sarkar, Andy Gordon

Software · September 2018 · cited 6× · OpenAlex ↗ · more like this ·

How can we help users discover and learn spreadsheet features? In this work-in-progress report, we present findings from semi-structured interviews with seven participants, which asked questions on the themes of learning and adopting spreadsheet features. We find that feature adoption in spreadsheets is informal, opportunistic, and social. There appear to be three components to feature adoption: discovery,expertise acquisition, and attention investment. Users fall on a spectrum of intrinsic motivation for learning. We close with a few reflections on how features might be designed with adoption in mind.

Monadic I/O in Haskell 1.3

Andy Gordon, Kevin Hammond

Artificial Intelligence · 1995 · cited 5× · OpenAlex ↗ · more like this ·

We describe the design and use of monadic I/O in Haskell 1.3, the latest revision of the lazy functional programming language Haskell. Haskell 1.3 standardises the monadic I/O mechanisms now available in many Haskell systems. The new facilities allow more sophisticated text-based application programs to be written portably in Haskell. Apart from the use of monads, the main advances over standard Haskell 1.2 are: character I/O based on handles (analogous to ANSI C file pointers), an error handling mechanism, terminal interrupt handling and a POSIX interface. The standard also provides implementors with a flexible framework for extending Haskell to incorporate new language features. In addition to a tutorial description of the new facilities this paper includes a worked example: a monad for combinator parsing which is based on the standard I/O monad. 1 Introduction Haskell 1.3 improves on…

Wiki2row – the In’s and Out’s or Row Suggestion with a Large Scale Knowledge Base

Alperen Karaoglu, Carina Negreanu, Shuang Chen +4 more

Artificial Intelligence · October 2020 · cited 2× · OpenAlex ↗ · more like this ·

Row suggestion, a generalization of set expansion, is the task of augmenting a given table of text and numbers with additional, relevant rows. A viable approach is to generate trustworthy suggestions by grounding candidates in a verifiable source and in our work we focus on knowledge bases, in particular on Wikidata. Our pipeline begins by linking existing rows and columns to entities and properties. The primary focus of this work is to improve candidate generation and ranking without requiring in-domain training or fine-tuning. Our novel contributions are to account for semantic information by using BigGraph embeddings and GPT-3 free text generation, and tabular information by differentiating between in-table properties (explicit in given columns) and out-of-table properties (implicit from the knowledge base). Measured on the WikiTables benchmark, our solution exceeds or achieves…

Environmental Impacts of the Border Wall

David Roche, Dan Mills, Andy Gordon +2 more

Political Science and International Relations · eYLS (Yale Law School) · 2017 · cited 2× · OpenAlex ↗ · more like this ·

On January 25, 2017, during his first week in office, President Donald Trump signed an Executive Order calling for the “immediate construction of a physical wall on the southern border” of the United States . Such a wall would span more than one thousand miles, across many different habitats and many different communities . Before a wall will be built, numerous questions must be answered: Which environmental laws apply? How might all this work? On February 16, ELI convened experts to discuss how environmental law and policy may interact with the Executive Order, and to spark discussion about important environmental resources and communities along the border . Below, we present a transcript of the event, which has been edited for style, clarity, and space considerations .

Secrecy and Group Creation

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Computer Networks and Communications · Electronic Notes in Theoretical Computer Science · March 2001 · cited 2× · DOI ↗ · more like this ·

We add an operation of group creation to the typed pi-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain communications, and can block the accidental or malicious leakage of secrets. We adapt a notion of secrecy introduced by Abadi, and prove a preservation of secrecy property. When applied to the ambient calculus, the same notion of group creation can be used to create and preserve shared secrets among mobile agents.

Getting Operations Logic Right: Types, Service-Orientation, and Static Analysis

Karthik Bhargavan, Andy Gordon

Computer Networks and Communications · 12 May 2008 · cited 1× · OpenAlex ↗ · more like this ·

The human operators of datacentres work from a manual, sometimes known as the run book, that lists how to perform operating procedures such as the provisioning, deployment, monitoring, and upgrading of servers. To improve failure and recovery rates, it is attractive to replace human intervention by software, known as operations logic, that automates such operating procedures. We advocate a declarative programming model for operations logic, and the use of static analysis to detect programming errors, such as the potential for misconfiguration. 1. Background: The Datacentre is the Computer A datacentre is some housing (typically a room or a building) that physically contains a cluster of commodity servers, and provides them with power, cooling, and networking. Datacentres are the computers that run applications such as websites (search and mail

Probation Passed

Supervisors Andy Gordon (msr

Artificial Intelligence · 20 Jan 2016 · cited 0× · OpenAlex ↗ · more like this ·

Directly verifying security protocol code could help prevent major security flaws in communication systems. C is usually used when implementing security soft-ware (e.g. OpenSSL, cryptlib, PolarSSL...) because it provides control over side-channels, performance, and portability all at once, along with being easy

Proceedings of the workshop on "The Rise and Rise of the Declarative Datacentre"

Tim Harris, Karthik Bhargavan, Andy Gordon

Information Systems · Parasitology Research · May 2008 · cited 0× · DOI ↗ · more like this ·

Enolase, a multifunctional protein, is shown to act as a plasminogen receptor that contributes to fibrinolysis, which plays an important role in preventing the formation of blood clots during tick feeding. The study of enolase genes provides opportunities to develop a potential antigen target for tick control. So far, enolase has been identified in only a few species of ticks. Knowledge of the exact mechanisms of plasminogen activation and fibrinolysis by enolase as a plasminogen receptor is limited. Here, we cloned the enolase full-length complementary DNA (cDNA) from the salivary glands of Haemaphysalis flava, expressed it, and analyzed the function of the recombinant H. flava enolase. The enolase cDNA was 1988 bp in length and encoded 433 amino acid residues. It contained two domains and some highly conserved functional motifs including an assumed membrane re-association region…

On the Simon-Spencer theorem

Andy Gordon, Joseph Holt, Ари Лаптев +1 more

Mathematical Physics · The scientific electronic library of periodicals of the National Academy of Sciences of Ukraine (National Academy of Sciences of Ukraine) · 2008 · cited 0× · OpenAlex ↗ · more like this ·

This paper presents a generalization of the classical result by B. Simon and T. Spencer on the absence of absolutely continuous spectrum for the continuous one-dimensional Schr odinger operator with an unbounded potential.

Name Groups and Group Creation: Semantics and Applications

Luca Cardelli, Silvano Dal Zilio, Giorgio Ghelli +2 more

Artificial Intelligence · April 2000 · cited 0× · OpenAlex ↗ · more like this ·

Just as the new-name construct of the p-calculus models dynamic generation of values, a new-group construct models dynamic generation of types, as in, for instance, Tofte and Talpin’s region-based memory management.

When the smoke clears : Arizona's proposition 200 : tobacco tax experience and what it teaches us for spending the settlement

Bowers Supervisor, Jan Brewer, Maricopa County +9 more

Computer Networks and Communications · Arizona State University Library Digital Repository (Arizona State University) · 2000 · cited 0× · OpenAlex ↗ · more like this ·

abstract: Despite several early attempts in the Arizona Legislature to modify the framework for where the newly-passed Proposition 200 money would go, the four accounts established in the original voter-approved Tobacco Tax and Health Care Act have been maintained as intended since 1995. However, large sums of Proposition 200 revenue â on average $90 million annually â have gone unallocated and unspent by the Legislature

Bug Finding With Agentic Symbolic Execution

George Granberry, Wolfgang Ahrendt, Andy Gordon +1 more

cs.SE · 11 Nov 2026 · arXiv ↗ · more like this ·

Symbolic execution, in tools such as CrossHair for Python, is a powerful technique for finding bugs, but two barriers hinder its adoption: the human effort of annotating code with assertions, and the need to model the execution environment outside Python, such as an external database. To overcome both, we design an agentic harness that orchestrates the symbolic execution tool CrossHair together with an AI coding agent. Without human intervention, it instruments a repository with assertions, synthesizes a constraint-aware symbolic environment for the database, runs symbolic execution, and constructs a concrete test as evidence for each bug it reports. We evaluate our harness on 1,156,044 lines of Python code over 11 popular open-source Python web applications (Zulip, NetBox, Apache Superset, and others). With the synthesized environment, CrossHair executes 81% of the 5,406 contracted…