Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs Atanas Rountev∗, Kevin Van Valkenburgh†, Dacong Yan∗ and P. Sadayappan∗ ∗ Ohio State University

Source URL: dacongy.github.io

Privacy & Security Toolkit 1/2 Privacy & Security Toolkit start

Source URL: mozilla.github.io

• Index of standards articles
• Standards
• Culture
• Four-square cipher

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga

Source URL: xushijie.github.io

• Computing
• Object-oriented programming languages
• Scripting languages
• Programming languages
• Java platform
• Java specification requests
• Da Vinci Machine
• Java bytecode
• JRuby
• Java virtual machine
• Java class file
• Scala

HACKEN.IO Terms and Conditions Last Updated: October 4, 2018 Please read carefully these Terms and Conditions (hereinafter - the “Terms”, “Terms of Use”) before using a website “https://hacken.io/” and/or any

Source URL: hacken.io

• Cryptocurrencies
• Blockchains
• Contract law
• Computing
• Concurrent computing
• Information
• Bitcoin
• Ethereum
• Indemnity
• Smart contract

AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

Source URL: rishabhmit.bitbucket.io

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Computing
• Artificial intelligence
• Cognitive science
• Computational statistics
• Market research
• Convolutional neural network
• Deep learning
• Recurrent neural network
• Domain-specific language

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Source URL: seahorn.github.io

• Software engineering
• Software
• Computing
• Logic in computer science
• Programming language semantics
• Logic programming
• Compilers
• LLVM
• Abstract interpretation
• Constraint logic programming
• Operational semantics
• Clang

451 RESEARCH REPRINT R E P O RT R E P R I N T Datadog solidifies expansion aspirations with Logmatic.io buy

Source URL: www.datadoghq.com

• Information technology management
• Computing
• System software
• System administration
• Network management
• Performance management
• Data security
• Datadog
• Splunk
• Sumo Logic
• Loggly
• SolarWinds

Libraries as Curators of Open Citations Perspectives of the Project LOC-DB in Germany Anne Lauscher, Kai Eckert, Lukas Galke, Ansgar Scherp, Syed Tahseen Raza Rizvi, Sheraz Ahmed, Andreas Dengel, Philipp Zumstein, Annett

Source URL: workshop-oc.github.io

• Information science
• Information
• Library science
• Business intelligence
• Data management
• Knowledge representation
• Records management
• Cataloging
• Library