Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING

Source URL: arxiv.org

• Computer architecture
• Computing
• Parallel computing
• Computer programming
• Roofline model
• Software optimization
• Software testing
• FLOPS
• Central processing unit
• Supercomputer
• Benchmark
• Instructions per cycle

The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger

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

• Software engineering
• Mathematical logic
• Theoretical computer science
• Formal methods
• Logic in computer science
• Model theory
• Computability theory
• Procedural programming languages
• First-order logic
• Automated theorem proving
• ALGOL 68
• Let expression

Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/

Source URL: con.racket-lang.org

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017

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

• Theoretical computer science
• Formal methods
• Mathematical logic
• Logic in computer science
• Mathematics
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Formal verification
• Type theory
• First-order logic
• Vampire

Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com

Source URL: www.cs.tufts.edu

• Software engineering
• Computer programming
• Computing
• Cross-platform software
• High-level programming languages
• Web programming
• Functional programming
• Subroutines
• JavaScript
• Const
• Stack machine
• Stack trace

Exploring Recommendations Under User-Controlled Data Filtering Hongyi Wen Longqi Yang

Source URL: www.cs.cornell.edu

• Recommender systems
• Information science
• Collective intelligence
• Information retrieval
• Information systems
• Humancomputer interaction
• Collaboration
• GroupLens Research
• Collaborative filtering
• Cold start
• MovieLens
• Matrix factorization

COSC 544 Probabilistic Proof SystemsIntroduction to MIPs Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Randomized algorithms
• Complexity classes
• Computational complexity theory
• Interactive proof system
• IP
• Probabilistically checkable proof
• Soundness
• NP
• Commitment scheme
• Proof of secure erasure
• Probabilistic Turing machine

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

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