Kevin Tran

dblp:208/8162 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
2since 2021 · last 2025
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1Systems, architecture and hardware · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1
YearPublicationVenuePosition
2025 A Rely-Guarantee-Based Simulation for Cooperative Semantics
Kevin Tran, Johannes Åman Pohjola, Rob Sison, Gerwin Klein
ICTAC1
2025 Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences
abstract
Computing recurrence relations for sequences is a central problem in computer algebra, with applications in error-correcting codes, Gröbner basis computation, and sparse interpolation. While uni-indexed C-recursive sequences benefit from quasi-linear algorithms leveraging the half-gcd method, the extension to multi-indexed sequences remains computationally challenging. Existing methods for bi-indexed sequences achieve quadratic complexity at best, limiting their practical use.
Jérémy Berthomieu, Romain Lebreton, Kevin Tran
ISSAC3
2018 Minesweeper with Limited Moves
Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran
AAAI4
2016 The era of high bandwidth memory
abstract
HBM is a breakthrough memory solution for performance, power and form-factor constrained systems by delivering high bandwidth, Low effective power & Small form factor. HBM device provide various mechanisms to ensure quality/reliability at pre and post SiP assembly. HBM is an industry standard solution with multiple supply sources.
Kevin Tran
Hot Chips Symposium1