Programming languages and software engineering
Video
Why Aren’t More Users More Happy With Our VMs?
Programming language Virtual Machines (VM)s are now widely used, from server applications to web browsers. Published benchmarks regularly show that VMs can optimise programs to the same degree as, and often substantially better than, traditional…
Tool
Lean interactive theorem prover
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This…
Tool
Boogie intermediate verification language
Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers…
Video
PNW PLSE Workshop: Featured Talk: Why Not Both? Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
PNW PLSE Workshop: Welcome and Introductions
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
LiveHardware Development at UCSC
Prof. Renau will present the research effort by his team at University of California, Santa Cruz. The talk focuses in Live ASIC/FPGA flows to improve the productivity of hardware design, and if time permits a…
Video
PNW PLSE Workshop: Project Everest: Theory meets Reality
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
Collaborative Research: From Algorithms to Application Impact at Pacific Northwest National Lab (PNNL)
As a Department of Energy lab, computer science research at Pacific Northwest National Lab (PNNL) is closely tied to or motivated by the needs of scientific applications. In this talk, I will present a brief…
