Login / Signup
Marek S. Baranowski
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 10
Top Topics
Stochastic Local Search
Fixed Point
Intermediate Representation
Java Bytecode
Top Venues
HotOS
VMCAI
NSV@CAV
IJCAR (1)
</>
Publications
</>