Diffedge tool is a new methodology that eliminates the drawbacks of finite-difference approximations and the complexity to use the automatic differentiation. It combines the powerful of computer algebra system and block diagram structures for computing the derivative of a Simulink model with respect to the independent parameters. Diffedge calculates the symbolic derivative of the mathematical m...

In this paper, we address the problem of how to use semantics to improve syntactic parsing, by using a hybrid reranking method: a k-best list generated by a symbolic parser is reranked based on parsecorrectness scores given by a compositional, connectionist classifier. This classifier uses a recursive neural network to construct vector representations for phrases in a candidate parse tree in or...

Solving Multi-objective Combinatorial Optimization Problems (MCOPs) is often a twofold problem: Firstly, the feasible region has to be identified in order to, secondly, improve the set of non-dominated solutions. In particular, problems where the construction of a single feasible solution is NPcomplete are most challenging. In the present paper, we will propose a combination of Multi-Objective ...

Efficient program path exploration is important for many software engineering activities such as testing, debugging and verification. However, enumerating all paths of a program is prohibitively expensive. In this paper, we develop a partitioning of program paths based on the program output. Two program paths are placed in the same partition if they derive the output similarly, that is, the sym...

This paper introduces a constraint language H for finite partial maps (a.k.a. heaps) that incorporates the notion of separation from Separation Logic. The motivation behind H is reasoning over heap manipulating programs using constraint-based symbolic execution. For this we present a modest extension of Hoare Logic that inherits many of the benefits from Separation Logic, such as local reasonin...

The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver such as consistency check, constraint inference, as well as the search for instantiations. However, off-the-shelf constraint solvers need to be extended in order to be be integrated appropriately: In particular, for cor...

Getting More Work for Nothing? Symbolic Awards and Worker Performance We study the impact of status and social recognition on worker performance in a field experiment. In collaboration with an international non-governmental organization we hired students to work on a database project. Students in the award treatment were offered a congratulatory card from the organization honoring the best perf...