Formal Verification and Programming Languages

• I compute, therefore I am (buggy): methodic doubt meets multiprocessors
  
  Inspired by Descartes' methodic doubt, we systematically test manycore chips to dispel and correct common false memory ordering assumptions.
  Jade Alglave (Microsoft Research Cambridge, University College London), Luc Maranget (INRIA), Daniel Poetzl (University of Oxford), Tyler Sorensen (University College London)
• Embracing Overapproximation for Proving Nontermination
  
  We embrace overapproximation to prove nontermination: a live abstraction's closed recurrence implies the input program's nontermination.
  Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O'Hearn (University College London)
• How to Authenticate any Data Structure
  
  In our new language, λ•, every data structure has an authenticated "merkleized" variant, safe to store on untrusted servers.
  Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi (University of Maryland)

Machine Learning and Natural Language Processing

• The Not-so-Magic Magic Barrier of Recommender Systems
  
  We show that the magic barrier of recommender systems is not magic at all. In fact, it is an easily computed statistical rating property.
  Alejandro Bellogín (Universidad Autónoma de Madrid), Alan Said (Recorded Future)
• Sarcasm Detection: Beyond Machine Learning Algorithms
  
  Learning Algorithms just like humans need context to detect sarcasm.
  Vineet Kumar (Capgemini)
• Discriminating Similar Languages: Persian and Dari
  
  Language Identification methods using surface features can distinguish close linguistic variants Persian and Dari with 96% accuracy.
  Shervin Malmasi (Centre for Language Technology)
• Non-transparent recommender system evaluation leads to misleading results
  
  Evaluation of recommender systems is often misleading, transparent protocols should be used and reported by industry and academia.
  Alan Said (Recorded Future), Alejandro Bellogín (Universidad Autónoma de Madrid)
• Handling Information Overload: Automatic Generation of Wikipedia Articles
  
  Semantic relationships among existing Wikipedia articles can be used to generate high-quality structured information on a given topic.
  Vikrant Yadav, Faisal Khan (Indian Institute of Technology, Roorkee)

Pervasive Computing

• Tiny Location Fingerprints Uniquely Identify Individuals
  
  A sequence of 7 (± 2) significant places reconstructed from smartphone data, distinguishes an individual amongst a large human population.
  George Roussos (Birkbeck College, University of London)

Security and Privacy

• To Trust, or not to Trust, that is the Question: Structural Properties of X.509 Certificates
  
  Even for a human observer with full knowledge it is impossible to decide if a new certificate is legitimate without out-of-band context.
  Johanna Amann (International Computer Science Institute), Robin Sommer (International Computer Science Institute, Lawrence Berkeley National Laboratory), Matthias Vallentin (UC Berkeley), Seth Hall (International Computer Science Institute)
• KISS On My List: Improving Platform Security and User Privacy by Simplifying the Android Permissions Model
  
  Could simplifying Android's permission model improve platform security and privacy by easing development and promoting user understanding?
  Nicole Borrelli
• Preimage Attacks Against Spectral Hash and PTX Functions
  
  We break the pre-image security of PTX and shash by reducing it to the trivially solvable problem of finding independent random vectors.
  Ethan Heilman (Boston University)

Software Engineering

• The More the Merrier: Leveraging on the Bug Inflow to Guide Software Maintenance
  
  Humans obscured by bug overload, but machine learning benefits from plentiful training data. Practitioners confirm value of developed tools.
  Markus Borg (Lund University), Leif Jonsson (Ericsson AB)
• On Integration Repositories, Build Sheriffs, and Patch Backouts
  
  Integration repositories and build sheriffs allow developers to test less comprehensively while keeping the main repository stable.
  Rodrigo Souza, Christina Chavez (Federal University of Bahia), Roberto A. Bittencourt (State University of Feira de Santana)

Systems and Networks

• Supporting Differentiated Services in Computers via Networking Technologies
  
  A computer is inherently a network. It is promising to apply networking technologies like SDN to computer architecture.
  Jiuyue Ma, Xiufeng Sui, Yupeng Li, Zihao Yu, Bowe Huang, Yungang Bao (State Key Laboratory of Computer Architecture, ICT, CAS)
• Stream Processing Systems Have Arrived at the Big Data Party. But Where Are All the Benchmarks?
  
  The ubiquity of stream processing systems and applications necessitates the development of a real-world TPC-like benchmark suite.
  Zubair Nabi (IBM Research - Ireland)
• The role of reconfigurable, policy-based middleware in supporting the Internet of Things
  
  IoT requires middleware enabling the interactions of 'things' to be dynamically managed and regulated according to user/application policy.
  Jatinder Singh (University of Cambridge)

Theory of Computation and Information Science

• On Regular Expression Matching and Deterministic Finite Automata
  
  Even ignoring construction time, deterministic finite automata do not solve regular expression matching in worst-case linear time.
  Philip Bille (Technical University of Denmark, DTU Compute)
• Cognitive computing leads to the next level of answering questions on the Web
  
  From Search Engines to Question Answering Systems or [1]+[2]=[3].
  Edy Portmann (University of Bern)