Alkis Gotovos

29 papers A* 8A 3Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming.
SIGCSE (1)
Ahana Ghosh, Liina Malva, Alkis Gotovos, Danial Hooshyar, Adish Singla
2025 J jnl
Inference-Time Personalized Alignment with a Few User Preference Queries.
CoRR
Victor-Alexandru Padurean, Parameswaran Kamalaruban, Nachiket Kotalwar, Alkis Gotovos, Adish Singla
2025 J jnl
Interleaving Natural Language Prompting with Code Editing for Solving Programming Tasks with Generative AI Models.
CoRR
Victor-Alexandru Padurean, Paul Denny, Andrew Luxton-Reilly, Alkis Gotovos, Adish Singla
2025 — conf
Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models.
ITiCSE (1)
Victor-Alexandru Padurean, Paul Denny, Alkis Gotovos, Adish Singla
2025 J jnl
Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models.
CoRR
Victor-Alexandru Padurean, Paul Denny, Alkis Gotovos, Adish Singla
2025 — conf
Synthesizing High-Quality Programming Tasks with LLM-Based Expert and Student Agents.
AIED (1)
Manh Hung Nguyen, Victor-Alexandru Padurean, Alkis Gotovos, Sebastian Tschiatschek, Adish Singla
2025 J jnl
Synthesizing High-Quality Programming Tasks with LLM-based Expert and Student Agents.
CoRR
Manh Hung Nguyen, Victor-Alexandru Padurean, Alkis Gotovos, Sebastian Tschiatschek, Adish Singla
2025 J jnl
The Right Kind of Help: Evaluating the Effectiveness of Intervention Methods in Elementary-Level Visual Programming.
CoRR
Ahana Ghosh, Liina Malva, Alkis Gotovos, Danial Hooshyar, Adish Singla
2024 J jnl
Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming.
CoRR
Ahana Ghosh, Liina Malva, Alkis Gotovos, Danial Hooshyar, Adish Singla
2024 A* conf
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation.
NeurIPS
Nachiket Kotalwar, Alkis Gotovos, Adish Singla
2024 J jnl
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation.
CoRR
Nachiket Kotalwar, Alkis Gotovos, Adish Singla
2022 A* conf
On the Existence of Universal Lottery Tickets.
ICLR
Rebekka Burkholz, Nilanjana Laha, Rajarshi Mukherjee, Alkis Gotovos
2021 J jnl
On the Existence of Universal Lottery Tickets.
CoRR
Rebekka Burkholz, Nilanjana Laha, Rajarshi Mukherjee, Alkis Gotovos
2021 A* conf
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.
NeurIPS
Alkis Gotovos, Rebekka Burkholz, John Quackenbush, Stefanie Jegelka
2021 J jnl
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification.
CoRR
Alkis Gotovos, Rebekka Burkholz, John Quackenbush, Stefanie Jegelka
2019 A conf
Fast Gaussian process based gradient matching for parameter identification in systems of nonlinear ODEs.
AISTATS
Philippe Wenk, Alkis Gotovos, Stefan Bauer, Nico S. Gorbach, Andreas Krause, Joachim M. Buhmann
2019 — —
Sampling from Probabilistic Submodular Models.
Alkis Gotovos
2019 J jnl
Strong Log-Concavity Does Not Imply Log-Submodularity.
CoRR
Alkis Gotovos
2018 A conf
Discrete Sampling using Semigradient-based Product Mixtures.
UAI
Alkis Gotovos, S. Hamed Hassani, Andreas Krause, Stefanie Jegelka
2018 J jnl
Discrete Sampling using Semigradient-based Product Mixtures.
CoRR
Alkis Gotovos, S. Hamed Hassani, Andreas Krause, Stefanie Jegelka
2018 J jnl
Fast Gaussian Process Based Gradient Matching for Parameter Identification in Systems of Nonlinear ODEs.
CoRR
Philippe Wenk, Alkis Gotovos, Stefan Bauer, Nico S. Gorbach, Andreas Krause, Joachim M. Buhmann
2015 A* conf
Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments.
ICRA
Lionel Heng, Alkis Gotovos, Andreas Krause, Marc Pollefeys
2015 A* conf
Non-Monotone Adaptive Submodular Maximization.
IJCAI
Alkis Gotovos, Amin Karbasi, Andreas Krause
2015 A* conf
Safe Exploration for Optimization with Gaussian Processes.
ICML
Yanan Sui, Alkis Gotovos, Joel W. Burdick, Andreas Krause
2015 — conf
Sampling from Probabilistic Submodular Models.
NIPS
Alkis Gotovos, S. Hamed Hassani, Andreas Krause
2014 A* conf
Fully autonomous focused exploration for robotic environmental monitoring.
ICRA
Gregory Hitz, Alkis Gotovos, François Pomerleau, Marie-Eve Garneau, Cédric Pradalier, Andreas Krause, Roland Yves Siegwart
2013 A* conf
Active Learning for Level Set Estimation.
IJCAI
Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause
2013 A conf
Systematic Testing for Detecting Concurrency Errors in Erlang Programs.
ICST
Maria Christakis, Alkis Gotovos, Konstantinos Sagonas
2011 — conf
Test-driven development of concurrent programs using concuerror.
Erlang Workshop
Alkis Gotovos, Maria Christakis, Konstantinos Sagonas