Arjun Pitchanathan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Quantifier Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Arjun Pitchanathan, Kunwar Grover, Tobias Grosser
Falcon: A Scalable Analytical Cache Model. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
Strided Difference Bound Matrices. CoRR (2024)
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
Strided Difference Bound Matrices. CAV (1) (2024)
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser
FPL: fast Presburger arithmetic through transprecision. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)