Despite the best efforts of the security community, security vulnerabilities in software are still
prevalent, with new vulnerabilities reported daily and older ones stubbornly repeating …

Blockchain platforms, such as Ethereum, promise to facilitate transactions on a
decentralized computing platform among parties that have not established trust. Recognition …

Programming language design requires making many usability-related design decisions.
However, existing HCI methods can be impractical to apply to programming languages …

Annotations have been formally introduced into Java since Java 5. Since then, annotations
have been widely used by the Java community for different purposes, such as compiler …

Intensive use of libraries in Java projects brings potential risk of dependency conflicts, which
occur when a project directly or indirectly depends on multiple versions of the same library …

Blindspots in APIs can cause software engineers to introduce vulnerabilities, but such
blindspots are, unfortunately, common. We study the effect APIs with blindspots have on …

A pluggable type system extends a host programming language with type qualifiers. It lets
programmers write types like unsigned int, secret string, and nonnull object. Typechecking …

Some blockchain programs (smart contracts) have included serious security vulnerabilities.
Obsidian is a new typestate-oriented programming language that uses a strong type system …

Rust is a general-purpose programming language that is both type-and memory-safe. Rust
does not use a garbage collector, but rather achieves these properties through a …

Approaches for programming language design used commonly in the research community
today center around theoretical and performance-oriented evaluation. Recently, researchers …