Siddharth Bhaskar

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Top Venues

Theory Comput. Syst.

J. Log. Algebraic Methods Program.

J. Funct. Program.

Publications

Siddharth Bhaskar, Steven Lindell, Scott Weinstein
Traversal-Invariant Characterizations of Logarithmic Space. Tannen's Festschrift (2024)
Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen
Subclasses of Ptime Interpreted by Programming Languages. Theory Comput. Syst. 67 (3) (2023)
Siddharth Bhaskar, Jakob Grue Simonsen
Read/write factorizable programs. J. Funct. Program. 33 (2023)
Siddharth Bhaskar, Jane Chandlee, Adam Jardine
Rational functions via recursive schemes. CoRR (2023)
Siddharth Bhaskar
A refinement of the Meyer-McCreight Union Theorem. Electron. Colloquium Comput. Complex. 28 (2021)
Siddharth Bhaskar, Alex Kruckman
Tameness in least fixed-point logic and McColm's conjecture. Log. Methods Comput. Sci. 17 (1) (2021)
Siddharth Bhaskar
Thicket density. J. Symb. Log. 86 (1) (2021)
Siddharth Bhaskar, Robin Kaarsgaard
Graph Traversals as Universal Constructions. CoRR (2021)
Siddharth Bhaskar, Robin Kaarsgaard
Graph Traversals as Universal Constructions. MFCS (2021)
Siddharth Bhaskar, Steven Lindell, Scott Weinstein
Traversal-invariant characterizations of logarithmic space. CoRR (2020)
Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. VPT/HCVS@ETAPS (2020)
Siddharth Bhaskar, Jane Chandlee, Adam Jardine, Christopher Oakden
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions. LATA (2020)
Siddharth Bhaskar
. J. Log. Algebraic Methods Program. 94 (2018)
Siddharth Bhaskar, Alex Kruckman
Model-theoretic dividing lines in least fixed-point logic over finite structures. CoRR (2017)
Siddharth Bhaskar
A Difference in Complexity Between Recursion and Tail Recursion. Theory Comput. Syst. 60 (2) (2017)
Scott Garrabrant, Tsvi Benson-Tilsen, Siddharth Bhaskar, Abram Demski, Joanna Garrabrant, George Koleszarik, Evan Lloyd
Asymptotic Logical Uncertainty and the Benford Test. AGI (2016)
Scott Garrabrant, Siddharth Bhaskar, Abram Demski, Joanna Garrabrant, George Koleszarik, Evan Lloyd
Asymptotic Logical Uncertainty and The Benford Test. CoRR (2015)