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 |