Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

Source URL: correctness-workshop.github.io

• Computational fluid dynamics
• Modeling and simulation
• ADCIRC
• Computational science
• Physical oceanography
• Data parallelism
• Numerical modeling
• Conceptual model
• Application software
• Applied mathematics

Plasma 1. What’s wrong? 2. What’s happening now? 3. Plasmafication!

Source URL: edcon.io

Docker Certification Program Agreement Last updated: August 16, 2017 This Docker Certification Program Agreement (this “Agreement”) contains the terms and conditions that govern your participation in the Docker Certi

Source URL: docker.cdn.prismic.io

• Professional certification
• Standards
• Certification
• Dock
• Privacy policy
• Technology

    http://kadena.io  

Source URL: kadena.io

• Cryptocurrencies
• Computing
• Blockchains
• Data management
• Data
• Ethereum
• Alternative currencies
• Transaction processing
• Smart contract
• Bitcoin
• Online transaction processing
• Database transaction

LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

Source URL: dacongy.github.io

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,

Source URL: kadena.io

• Cryptocurrencies
• Computing
• Concurrent computing
• Money
• Bitcoin
• SegWit
• Blockchain
• Merkle tree
• Proof-of-stake
• Lightning Network
• Peercoin
• Ethereum

Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette

Source URL: pxtp.github.io

• Theoretical computer science
• Mathematics
• Algebra
• Formal methods
• Logic in computer science
• Computability theory
• Models of computation
• Lambda calculus
• Satisfiability modulo theories
• -ring
• De Bruijn index

National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker

Source URL: correctness-workshop.github.io

• Climate modeling
• Physical oceanography
• Community Earth System Model
• Application software
• Software quality
• MX