List of works - Shankara Pailoor - Paulina

List of works by Shankara Pailoor

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

scientific article published on 06 June 2023

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems

scientific article published on 05 May 2023

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis

scientific article published on 08 October 2024

From Batch to Stream: Automatic Generation of Online Algorithms

scientific article published on 20 June 2024

Semantic Code Refactoring for Abstract Data Types

scientific article published on 05 January 2024

Paulina is supported by:

About Paulina

Help