Publications (9)
Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Long Pham, Jan Hoffmann
Being a fully automated technique for resource analysis, automatic amortized resource analysis (AARA) can fail in returning worst-case cost bounds of programs, fundamentally due to…
Artificial Intelligence across Europe: A Study on Awareness, Attitude and Trust
Teresa Scantamburlo, Atia Cortés, Francesca Foffano +4
This paper presents the results of an extensive study investigating the opinions on Artificial Intelligence (AI) of a sample of 4,006 European citizens from eight distinct countrie…
Compressive Features in Offline Reinforcement Learning for Recommender Systems
Hung Nguyen, Minh Nguyen, Long Pham +1
In this paper, we develop a recommender system for a game that suggests potential items to players based on their interactive behaviors to maximize revenue for the game provider. O…
Smart Contract Adoption under Discrete Overdispersed Demand: A Negative Binomial Optimization Perspective
Jinho Cha, Sahng-Min Han, Long Pham
Effective supply chain management under high-variance demand requires models that jointly address demand uncertainty and digital contracting adoption. Existing research often simpl…
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Long Pham, Jan Hoffmann
Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vul…
Defunctionalization of Higher-Order Constrained Horn Clauses
Long Pham, Steven J. Ramsay, C. -H. Luke Ong
Building on the successes of satisfiability modulo theories (SMT), Bjørner et al. initiated a research programme advocating Horn constraints as a suitable basis for automatic prog…