Login / Signup
Arjun Pitchanathan
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Database Management Systems
Sparse Data
Decision Procedures
Presburger Arithmetic
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
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)