Difference between revisions of "Philip Daian"
From FSL
Line 1: | Line 1: | ||
Philip Daian was an [[FSL]] undergraduate student at UIUC and an employee at [http://runtimeverification.com Runtime Verification, Inc.]. He is now pursuing a PhD at Cornell. | Philip Daian was an [[FSL]] undergraduate student at UIUC and an employee at [http://runtimeverification.com Runtime Verification, Inc.]. He is now pursuing a PhD at Cornell. | ||
− | + | check out his webpage at https://pdaian.com/. | |
+ | |||
+ | === Publications within FSL === | ||
+ | |||
+ | <pubbib author="Philip Daian" category="fsl"></pubbib> |
Revision as of 21:07, 1 October 2016
Philip Daian was an FSL undergraduate student at UIUC and an employee at Runtime Verification, Inc.. He is now pursuing a PhD at Cornell. check out his webpage at https://pdaian.com/.
Publications within FSL
- A Formal Verification Tool for Ethereum VM Bytecode
- Daejun Park and Yi Zhang and Manasvi Saxena and Philip Daian and Grigore Rosu
ESEC/FSE'18, ACM, pp 912-915. 2018
PDF, Slides(PDF), Formally Verified Smart Contracts, DOI, ESEC/FSE'18, BIB - KEVM: A Complete Semantics of the Ethereum Virtual Machine
- Everett Hildenbrandt and Manasvi Saxena and Xiaoran Zhu and Nishant Rodrigues and Philip Daian and Dwight Guth and Brandon Moore and Yi Zhang and Daejun Park and Andrei Stefanescu and Grigore Rosu
CSF 2018, IEEE, pp 204-217. 2018
PDF, KEVM, CSF 2018, BIB - Runtime Verification at Work: A Tutorial
- Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
RV'16, LNCS 10012, pp 46-67. 2016
PDF, Slides(PPTX), RV Products, DOI, RV'16, BIB - RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
- Philip Daian and Bhargava Manja and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
SAE'16, SAE International 2016-01-0126, pp 1-13. 2016
PDF, Slides(PPT), RV-ECU, DOI, SAE'16, BIB - RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
- Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
RV'15, Lecture Notes in Computer Science 9333, pp 342-357. 2015
PDF, Slides(PDF), RV-Android, DOI, RV'15, BIB