Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Journeys in World Politics, March 9th-11th, 2006 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Mar. 9 6:30-8:30 p.m. Dinner at Sh

Source URL: www.saramitchell.org

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms Steven Gay ∗, Pierre Schaus ∗, Stefano Vissicchio † ∗ Universite catholique de Louvain, † University College London

Source URL: arxiv.org

• Computing
• Mathematics
• Mathematical software
• Routing
• Internet architecture
• Emerging technologies
• Network architecture
• Load balancing
• Open Shortest Path First
• Computer network
• Solver
• Network topology

Language-Based Isolation of Untrusted JavaScript Sergio Maffeis Department of Computing Imperial College London London, UK Email:

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Scripting languages
• Ajax
• JavaScript
• Web programming
• Scope
• Closure
• Prototype JavaScript Framework
• Eval

The Movement of Air, the Breath of Meaning: Aurality and Multimodal Composing Author(s): Cynthia L. Selfe Source: College Composition and Communication, Vol. 60, No. 4 (JUNE 2009), ppPublished by: National Coun

Source URL: www.dmacinstitute.com

• Visual arts
• Academic publishing
• Andrew W. Mellon Foundation
• JSTOR
• Style
• Publishing
• Aesthetics

A Scalable Smart Contracts Platform ! Shehar Bano ! Postdoc, InfoSec group! University College London!

Source URL: sheharbano.com

• Cryptocurrencies
• Blockchains
• Computing
• Ethereum
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bitcoin
• Smart contract
• Scalability
• University College London

Graphene: A New Protocol for Block Propagation Using Set Reconciliation A. Pinar Ozisik† , Gavin Andresen, George Bissias† , Amir Houmansadr† , Brian Levine† †College of Information and Computer Sciences, Univ.

Source URL: people.cs.umass.edu

• Cryptocurrencies
• Bitcoin
• Computing
• Alternative currencies
• Emerging technologies
• Decentralization
• Economy
• Money
• Blockchain
• Bloom filter
• Graphene
• Potential applications of graphene

What Happens After You Are Pwnd: Understanding the Use of Leaked Webmail Credentials in the Wild Jeremiah Onaolapo, Enrico Mariconti, and Gianluca Stringhini University College London {j.onaolapo, e.mariconti, g.stringhi

Source URL: jonaolapo.github.io

• Computing
• Webmail
• Cybercrime
• Software
• Fraud
• Spamming
• Gmail
• Phishing
• The Spamhaus Project
• Identity theft
• Yahoo! Mail
• Botnet

Transparency Overlays and Applications Melissa Chase (Microsoft Research Redmond) Sarah Meiklejohn (University College London) (icons by parkjisun from noun project)

Source URL: smeiklej.com