• Sign in
  • Sign up
conf.researchr.org / Konstantinos Triantafyllou
  • 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
xMon 6 Feb 14:20
using conf.researchr.org (v1.58.0)
Support page
Sign Up