SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Source URL: www.usenix.org

• Computing
• Information and communications technology
• Computer network security
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Networking hardware
• OpenFlow
• Open vSwitch
• Middlebox
• Forwarding information base

Who Gets In? Nonstate Actor Access at International Organizations∗ Heidi McNamara† University of California, San Diego October 12, 2018

Source URL: www.saramitchell.org

• World
• International relations
• Global politics
• Political philosophy
• Central African Republic
• Republics
• IOS
• Non-governmental organization
• Io
• Global governance

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

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

• Software engineering
• Computing
• Programming language theory
• Procedural programming languages
• Programming languages
• Logic in computer science
• Runtime verification
• Cross-platform software
• Program slicing
• Model checking
• L-system
• Trace

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

California Voter Registration Cancellation Request Form

Source URL: www.yoloelections.org

• Elections
• Voting
• Election law
• Voter registration
• Elections in the United States
• Electoral roll
• ZIP Code
• Address
• Help America Vote Act
• Voter ID laws in the United States

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

DR. ALBERTO DAINOTTI Assistant Research Scientist, Center for Applied Internet Data Analysis (CAIDA) San Diego Supercomputer Center, University of California San Diego http://www.caida.org/~alberto/ ---

Source URL: www.caida.org

• Computing
• SIGCOMM
• Computer science
• ACM/IEEE Supercomputing Conference
• Information and communications technology
• Information-centric networking
• Don Towsley

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

Source URL: rjoshi.org

• Model checkers
• Software engineering
• Theoretical computer science
• Formal methods
• C
• C++
• Sizeof
• Model checking
• Promela
• Abstraction
• Computing
• Abstract interpretation

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Automated theorem proving
• Predicate logic
• Semantics
• Logic programming
• Resolution
• First-order logic
• Skolem normal form
• Substitution

Dominant Resource Fairness: Fair Allocation of Multiple Resource Types Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andy Konwinski, Scott Shenker, Ion Stoica University of California, Berkeley {alig,matei,benh,andyk,shen

Source URL: people.eecs.berkeley.edu

• Routing algorithms
• Fair division
• Computing
• Microeconomics
• Fairness measure
• Max-min fairness
• Scheduling
• Cloud computing
• System resource
• Central processing unit
• Resource monotonicity
• Pareto efficiency