2020
Parallelization of Classical Numerical optimization in Quantum Variational Algorithms.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2019
Stochastic Optimization of Quantum Programs.
Computer, 2019
Reduction-Based Problem Mapping for Quantum Computing.
Computer, 2019
Programming support for autonomizing software.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
White-Box Program Tuning.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019
2018
Automatically solving NP-complete problems on a quantum computer.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
2017
Using Abstract Interpretation to Correct Synchronization Faults.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Automatic text input generation for mobile testing.
Proceedings of the 39th International Conference on Software Engineering, 2017
GaDei: On Scale-Up Training as a Service for Deep Learning.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2017 IEEE International Conference on Data Mining, 2017
2016
GaDei: On Scale-up Training As A Service For Deep Learning.
CoRR, 2016
Python predictive analysis for bug detection.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Apex: automatic programming assignment error explanation.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
ARROW: automated repair of races on client-side web pages.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
IPA: improving predictive analysis with pointer analysis.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
2015
Light: replay via tightly bounded recording.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2014
Grail: context-aware fixing of concurrency bugs.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Flint: fixing linearizability violations.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Unleashing concurrency for irregular data structures.
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
Finding incorrect compositions of atomicity.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
2012
Pert: The Application-Aware Tailoring of Java Object Persistence.
IEEE Trans. Software Eng., 2012
Axis: Automatically fixing atomicity violations through solving control constraints.
Proceedings of the 34th International Conference on Software Engineering, 2012
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2010
LEAP: lightweight deterministic multi-processor replay of concurrent java programs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010