Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

Source URL: www.cs.utah.edu

• Discworld
• Literature
• Fiction
• Angua
• Ankh-Morpork
• Troll
• Discworld books
• PICT
• Brutha
• Ankh-Morpork City Watch

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

On the Security of Elliptic Curve Cryptosystems against Attacks with Special-Purpose Hardware Tim G¨ uneysu, Christof Paar, Jan Pelzl Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {gueneysu,cp

Source URL: www.hyperelliptic.org

• Cryptography
• Abstract algebra
• Algebra
• Finite fields
• Elliptic curve cryptography
• Computational hardness assumptions
• Group theory
• Public-key cryptography
• Elliptic-curve cryptography
• Elliptic curve
• Key size
• Discrete logarithm

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Software engineering
• Theoretical computer science
• Formal methods
• Computing
• Computer science
• Computer security
• Model checking
• Verification
• Formal verification
• Carnegie Mellon University
• Proof-carrying code
• Software Engineering Institute

GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann

Source URL: nlp.stanford.edu

• Algebra
• Mathematics
• Computational linguistics
• Linear algebra
• Natural language processing
• Artificial neural networks
• Machine learning
• Word2vec
• Word embedding
• Latent semantic analysis
• Vector space model
• GloVe

Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea

Source URL: www.cs.toronto.edu

• Estimation theory
• Econometrics
• Statistical inference
• M-estimators
• Loss function
• Maximum likelihood estimation
• Confidence interval

Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden

Source URL: user.it.uu.se

• Computer programming
• Declarative programming
• Theoretical computer science
• Logic in computer science
• Cryptography
• Satellite broadcasting
• Scrambler
• Telecommunications equipment
• Satisfiability modulo theories
• Scrambling
• Monad
• Benchmark