Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Computing
• Model checking
• Specification language
• Computer programming
• Correctness
• Formal methods
• Cognitive science

Large-scale Analysis of Counseling Conversations: An Application of Natural Language Processing to Mental Health Tim Althoff∗, Kevin Clark∗, Jure Leskovec Stanford University {althoff, kevclark, jure}@cs.stanford.edu

Source URL: www.timalthoff.com

• Conversation
• Oral communication
• Psychotherapy
• Crisis intervention
• Human behavior
• School counselor

Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Software testing
• Theoretical computer science
• Software engineering
• Satisfiability modulo theories
• Solver
• Test automation
• Fuzzing
• Application programming interface
• Model-based testing
• API testing

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

at e d Luis Ceze * Easy to ed

Source URL: unsat.cs.washington.edu

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: www0.cs.ucl.ac.uk

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

arXiv:1711.03229v1 [cs.AR] 9 NovA Dwarf-based Scalable Big Data Benchmarking Methodology Wanling Gao1,2 , Lei Wang1,2 , Jianfeng Zhan ∗1,2 , Chunjie Luo1,2 , Daoyi Zheng1,2 , Zhen Jia4 , Biwei Xie1,2 , Chen

Source URL: arxiv.org

• Computing
• Concurrent computing
• Apache Software Foundation
• Parallel computing
• Cloud infrastructure
• Apache Hadoop
• Hadoop
• Benchmark
• Vertica
• PageRank
• Speedup
• MapReduce

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Source URL: community.haskell.org

• Computer programming
• Software engineering
• Declarative programming
• Recursion
• Functional programming
• Computability theory
• Theoretical computer science
• Programming paradigms
• Algebraic data type
• Fold
• Pattern matching
• Conditional

Network Traffic Characteristics of Data Centers in the Wild Theophilus Benson∗ , Aditya Akella∗ and David A. Maltz† ∗ University of Wisconsin–Madison †

Source URL: pages.cs.wisc.edu

Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Programming languages
• Object-oriented programming languages
• Functional programming
• Procedural programming languages
• Subroutines
• Scheme
• Parameter
• Lisp
• Anonymous function