VERA: A Platform for Veracity Estimation over Web Data Mouhamadou Lamine Ba, Laure Berti-Equille, Kushal Shah, Hossam M. Hammady Qatar Computing Research Institute Hamad Bin Khalifa University Doha, Qatar

Source URL: gdac.uqam.ca

• Metaphysics
• Data management
• Computational linguistics
• Big data
• Technology forecasting
• Transaction processing
• Truth
• Data integration
• Natural language processing

Speakeasy: A Platform for Interactive Public Displays Julie A. Black1, Jason I. Hong2, Mark W. Newman3, W. Keith Edwards, Shahram Izadi, Jana Z. Sedivy, Trevor F Smith 1 Stanford University

Source URL: trevor.smith.name

• Application software
• Software
• Mathematical software
• User interfaces
• Video hardware
• Numerical linear algebra
• Speakeasy
• Display device

NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology

Source URL: mlq.me

• Computer hardware
• Computer architecture
• Computing
• Side-channel attacks
• Computer security
• X86 architecture
• Central processing unit
• Computer memory
• Spectre
• Microarchitecture
• CPU cache
• Meltdown

Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow

Source URL: zhang-sai.github.io

• Computer programming
• Object-oriented programming
• Software engineering
• GNUstep
• NeXT
• Objective-C

Cost analysis of hash collisions: will quantum computers make SHARCS obsolete? D. J. Bernstein University of Illinois at Chicago NSF ITR–

Source URL: www.hyperelliptic.org

• Theoretical computer science
• Emerging technologies
• Quantum information science
• Quantum computing
• Quantum cryptography
• Applied mathematics
• Quantum mechanics
• Quantum algorithm
• Hash function
• Quantum information
• Quantum machine learning

k-fingerprinting: a Robust Scalable Website Fingerprinting Technique Jamie Hayes University College London George Danezis

Source URL: www.homepages.ucl.ac.uk

• Fingerprinting algorithms
• Computing
• Identification
• Internet
• Secure communication
• Internet Protocol
• TCP/IP stack fingerprinting
• Fingerprint
• Transmission Control Protocol
• Tor

Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

Angelika Tsivinskaya Center for Institutional Analysis of Science & Education, European University at Saint Petersburg Introduction Results

Source URL: workshop-oc.github.io

• Bibliometrics
• Information science
• Publishing
• Academic publishing
• Citation indices
• Online databases
• College and university rankings
• Web of Science
• Scientometrics
• Citation index
• Izvestiya Vysshikh Uchebnykh Zavedenii. Radioelektronika
• Funding of science

Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University

Source URL: jafari.tamu.edu

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph