41 – 50 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What questions do developers ask during code review?
2025) WASP Winter Conference 2025(
- Contribution to conference › Poster
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Assertions in software testing : survey, landscape, and trends
(
- Contribution to journal › Article
-
Mark
A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
2025)(
- Book/Report › Conference proceeding (editor)
-
Mark
Bayesian optimization in high dimensions : a journey through subspaces and challenges
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Unified framework for entropy search and expected improvement in Bayesian optimization
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring exploration in Bayesian 0ptimization
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding high-dimensional Bayesian optimization
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Leveraging axis-aligned subspaces for high-dimensional Bayesian optimization with group testing
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding