Krishnamurthy Dvijotham
Orcid: 0000-0002-1328-4677Affiliations:
- Google DeepMind, London, UK
- University of Washington, Dept. of Computer Science and Engineering, Seattle, WA, USA
- California Institute of Technology, Department of Computing and Mathematical Sciences, Pasadena, CA, USA
According to our database1,
Krishnamurthy Dvijotham
authored at least 93 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Robust feasibility of systems of quadratic equations using topological degree theory.
Optim. Lett., March, 2024
Understanding Subjectivity through the Lens of Motivational Context in Model-Generated Image Satisfaction.
CoRR, 2024
Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation.
CoRR, 2024
CoRR, 2024
2023
Correlated Noise Provably Beats Independent Noise for Differentially Private Learning.
CoRR, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Fixed-Point Theorem-Based Voltage Stability Margin Estimation Techniques for Distribution Systems With Renewables.
IEEE Trans. Ind. Informatics, 2022
CoRR, 2022
Proceedings of the Tenth International Conference on Learning Representations, 2022
Proceedings of the Tenth International Conference on Learning Representations, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition.
CoRR, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
2020
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
The NodeHopper: Enabling Low Latency Ranking with Constraints via a Fast Dual Solver.
Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
A Framework for robustness Certification of Smoothed Classifiers using F-Divergences.
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
2019
IEEE Trans. Smart Grid, 2019
IEEE Trans. Control. Netw. Syst., 2019
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019
Proceedings of the 2019 ACM Conference on Economics and Computation, 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019
2018
IEEE Control. Syst. Lett., 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.
CoRR, 2018
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
2017
High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms.
IEEE Control. Syst. Lett., 2017
Proceedings of the 51st Annual Conference on Information Sciences and Systems, 2017
2016
SIGMETRICS Perform. Evaluation Rev., 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
IEEE Trans. Control. Netw. Syst., 2015
CoRR, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Convexity of structure preserving energy functions in power transmission: Novel results and applications.
Proceedings of the American Control Conference, 2015
Systems of quadratic equations: Efficient solution algorithms and conditions for solvability.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015
2014
Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 51st Annual Allerton Conference on Communication, 2013
2012
Distributed control of generation in a transmission grid with a high penetration of renewables.
Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012
2011
Operations-Based Planning for Placement and Sizing of Energy Storage in a Grid With a High Penetration of Renewables
CoRR, 2011
Proceedings of the UAI 2011, 2011
2010
Proceedings of the 27th International Conference on Machine Learning (ICML-10), 2010
Proceedings of the IEEE International Conference on Acoustics, 2010
2008