Concept
Bibliothèque standard du C
Publications associées (35)
HP - A code for the calculation of Hubbard parameters using density-functional perturbation theory
Nicola Marzari, Iurii Timrov, Matteo Cococcioni
We introduce HP, an implementation of density-functional perturbation theory, designed to compute Hubbard parameters (on-site U and inter-site V ) in the framework of DFT+U and DFT+U+V. The code does not require the use of computationally expensive superce ...
ELSEVIER2022Linear Lipschitz and C-1 extension operators through random projection
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2021HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation
Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...
USENIX ASSOC2020Verifying Software Network Functions with No Verification Expertise
George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo
We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...
ACM2019Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux
Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...
ACM2017Extending Safe C Support In Leon
As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...
2017Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux
Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...
ACM2017Uniting Language Embeddings for Fast and Friendly DSLs
The holy grail for a domain-specific language (DSL) is to be friendly and fast. A DSL should be friendly in the sense that it is easy to use by DSL end-users, and easy to develop by DSL authors. DSLs can be developed as entirely new compilers and ecosystem ...
EPFL2016Obey: Code Health for Scala.Meta
Obey is a user-friendly tool that helps programmers enforce code health requirements in their projects. Requirements are expressed as rules, written with the TQL library combinators used to traverse scala.meta trees, that generate compiler warnings and can ...
2015Forge: Generating a High Performance DSL Implementation from a Declarative Specification
Domain-specific languages provide a promising path to automatically compile high-level code to parallel, heterogeneous, and distributed hardware. However, in practice high performance DSLs still require considerable software expertise to develop and force ...
Assoc Computing Machinery2014