LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Parser generators
• Compiling tools
• Functional programming
• Parser combinator
• Parsing
• Lex
• Scala
• Apache HTTP Server

Yum-Me: A Personalized Nutrient-Based Meal Recommender System LONGQI YANG, Cornell Tech, Cornell University CHENG-KANG HSIEH, University of California, Los Angeles HONGJIAN YANG and JOHN P. POLLAK, Cornell Tech, Cornell

Source URL: www.cs.cornell.edu

• Collective intelligence
• Information systems
• Information science
• Information
• E-commerce
• Computing
• Recommender system
• Cold start
• Food
• Preference elicitation
• Nutrition
• Personalization

The Anatomy of Web Censorship in Pakistan Zubair Nabi Information Technology University, Pakistan Abstract

Source URL: www.usenix.org

• Computing
• Internet
• Content-control software
• Internet privacy
• Information and communications technology
• Computer networking
• Internet censorship
• Privacy
• Great Firewall
• OpenDNS
• Public recursive name server
• Google Public DNS

Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Computer programming
• Software engineering
• Java
• Widget toolkits
• Cross-platform software
• Concurrent computing
• Swing
• Thread
• Debugging
• D
• Event dispatching thread

Sweet Little Lies: Fake Topologies for Flexible Routing Stefano Vissicchio University of Louvain

Source URL: inl.info.ucl.ac.be

• Internet architecture
• Computing
• Information and communications technology
• Network architecture
• OpenFlow
• Networking hardware
• Computer networking
• Router
• Routing

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

Source URL: www.cs.purdue.edu

• Boolean algebra
• Forcing
• Theoretical computer science
• Mathematics
• Complete Boolean algebra
• Order theory
• Assertion
• Mathematical logic

COLLOQUIUM Asghar Ghorbanpour Western University Geometry of Noncommutative Spaces

Source URL: www.uregina.ca

• Mathematical analysis
• Functional analysis
• Mathematics
• C*-algebras
• Noncommutative geometry
• Quantum gravity
• Banach algebras
• Noncommutative topology
• Spectral triple
• Space
• Noncommutative algebraic geometry
• Noncommutative torus

Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:

Source URL: www.avacs.org

Feature-Specific Profiling LEIF ANDERSEN, PLT @ Northeastern University, United States of America VINCENT ST-AMOUR, PLT @ Northwestern University, United States of America JAN VITEK, Northeastern University and Czech Tec

Source URL: users.eecs.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Profilers
• Control flow
• Profiling
• Software optimization
• Racket
• Arc
• Stack
• Matthias Felleisen

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

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

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP