226 citations · 398 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LG2017★ 10 cited
Structural Feature Selection for Event Logs
Markku Hinkka, Teemu Lehto, Keijo Heljanko +1
We consider the problem of classifying business process instances based on structural features derived from event logs. The main motivation is to provide machine learning based tec…
cs.PL2017★ 3 cited
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko +1
We present Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for w…