![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
ASE2020: Demystifying Loops in Smart Contracts (Association for Computing Machinery (ACM)) View |
![]() |
SolType: Refinement Types for Solidity (Teaser) (ACM SIGPLAN) View |
![]() |
NDSS 2021 SODA: A Generic Online Detection Framework for Smart Contracts (NDSS Symposium) View |
![]() |
Automated Policy Synthesis for System Call Sandboxing (ACM SIGPLAN) View |
![]() |
ASPLOS'22 - Session 8B - Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation (ACM SIGARCH) View |
![]() |
[OOPSLA23] Automated Translation of Functional Big Data Queries to SQL (ACM SIGPLAN) View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |