A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• High-level programming languages
• Type theory
• Programming languages
• Program analysis
• Java virtual machine
• Type system
• Go
• Java

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Constraint programming
• Software engineering
• Computer programming
• Constraint satisfaction
• Local consistency
• Theoretical computer science
• Constraint
• Theory of constraints
• Schaefer's dichotomy theorem
• Constraint logic programming

Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute

Source URL: www.isse.uni-augsburg.de

• Formal methods
• Theoretical computer science
• Software engineering
• Mathematics
• Predicate transformer semantics
• Refinement
• Abstract state machines
• NC
• 120-cell
• Cover

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

Source URL: rjoshi.org

• Model checkers
• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Model checking
• Search algorithms
• Formal verification
• SPIN model checker
• Verification
• Swarm behaviour
• Promela

Where are the Best FinTech Centers? Dr. Thomas Ankenbrand, Denis Bieri, New research by the Institute of Financial Services Zug (IFZ) at Lucerne University of Applied Science

Source URL: innovation.thomsonreuters.com

• Human behavior
• World Bank
• Economy
• Culture
• Economic indicators
• Numbeo
• Social information processing
• College and university rankings
• Quality of life
• Ease of doing business index
• World Development Indicators
• QS World University Rankings

Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA

Source URL: manticore.cs.uchicago.edu

Department of Informatics - Institute of Neuroinformatics Ultimate SLAM? Robust Visual SLAM with Events, Images and IMU Antoni Rosinol Vidal, Henri Rebecq, Timo Horstschaefer, Davide Scaramuzza

Source URL: rpg.ifi.uzh.ch

• Photographic techniques
• Photography
• Visual arts
• High dynamic range
• Science of photography
• High-dynamic-range imaging
• Motion blur
• Filmmaking
• Motion compensation

On the Security of Elliptic Curve Cryptosystems against Attacks with Special-Purpose Hardware Tim G¨ uneysu, Christof Paar, Jan Pelzl Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {gueneysu,cp

Source URL: www.hyperelliptic.org

• Cryptography
• Abstract algebra
• Algebra
• Finite fields
• Elliptic curve cryptography
• Computational hardness assumptions
• Group theory
• Public-key cryptography
• Elliptic-curve cryptography
• Elliptic curve
• Key size
• Discrete logarithm

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Software engineering
• Theoretical computer science
• Formal methods
• Computing
• Computer science
• Computer security
• Model checking
• Verification
• Formal verification
• Carnegie Mellon University
• Proof-carrying code
• Software Engineering Institute