Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Konstantinos Triantafyllou
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2022 profile
Registered user since Thu 18 May 2017
Name:
Konstantinos Triantafyllou
Affiliation:
ETH Zurich
Contributions
SPLASH 2022
Author of Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts within the COVID Time Papers In Person-track
SOAP 2017
Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track
Share
x
Mon 6 Feb 14:20