Eric Koskinen - SPLASH 2021

Registered user since Tue 17 Feb 2015

Name:Eric Koskinen

Affiliation:Stevens Institute of Technology

Research interests:Verification, Languages, Concurrency

Contributions

APLAS 2021	Proving LTL Properties of Bitvector Programs and Decompiled Binaries
SPLASH 2021	DynamiTe: Dynamic Termination and Non-termination Proofs Committee Member in External Review Committee within the OOPSLA-track
Show activities from other conferences

Using general profile