Follow
Kaiyuan Wang
Kaiyuan Wang
Staff Software Engineer, Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Symbolic discovery of optimization algorithms
X Chen, C Liang, D Huang, E Real, K Wang, H Pham, X Dong, T Luong, ...
Advances in Neural Information Processing Systems 36, 2024
2012024
Towards practical program repair with on-demand candidate generation
J Hua, M Zhang, K Wang, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
1572018
Symbolic execution for importance analysis and adversarial generation in neural networks
D Gopinath, M Zhang, K Wang, IB Kadron, C Pasareanu, S Khurshid
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
106*2019
Automated Test Generation and Mutation Testing for Alloy
A Sullivan, K Wang, RN Zaeem, S Khurshid
The 10th IEEE International Conference on Software Testing, Verification and …, 2017
522017
Automated model repair for Alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
392018
Sketch-Fix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
J Hua, M Zhang, K Wang, S Khurshid
Foundations of Software Engineering, 2018
392018
Towards Refactoring-Aware Regression Test Selection
K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric
The 40th International Conference on Software Engineering, ICSE 2018, 2018
322018
Fault localization for declarative models in Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020
312020
AUnit: a test automation tool for Alloy
A Sullivan, K Wang, S Khurshid
The 11th IEEE International Conference on Software Testing, Verification and …, 2018
282018
Moėt: Interpretable and verifiable reinforcement learning via mixture of expert trees
M Vasic, A Petrovic, K Wang, M Nikolic, R Singh, S Khurshid
242019
MuAlloy: a mutation testing framework for Alloy
K Wang, A Sullivan, S Khurshid
The 40th International Conference on Software Engineering, ICSE 2018, 2018
222018
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
202017
MoĖT: Mixture of Expert Trees and its application to verifiable reinforcement learning
M Vasić, A Petrović, K Wang, M Nikolić, R Singh, S Khurshid
Neural Networks 151, 34-47, 2022
182022
Systematic generation of non-equivalent expressions for relational algebra
K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
182018
Arepair: a repair framework for alloy
K Wang, A Sullivan, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
162019
ASketch: A Sketching Framework for Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Foundations of Software Engineering, 2018
152018
A study of symmetry breaking predicates and model counting
W Wang, M Usman, A Almaawi, K Wang, KS Meel, S Khurshid
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
142020
EdSynth: Synthesizing API sequences with conditionals and loops
Z Yang, J Hua, K Wang, S Khurshid
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
142018
Solver-based sketching of alloy models using test valuations
K Wang, A Sullivan, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
142018
Evolved optimizer for vision
X Chen, C Liang, D Huang, E Real, Y Liu, K Wang, CJ Hsieh, Y Lu, QV Le
First Conference on Automated Machine Learning (Late-Breaking Workshop), 2022
132022
The system can't perform the operation now. Try again later.
Articles 1–20