21 citations · 101 across the 20 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019
Neural-Network Guided Expression Transformation
Romain Edelmann, Viktor Kunčak
Optimizing compilers, as well as other translator systems, often work by rewriting expressions according to equivalence preserving rules. Given an input expression and its optimize…
cs.AI2012
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic +1
In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading fra…