Benjamin Livshits
From MaRDI portal
Person:2145356
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| MEV capture through time-advantaged arbitrage | 2026-09-08 | Paper |
| zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs | 2025-01-10 | Paper |
| Attacking the DeFi ecosystem with flash loans for fun and profit (available as arXiv preprint) | 2022-06-17 | Paper |
| Data-parallel string-manipulating programs Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Program boosting: program synthesis via crowd-sourcing Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Symbolic finite state transducers: algorithms and applications Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| Fully abstract compilation to JavaScript Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Towards fully automatic placement of security sanitizers and declassifiers Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
Research outcomes over time
This page was built for person: Benjamin Livshits
