Publications
Found 61 results
“On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software”, in Software Engineering, 2020.
, “Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata”, in International Conference on Formal Spects of Component Software, 2020.
, “Configurable Test-Goal Set Partitioning for Multi-Goal Test-Suite Generation”, in International Competition on Software Testing held at TACAS, 2020.
, “On Controlling the Attack Surface of Object-Oriented Refactorings”, in Software Engineering, 2020.
, “CPA/Tiger-MGP: Test-Goal Set Partitioning for Efficient Multi-goal Test-suite Generation”, International Journal on Software Tools for Technology Transfer, 2020.
, “Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)”, in International Conference on Fundamental Approaches to Software Engineering, 2020.
, “The Trace Modality”, in International Workshop on Dynamic Logic, 2020.
, “Abstract Execution”, in Formal Methods – The Next 30 Years, 2019.
, “Accelerating Data-Dependence Profiling with Static Hints”, in Euro-Par 2019: Parallel Processing, 2019.
, “Anything to Hide? Studying Minified and Obfuscated Code in the Web”, in The World Wide Web Conference, 2019.
, “The Art of Getting Deep Neural Networks in Shape”, ACM Transactions on Architecture and Code Optimization, vol. 15, no. 4, 2019.
, “Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software”, ACM Transactions on Software Engineering and Methodology, vol. 28, no. 3, 2019.
, “Automated Refactoring to Reactive Programming”, in IEEE/ACM International Conference on Automated Software Engineering, 2019.
, “Automatic Construct Selection and Variable Classification in OpenMP”, in ACM International Conference on Supercomputing, 2019.
, “Automatic Identification of Standard Template Algorithms in Raw Loops”, in ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems, 2019.
, “Automatic Instrumentation Refinement for Empirical Performance Modeling”, in 1st IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
, “Designing Efficient Parallel Software via Compositional Performance Modeling”, in IEEE/ACM International Workshop on Programming and Performance Visualization Tools, 2019.
, “Developing Distributed Systems with Multitier Programming”, in ACM International Conference on Distributed and Event-based Systems, 2019.
, “Enhancing the Programmability and Performance Portability of GPU Tensor Operations”, in Euro-Par 2019: Parallel Processing, 2019.
, “From Attacker Models to Reliable Security”, in ACM Asia Conference on Computer and Communications Security, 2019.
, “From Imprecise N-Way Model Matching to Precise N-Way Model Merging”, Journal of Object Technology, vol. 18, no. 2, 2019.
, “How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4”, in European Conference on Object-Oriented Programming, 2019.
, “Interactive Metamorphic Testing of Debuggers”, in ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.
, “Language-integrated Privacy-aware Distributed Queries”, Proceedings of the ACM on Programming Languages, vol. 3, no. OOPSLA, 2019.
, “Leaky Images: Targeted Privacy Attacks in the Web”, in {USENIX} Security Symposium, 2019.
,