Concepedia

Shankara Pailoor

SP

Statistics

Publications

8

Citations

249

H-Index

8

Active since

2018

Affiliations

The University of Texas at Austin(Current)

University of Michigan

Shankara Pailoor is an author at The University of Texas at Austin specializing in engineering, formal methods, and data security.

Top concepts

EngineeringData SecurityFormal MethodsComputer ScienceFormal VerificationCompilersCryptographyVerificationBiotechnologySeed Processing

Publications per year

2018–2024

8

Publications

8

Optimization and abstraction: a synergistic approach for analyzing neural network robustness

Greg Anderson, Shankara Pailoor, Swarat Chaudhuri · 2019 · 83 citations · Full text

MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation.

Shankara Pailoor, Andrew Aday, Suman Jana · USENIX Security Symposium · 2018 · 79 citations

Engineering, Biotechnology, Downstream Processing +2

Automated policy synthesis for system call sandboxing

Shankara Pailoor, Xinyu Wang, Hovav Shacham · Proceedings of the ACM on Programming Languages · 2020 · 22 citations · Full text

Software Maintenance, Engineering, Information Security +24

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

Shankara Pailoor, Yanju Chen, Franklyn Wang et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Circuit Complexity, Cryptographic Primitive, Engineering +17

Type-directed synthesis of visualizations from natural language queries

Qiaochu Chen, Shankara Pailoor, Celeste Barnaby et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text

1–5 of 8