共 50 条
- [31] Structural Embeddings Revisited (Invited Talk) PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 12 - 12
- [32] Driving Types into PHP (Invited Talk) PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT (TYDE' 17), 2017, : 1 - 1
- [35] Algorithms for Energy Management (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 1 - 11
- [36] The complexity of distinguishing distributions (Invited talk) INFORMATION THEORETIC SECURITY, PROCEEDINGS, 2008, 5155 : 210 - 222
- [37] Invited Talk: The Coming AI Hackers CYBER SECURITY CRYPTOGRAPHY AND MACHINE LEARNING, 2021, 12716 : 336 - 360
- [38] Locality in search engine queries and its implications for caching IEEE INFOCOM 2002: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-3, PROCEEDINGS, 2002, : 1238 - 1247
- [39] Security, functionality and scale? (Invited talk) DATA AND APPLICATIONS SECURITY XXII, 2008, 5094 : 64 - 64
- [40] Scrap your boilerplate -: Invited talk PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 357 - 357