Prateek Saxena
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Bo Wang2×
- Aashish Kollurionce
- Ivica Nikolićonce
all 16 in the filters
who talks about the same things
- Bo Wang10 talks
- Arjun Guha10 talks
- Sumit Gulwani14 talks
- Rastislav Bodík8 talks
- Shriram Krishnamurthi12 talks
- Arjun Radhakrishna10 talks
| title | conference | date |
|---|---|---|
| Program Skeletons for Automated Program Translation | PLDI 2025 | 2025-06-16 |
Proposes program skeletons that split a Python program into a mechanically converted skeleton and code fragments synthesized by LLMs, implements prototype SKEL… | ||
| User-Customizable Transpilation of Scripting Languages | OOPSLA 2023 | 2023-10-23 |
A prototype called DuoGlot translates Python to JavaScript by synthesizing syntactic translation rules from user-provided code snippets and composing them… | ||
| Neural Nets Can Learn Function Type Signatures From Binaries | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
A system called EKLAVYA trains instruction embeddings plus a 3-layer GRU to infer function argument count and coarse types from disassembled binaries without… | ||
| SmartPool: Practical Decentralized Pooled Mining | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
SMARTPOOL is a deployed decentralized mining-pool protocol running on Ethereum and Ethereum Classic that pays miners with a probabilistic sampling scheme and… | ||
| OblivP2P: An Oblivious Peer-to-Peer Content Sharing System | USENIX Security '16 | 2016-08-10 |
OBLIVP2P implements a distributed ORAM to hide P2P access patterns and achieve unlinkability, using a tree-based ORAM mapped onto peers, distributed private… | ||
| nothing matches | ||