Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation
Abstract elided by the publisher.
26,098 papers · page 246 of 1,305
Bootstrapping Library-Based Synthesis
Abstract elided by the publisher.
Boosting Robustness Verification of Semantic Feature Neighborhoods
Abstract elided by the publisher.
Fast and Incremental Computation of Weak Control Closure
Abstract elided by the publisher.
Local Completeness Logic on Kleene Algebra with Tests
Abstract elided by the publisher.
Parameterized Recursive Refinement Types for Automated Program Verification
Abstract elided by the publisher.
Adversarial Logic
Abstract elided by the publisher.
Towards Efficient Reasoning of Quantum Programs
Abstract elided by the publisher.
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Abstract elided by the publisher.
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution
Symbolic execution has become a foundational program analysis technique. Performing symbolic execution unavoidably encounters internal functions (e.g., library functions) that provide basic operations such as string processing. Many symbolic execution engines construct internal f…
An exploratory study on the predominant programming paradigms in Python code
Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using procedures, using classes, or in a functional style. To date, no one has studied what paradigm(s), i…
Performing large-scale mining studies: from start to finish (tutorial)
Modern software engineering research often relies on mining open-source software repositories, to either provide motivation for their research problems and/or evaluation of the proposed approach. Mining ultra-large-scale software repositories is still a difficult task, requiring …
Dynamic data race prediction: fundamentals, theory, and practice (tutorial)
Data races are the most common concurrency bugs and considerable efforts are put in ensuring data-race-free (DRF) programs. The most popular approach is via dynamic analyses, which soundly report DRF violations by analyzing program executions. Recently, there has been a prevalent…
A retrospective study of one decade of artifact evaluations
Most software engineering research involves the development of a prototype, a proof of concept, or a measurement apparatus. Together with the data collected in the research process, they are collectively referred to as research artifacts and are subject to artifact evaluation (AE…
SolSEE: a source-level symbolic execution engine for solidity
Most of the existing smart contract symbolic execution tools perform analysis on bytecode, which loses high-level semantic information presented in source code. This makes interactive analysis tasks—such as visualization and debugging—extremely challenging, and significantly limi…
Semi-supervised pre-processing for learning-based traceability framework on real-world software projects
The traceability of software artifacts has been recognized as an important factor to support various activities in software development processes. However, traceability can be difficult and time-consuming to create and maintain manually, thereby automated approaches have gained m…
Trace analysis based microservice architecture measurement
Microservice architecture design highly relies on expert experience and may often result in improper service decomposition. Moreover, a microservice architecture is likely to degrade with the continuous evolution of services. Architecture measurement is thus important for the lon…
JSIMutate: understanding performance results through mutations
Understanding the performance characteristics of software systems is particular relevant when looking at design alternatives. However, it is a very challenging problem, due to the complexity of interpreting the role and incidence of the different system elements on performance me…
Are we building on the rock? on the importance of data preprocessing for code summarization
Code summarization, the task of generating useful comments given the code, has long been of interest. Most of the existing code summarization models are trained and validated on widely-used code comment benchmark datasets. However, little is known about the quality of the benchma…
Context-aware code recommendation in Intellij IDEA
Developers spend a lot of time online, searching for code to help them implement their desired features. While code recommenders help improve developers’ productivity, there is currently no support for context-aware code recommendation for opportunistic code reuse on-the-go. Typi…