researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

andrewdgordon

Statistics

Publications: 102
Edited: 3

Aliases

A. D. Gordon
Gordon
Andy Gordon
Andrew D. Gordon
Gordon, A. D.
Andrew Gordon
Gordon, Andrew D.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Andrew D. Gordon's Profile

Publications

Unidentified Publications

Publications with a 'Andrew D. Gordon' as author, editor, or advisor:

Champollion, the EgyptianGordon, Agnès Molina. siggraph 2023: [doi]
LinkingPark: An Integrated Approach for Semantic Table InterpretationShuang Chen 0003, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-ge Yao, Jack Williams 0001, Andy Gordon, Chin-Yew Lin. semweb 2020: 65-74 [doi]
Differentially Private Bayesian ProgrammingGilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub. ccs 2016: 68-79 [doi]
Maintaining Database Integrity with Refinement TypesIoannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon. ECOOP 2011: 484-509 [doi]
Measure Transformer Semantics for Bayesian Machine LearningJohannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael. ESOP 2011: 77-96 [doi]
More Semantics More Robust: Improving Android Malware ClassifiersWei Chen, David Aspinall, Andrew D. Gordon, Charles A. Sutton, Igor Muttik. wisec 2016: 147-158 [doi]
End-User Probabilistic ProgrammingJudith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto. qest 2019: 3-24 [doi]
Robin Milner 1934--2010: verification, languages, and concurrencyAndrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell. POPL 2011: 473-474 [doi]
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsFrançois Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann. csfw 2011: 3-17 [doi]
Calculation View: multiple-representation editing in spreadsheetsAdvait Sarkar, Andrew D. Gordon, Simon L. Peyton Jones, Neil Toronto. vl 2018: 85-93 [doi]
A Tutorial on Co-induction and Functional ProgrammingAndrew D. Gordon. 1995: 78-95 [doi]
Spreadsheet Comprehension: Guesswork, Giving Up and Going Back to the AuthorSruti Srinivasa Ragavan, Advait Sarkar, Andrew D. Gordon. CHI 2021: [doi]
Factoring an Adequacy Proof (Preliminary Report)Roy L. Crole, Andrew D. Gordon. 1994: 9-25 [doi]
A Declarative Approach to Automated ConfigurationJohn A. Hewson, Paul Anderson, Andrew D. Gordon. lisa 2012: 51-66 [doi]
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministicMaria I. Gorinova, Andrew D. Gordon, Charles A. Sutton. PACMPL, 3, 2019. [doi]
Gridlets: Reusing Spreadsheet GridsNima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams. CHI 2020: 1-7 [doi]
Principles and Applications of Refinement TypesAndrew D. Gordon, Cédric Fournet. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 73-104, IOS Press, 2010. [doi]
Probabilistic programmingAndrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani. ICSE 2014: 167-181 [doi]
Verifying Cryptographic Code in C: Some Experience and the Csec ChallengeMihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens. ifip1-7 2012: 1-20 [doi]
Towards a Verified Reference Implementation of a Trusted Platform ModuleAybek Mukhamedov, Andrew D. Gordon, Mark Ryan. spw 2013: 69-81 [doi]
Guiding a general-purpose C verifier to prove cryptographic protocolsFrançois Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann. jcs, 22(5):823-866, 2014. [doi]
Higher-Order Spreadsheets with Spilled ArraysJack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar. ESOP 2020: 743-769 [doi]
Practical probabilistic programming with monadsAdam Scibior, Zoubin Ghahramani, Andrew D. Gordon. haskell 2015: 165-176 [doi]
Cryptographic Verification by Typing for a Sample Protocol ImplementationCédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon. fosad 2011: 66-100 [doi]
A lambda-calculus foundation for universal probabilistic programmingJohannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak. ICFP 2016: 33-46 [doi]
Deriving Probability Density Functions from Probabilistic Functional ProgramsSooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo. lmcs, 13(2), 2017. [doi]
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver. dagstuhl-reports, 5(4):123-141, 2015. [doi]
Refinement types for secure implementationsJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis. TOPLAS, 33(2):8, 2011. [doi]
Constraint-Based Autonomic ReconfigurationJohn A. Hewson, Paul Anderson, Andrew D. Gordon. saso 2013: 101-110 [doi]
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arraysMatt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar. JFP, 30, 2020. [doi]
Extracting and verifying cryptographic models from C protocol code by symbolic executionMihhail Aizatulin, Andrew D. Gordon, Jan Jürjens. ccs 2011: 331-340 [doi]
Explaining Unwanted Behaviours in ContextWei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik. ESSoS 2016: 38-45 [doi]
Roles, Stacks, Histories: A Triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 71-99, Springer, 2010. [doi]
Understanding and Inferring Units in SpreadsheetsJack Williams 0001, Carina Negreanu, Andrew D. Gordon, Advait Sarkar. vl 2020: 1-9 [doi]
A model-learner pattern for bayesian reasoningAndrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo. POPL 2013: 403-416 [doi]
Bimodal Modelling of Source Code and Natural LanguageMiltos Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei. icml 2015: 2123-2132 [doi]
Spreadsheet Use and Programming Experience: An Exploratory SurveyAdvait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andrew D. Gordon, Jack Williams. CHI 2020: 1-9 [doi]
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017Giuseppe Castagna, Andrew D. Gordon, editors, ACM, 2017. [doi]
On Robust Malware Classifiers by Verifying Unwanted BehavioursWei Chen, David Aspinall, Andrew D. Gordon, Charles A. Sutton, Igor Muttik. IFM 2016: 326-341 [doi]
Semantic subtyping with an SMT solverGavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy. JFP, 22(1):31-105, 2012. [doi]
Fabular: regression formulas as probabilistic programmingJohannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak. POPL 2016: 271-283 [doi]
Where-Provenance for Bidirectional Editing in SpreadsheetsJack Williams 0001, Andrew D. Gordon. vl 2021: 1-10 [doi]
Tabular: a schema-driven probabilistic programming languageAndrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver. POPL 2014: 321-334 [doi]
Probabilistic Programs as Spreadsheet QueriesAndrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow. ESOP 2015: 1-25 [doi]
Computational verification of C protocol implementations by symbolic executionMihhail Aizatulin, Andrew D. Gordon, Jan Jürjens. ccs 2012: 712-723 [doi]
Bayesian inference using data flow analysisGuillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström. FSE 2013: 92-102 [doi]
A text-mining approach to explain unwanted behavioursWei Chen, David Aspinall, Andrew D. Gordon, Charles A. Sutton, Igor Muttik. eurosec 2016: 4 [doi]
Deriving Probability Density Functions from Probabilistic Functional ProgramsSooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo. TACAS 2013: 508-522 [doi]
Roles, stacks, histories: A triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. JFP, 21(2):159-207, 2011. [doi]
Building community broadband: Barriers and opportunities for community-based organizations in the federal BTOP and BIP broadband development programsSteven J. Jackson, Andrew Gordon. asist 2011: 1-11 [doi]
Improving Fluency in Narrative Text Generation With Grammatical Transformations and Probabilistic ParsingEmily Ahn, Fabrizio Morbini, Andrew Gordon. inlg 2016: 70-73 [doi]
Demonstrating the Rapid Integration & Development Environment (RIDE): Embodied Conversational Agent (ECA) and Multiagent CapabilitiesArno Hartholt, Ed Fast, Andrew Leeds, Kevin Kim, Andrew Gordon, Kyle McCullough, Volkan Ustun, Sharon Mozgai. atal 2022: 1902-1904 [doi]
Compaq's New Engineering Compute Farm Environment: Moving Forward With Windows NTDon Brace, Andrew Gordon, Scott Teel. lisa-nt 1998: [doi]
Understanding the links between ICT skills training and employability: an analytical frameworkMaria Garrido, Joe Sullivan, Andrew Gordon. ictd 2010: [doi]
Keeping track of 'alternative facts': The neural correlates of processing misinformation correctionsAndrew Gordon, Susanne Quadflieg, Jonathan C. W. Brooks, Ullrich K. H. Ecker, Stephan Lewandowsky. neuroimage, 193:46-56, 2019. [doi]
Natural-language Interactive Narratives in Imaginal Exposure Therapy for Obsessive-Compulsive DisorderMelissa Roemmele, Paola Mardo, Andrew Gordon. acl-clpsych 2017: 48-57 [doi]
From infomediaries to infomediation at public access venues: lessons from a 3-country studyRicardo Ramírez, Balaji Parthasarathy, Andrew Gordon. ictd 2013: 124-132 [doi]
An RNN-based Binary Classifier for the Story Cloze TestMelissa Roemmele, Sosuke Kobayashi, Naoya Inoue, Andrew Gordon. eacl 2017: 74-80 [doi]
Playable Experiences at AIIDE 2017Mike Treanor, Nicholas Warren, Mason Reed, Adam M. Smith, Pablo Ortiz, Laurel Coney, Loren Sherman, Elizabeth Carré, Nadya Vivatvisha, D. Fox Harrell, Paola Mardo, Andrew Gordon, Joris Dormans, Barrie D. Robison, Spencer Gomez, Samantha Heck, Landon Wright, Terence Soule. aiide 2017: 308 [doi]
Proceedings of the 7th International Conference on Knowledge Capture, K-CAP 2013, Banff, Canada, June 23-26, 2013V. Richard Benjamins, Mathieu d'Aquin, Andrew Gordon, editors, ACM, 2013. [doi]
A Preconditioner for Fictitious Domain Formulations of Elliptic PDEs on Uncertain Parameterized DomainsAndrew Gordon, Catherine E. Powell. juq, 2(1):622-646, 2014. [doi]
Bridging identity challenges: why and how one library plugged ORCiD into their enterpriseJames Powell, Carol Hoover, Andrew Gordon, Michelle Mittrach. lht, 37(3):625-639, 2019. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL