Music |
Video |
Movies |
Chart |
Show |
Automated Policy Synthesis for System Call Sandboxing (ACM SIGPLAN) View | |
[Week 10] ECE750-T5 Static Analysis for Software Engineering (Patrick Lam) View | |
[OOPSLA23] Automated Translation of Functional Big Data Queries to SQL (ACM SIGPLAN) View | |
USENIX Security '20 - Retrofitting Fine Grain Isolation in the Firefox Renderer (USENIX) View | |
Falx: Synthesis-Powered Visualization Authoring (ACM SIGCHI) View | |
Synthesizing Database Programs for Schema Refactoring (ACM SIGPLAN) View | |
Best-Effort Program Synthesis (ACM SIGPLAN) View | |
ASE2020: Demystifying Loops in Smart Contracts (Association for Computing Machinery (ACM)) View | |
Towards a Verified Range Analysis for JavaScript JITs (ACM SIGPLAN) View | |
NDSS 2019 Unveiling your keystrokes: A Cache-based Side-channel Attack on Graphics Libraries (NDSS Symposium) View |