Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Tamarin: Concolic Disequivalence for MIPS   Given two MIPS programs, when are they equivalent? At first glance, this is
tricky to define, because of the unstructured nature of assembly code. We
propose the use of alternating concolic execution to detect whether two
programs are disequivalent. We have implemented our approach in a tool called
Tamarin, which includes a MIPS emulator instrumented to record symbolic traces,
as well as a concolic execution engine that integrates with the Z3 solver. We
show that Tamarin is able to reason about program disequivalence in a number of
scenarios, without any a-priori knowledge about the MIPS programs under
consideration.

3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th