Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1

Source URL: mebsout.github.io

• Software engineering
• Computing
• Avionics
• Engineering
• Systems engineering
• Software requirements
• Embedded systems
• Safety engineering
• DO-178C
• Formal methods
• Alt-Ergo
• Model checking

Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computer programming
• Software engineering
• Infinite loop
• Recursion
• Software development
• Software testing
• Java
• Extreme programming

Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Data-flow analysis
• Aspect weaver

Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec

Source URL: uclmr.github.io

• Mathematics
• Differential equations
• Calculus
• Abstraction
• Partial differential equation
• Ordinary differential equation
• Equation
• Artificial neural network
• Linear differential equation
• Numerical methods for ordinary differential equations

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Source URL: zhang-sai.github.io

• Abstract algebra
• Estimation theory
• Extreme programming
• Software testing
• Mathematics
• Debugging
• Delta debugging
• Regression analysis
• Regression testing
• Localization

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

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• SQL keywords
• Software
• Debugging
• Grammar
• Predicate
• Semantics
• Null
• Error
• Where
• Extensible Storage Engine

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan ETH Zurich Yuri Meshman

Source URL: practicalsynthesis.github.io

• Concurrency control
• Edsger W. Dijkstra
• Flag
• Vexillology
• Mutual exclusion
• Computer programming
• Critical section
• Thread
• Computing
• Software engineering
• Peterson's algorithm
• Lamport's bakery algorithm

Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

Source URL: uclmr.github.io

• Computing
• Computational linguistics
• Linguistics
• Information science
• Artificial neural network
• SPARQL
• Semantic parsing
• Word-sense disambiguation
• Semantic Web
• Natural language processing
• Query language
• Question answering

Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao

Source URL: scungao.github.io