| Dependently-Typed Data Plane Programming | 0 | 0.34 | 2022 |
| CiFi: Versatile Analysis of Class and Field Immutability | 0 | 0.34 | 2021 |
| NerdBug: automated bug detection in neural networks | 0 | 0.34 | 2021 |
| Python Crypto Misuses in the Wild | 0 | 0.34 | 2021 |
| Impact of programming languages on machine learning bugs | 0 | 0.34 | 2021 |
| Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild | 0 | 0.34 | 2020 |
| A Programming Model for Semi-Implicit Parallelization of Static Analyses | 1 | 0.35 | 2020 |
| Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy | 1 | 0.35 | 2020 |
| Language-integrated privacy-aware distributed queries | 0 | 0.34 | 2019 |
| Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City | 0 | 0.34 | 2019 |
| Online Reprogrammable Multi Tenant Switches. | 1 | 0.35 | 2019 |
| Investigating next steps in static API-misuse detection | 1 | 0.36 | 2019 |
| DTN7 - An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7. | 3 | 0.42 | 2019 |
| A Systematic Evaluation of Static API-Misuse Detectors | 22 | 0.70 | 2019 |
| Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs | 3 | 0.39 | 2019 |
| A fault-tolerant programming model for distributed interactive applications | 0 | 0.34 | 2019 |
| CodeMatch. | 0 | 0.34 | 2018 |
| Fault-tolerant Distributed Reactive Programming. | 2 | 0.40 | 2018 |
| Call graph construction for Java libraries. | 3 | 0.37 | 2018 |
| Versatile event correlation with algebraic effects | 0 | 0.34 | 2018 |
| Systematic evaluation of the unsoundness of call graph construction algorithms for Java. | 3 | 0.38 | 2018 |
| CrySL : An Extensible Approach to Validating the Correct Usage of Cryptographic APIs | 7 | 0.44 | 2018 |
| CogniCrypt: supporting developers in using cryptography. | 5 | 0.41 | 2017 |
| A Co-contextual Type Checker for Featherweight Java . | 0 | 0.34 | 2017 |
| On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. | 3 | 0.38 | 2017 |
| Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation | 1 | 0.35 | 2017 |
| A dataset of simplified syntax trees for C#. | 8 | 0.66 | 2016 |
| CPL: A Core Language for Cloud Computing - Technical Report. | 0 | 0.34 | 2016 |
| Debugging for reactive programming. | 7 | 0.47 | 2016 |
| MUBench: a benchmark for API-misuse detectors. | 19 | 0.69 | 2016 |
| Intelligent Code Completion with Bayesian Networks. | 17 | 0.83 | 2015 |
| Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) | 5 | 0.43 | 2015 |
| Towards standardized evaluation of developer-assistance tools | 9 | 0.64 | 2014 |
| SPLLIFT: statically analyzing software product lines in minutes instead of years | 25 | 0.78 | 2014 |
| Modular specification and dynamic enforcement of syntactic language constraints when generating code | 1 | 0.41 | 2014 |
| Finding bugs in program generators by dynamic analysis of syntactic language constraints | 0 | 0.34 | 2014 |
| i3QL: language-integrated live data views | 7 | 0.46 | 2014 |
| Blending and reusing rules for architectural degradation prevention | 10 | 0.53 | 2014 |
| REScala: bridging between object-oriented and functional style in reactive applications | 28 | 1.25 | 2014 |
| JEScala: modular coordination with declarative events and joins | 5 | 0.43 | 2014 |
| Programming with Implicit Flows. | 3 | 0.48 | 2014 |
| Method-call recommendations from implicit developer feedback | 5 | 0.40 | 2014 |
| Towards Reactive Programming for Object-Oriented Applications. | 3 | 0.41 | 2013 |
| Automated API Property Inference Techniques | 80 | 2.04 | 2013 |
| XPoints: Extension Interfaces for Multilayered Applications | 0 | 0.34 | 2013 |
| Reactive behavior in object-oriented applications: an analysis and a research roadmap | 13 | 0.94 | 2013 |
| Template constructors for reusable object initialization | 0 | 0.34 | 2013 |
| Modular specification and checking of structural dependencies | 7 | 0.49 | 2013 |
| Incremental concrete syntax for embedded languages with support for separate compilation | 6 | 0.43 | 2013 |
| A recommendation system for exception handling code | 3 | 0.38 | 2012 |
