Devansh Jain
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Charith Mendis2×
- Akash Pardeshionce
- Amit Sabneonce
all 19 in the filters
who talks about the same things
- Charith Mendis10 talks
- Varun Gupta7 talks
- Till Kamppeter14 talks
- Tahina Ramananandro8 talks
- Praveen Valaboju2 talks
- Gagandeep Singh25 talks
| title | conference | date |
|---|---|---|
| CERES: Making Equality Saturation Memory-Scalable | EGRAPHS 2026 | 2026-06-15 |
CERES is a rewrite scheduler that picks a small subset of equality saturation rewrites with a cross-entropy sampler and applies them to keep e-graphs under a… | ||
| TensorRight: Automated Verification of Tensor Graph Rewrites | POPL 2025 | 2025-01-19 |
TensorRight presents an automated verifier that proves tensor-graph rewrites correct for tensors of arbitrary rank and size by encoding rules in a new core… | ||
| Streamlining Backend Printing in SAP Landscapes with Universal Print | Microsoft Build 2024 | 2024-05-21 |
An open source bridge published on GitHub pulls SAP spool jobs via the SAP OData cloud pull API, maps each SAP print queue to a Universal Print printer, and… | ||
| nothing matches | ||