Test-driven development of concurrent programs using concuerror. - Alkis Gotovos; Maria Christakis; Konstantinos Sagonas (Erlang Workshop, 2011)

Systematic Testing for Detecting Concurrency Errors in Erlang Programs. - Maria Christakis; Alkis Gotovos; Konstantinos Sagonas (ICST, 2013)

Active Learning for Level Set Estimation. - Alkis Gotovos; Nathalie Casati; Gregory Hitz; Andreas Krause 001 (IJCAI, 2013)

Fully autonomous focused exploration for robotic environmental monitoring. - Gregory Hitz; Alkis Gotovos; François Pomerleau; Marie-Eve Garneau; Cédric Pradalier; Andreas Krause 001; Roland Yves Siegwart (ICRA, 2014)

Safe Exploration for Optimization with Gaussian Processes. - Yanan Sui; Alkis Gotovos; Joel W. Burdick; Andreas Krause 001 (ICML, 2015)

Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments. - Lionel Heng; Alkis Gotovos; Andreas Krause 001; Marc Pollefeys (ICRA, 2015)

Non-Monotone Adaptive Submodular Maximization. - Alkis Gotovos; Amin Karbasi; Andreas Krause 001 (IJCAI, 2015)

Sampling from Probabilistic Submodular Models. - Alkis Gotovos; S. Hamed Hassani; Andreas Krause 001 (NIPS, 2015)

Discrete Sampling using Semigradient-based Product Mixtures. - Alkis Gotovos; S. Hamed Hassani; Andreas Krause 001; Stefanie Jegelka (UAI, 2018)

Fast Gaussian process based gradient matching for parameter identification in systems of nonlinear ODEs. - Philippe Wenk; Alkis Gotovos; Stefan Bauer; Nico S. Gorbach; Andreas Krause 001; Joachim M. Buhmann (AISTATS, 2019)

Strong Log-Concavity Does Not Imply Log-Submodularity. - Alkis Gotovos (CoRR, 2019)

Sampling from Probabilistic Submodular Models. - Alkis Gotovos (2019)

Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification. - Alkis Gotovos; Rebekka Burkholz; John Quackenbush; Stefanie Jegelka (NeurIPS, 2021)

On the Existence of Universal Lottery Tickets. - Rebekka Burkholz; Nilanjana Laha; Rajarshi Mukherjee; Alkis Gotovos (ICLR, 2022)

Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation. - Nachiket Kotalwar; Alkis Gotovos; Adish Singla (NeurIPS, 2024)

Synthesizing High-Quality Programming Tasks with LLM-Based Expert and Student Agents. - Manh Hung Nguyen; Victor-Alexandru Padurean; Alkis Gotovos; Sebastian Tschiatschek; Adish Singla (AIED (1), 2025)

Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models. - Victor-Alexandru Padurean; Paul Denny 001; Alkis Gotovos; Adish Singla (ITiCSE (1), 2025)

Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming. - Ahana Ghosh; Liina Malva; Alkis Gotovos; Danial Hooshyar; Adish Singla (SIGCSE (1), 2025)