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

From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud Nikos Vasilakis, Ben Karel, Jonathan M. Smith The University of Pennsylvania 1

Source URL: nikos.vasilak.is

• Computer architecture
• Computing
• System software
• Parallel computing
• Cloud infrastructure
• Fault-tolerant computer systems
• Cluster computing
• Kernel
• Operating system
• Unix
• Mach
• Apache Hadoop

A Comparison of High-Level Full-System Power Models Suzanne Rivoire Sonoma State University Parthasarathy Ranganathan Hewlett-Packard Labs

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Computing
• Parallel computing
• Computer architecture
• Central processing unit
• Flynn's taxonomy
• Benchmark
• Computer performance
• SPECint
• Multi-core processor
• Supercomputer
• Standard Performance Evaluation Corporation

1 SecureML: A System for Scalable Privacy-Preserving Machine Learning Payman Mohassel∗ and Yupeng Zhang† Research, † University of Maryland

Source URL: www.ieee-security.org

Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com

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

Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Computing
• Models of computation
• Software engineering
• Control engineering
• Cognition
• State
• Control theory
• Lookup table
• Variable
• Dependent and independent variables

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

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

• Mathematics
• Algebra
• Theoretical computer science
• Finite automata
• Linear algebra
• Finite-state transducer
• Dynamic programming
• Edit distance
• Trace
• Finite-state machine
• Shortest path problem
• Levenshtein distance

SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• System software
• Recall
• Android
• Pattern
• Short-term memory
• Student's t-test