Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shankara Pailoor
conf.researchr.org general profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2024 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Mon 29 Aug 2022
Name:
Shankara Pailoor
Country:
United States
Affiliation:
University of Texas at Austin
Contributions
2024
SPLASH
Author of Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis within the OOPSLA 2024-track
PLDI
Author of From Batch to Stream: Automatic Generation of Online Algorithms within the PLDI Research Papers-track
POPL
Author of Semantic Code Refactoring for Abstract Data Types within the POPL-track
2023
PLDI
Author of Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs within the PLDI Research Papers-track
2022
SPLASH
Author of Type-Directed Synthesis of Visualizations from Natural Language Queries within the V-OOPSLA-track
2021
SPLASH
Author of Automated Policy Synthesis for System Call Sandboxing within the SIGPLAN Papers-track
PLDI
Author of Synthesizing Data Structure Refinements from Integrity Constraints within the PLDI-track
2020
SPLASH
Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track
2019
PLDI
Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track
Share
x
Thu 21 Nov 14:39