DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

Source URL: workshop-oc.github.io

• Academic publishing
• Publishing
• Identifiers
• Information science
• Knowledge
• Technical communication
• Electronic documents
• Index
• DataCite
• Initiative for Open Citations
• Crossref
• Digital object identifier

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Computing
• Debugging
• Aspect-oriented software development
• Aspect-oriented programming
• Delta debugging
• Extreme programming
• Software testing
• Debugger
• Software bug
• AspectJ
• Spring Framework

Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Source URL: pxtp.github.io

• Logic
• Mathematical logic
• Abstraction
• Formal languages
• Syntax
• Formal systems
• Proof assistants
• Type theory
• Metamath
• Formal proof
• Theory
• OMDoc

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

Source URL: zhang-sai.github.io

Generating Synthetic Decentralized Social Graphs with Local Differential Privacy

Source URL: acmccs.github.io

Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008

Source URL: zhang-sai.github.io

• Debugging
• Delta debugging
• Complement system

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

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

Source URL: dacongy.github.io

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

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