Alkis Gotovos

According to our database, Alkis Gotovos authored at least 18 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models.

Victor-Alexandru Padurean, Paul Denny, Alkis Gotovos, Adish Singla

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

Synthesizing High-Quality Programming Tasks with LLM-Based Expert and Student Agents.

Manh Hung Nguyen, Victor-Alexandru Padurean, Alkis Gotovos, Sebastian Tschiatschek, Adish Singla

Proceedings of the Artificial Intelligence in Education - 26th International Conference, 2025

2024

Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation.

Nachiket Kotalwar, Alkis Gotovos, Adish Singla

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2022

On the Existence of Universal Lottery Tickets.

Rebekka Burkholz, Nilanjana Laha, Rajarshi Mukherjee, Alkis Gotovos

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.

Alkis Gotovos, Rebekka Burkholz, John Quackenbush, Stefanie Jegelka

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2019

Sampling from Probabilistic Submodular Models.

Alkis Gotovos

PhD thesis, 2019

Strong Log-Concavity Does Not Imply Log-Submodularity.

Alkis Gotovos

CoRR, 2019

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, Joachim M. Buhmann

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018

Discrete Sampling using Semigradient-based Product Mixtures.

Alkis Gotovos, S. Hamed Hassani, Andreas Krause, Stefanie Jegelka

Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018

2015

Sampling from Probabilistic Submodular Models.

Alkis Gotovos, S. Hamed Hassani, Andreas Krause

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

Non-Monotone Adaptive Submodular Maximization.

Alkis Gotovos, Amin Karbasi, Andreas Krause

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments.

Lionel Heng, Alkis Gotovos, Andreas Krause, Marc Pollefeys

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Safe Exploration for Optimization with Gaussian Processes.

Yanan Sui, Alkis Gotovos, Joel W. Burdick, Andreas Krause

Proceedings of the 32nd International Conference on Machine Learning, 2015

2014

Fully autonomous focused exploration for robotic environmental monitoring.

Gregory Hitz, Alkis Gotovos, François Pomerleau, Marie-Eve Garneau, Cédric Pradalier, Andreas Krause, Roland Yves Siegwart

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Active Learning for Level Set Estimation.

Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause

Proceedings of the IJCAI 2013, 2013

Systematic Testing for Detecting Concurrency Errors in Erlang Programs.

Maria Christakis, Alkis Gotovos, Konstantinos Sagonas

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Test-driven development of concurrent programs using concuerror.

Alkis Gotovos, Maria Christakis, Konstantinos Sagonas

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011