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

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: mebsout.github.io

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

Source URL: correctness-workshop.github.io

Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington

Source URL: zhang-sai.github.io

• Software bug
• Debugging

Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Computer programming
• Software engineering
• Java
• Widget toolkits
• Cross-platform software
• Concurrent computing
• Swing
• Thread
• Debugging
• D
• Event dispatching thread

citation gecko LITERATURE DISCOVERY MADE EASY Citation Gecko is a new, open-source web app that gives researchers a birds-eye view of relevant literature. Using openly-available citation data, it constructs and visualise

Source URL: workshop-oc.github.io

• Reference
• Library science
• Knowledge
• Citation network
• BibTeX
• Papers
• Citation
• Information science

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Source URL: scungao.github.io

• Medicine
• Endocrine system
• Anatomy
• Prostate cancer
• Histopathology
• RTT
• Prostate-specific antigen
• Testosterone
• Androgen receptor
• Prostate
• Quantifier

Hierarchical segmentation of graphical interfaces for Document Object Model reconstruction C˘at˘alin F. Pert, icas, 1 Mihai S. Baba 1 Homa Davoudi 1 R˘azvan V. Florian 1 Figure 1. Detection of graphical elements usin

Source URL: uclmr.github.io

• Computational neuroscience
• Artificial intelligence
• Artificial neural networks
• Computing
• Applied mathematics
• Computational statistics
• Market research
• Mathematical psychology
• Convolutional neural network
• Image segmentation
• Document Object Model
• Market segmentation

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton