Catégorie
Programmation informatique
Publications associées (373)
Refutation-based synthesis in SMT
Viktor Kuncak, Andrew Joseph Reynolds
We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...
SPRINGER2019Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)
Christoph Koch, Amir Shaikhha, Vojin Jovanovic
In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...
ASSOC COMPUTING MACHINERY2019Successive Refinement to Caching for Dynamic Content
Michael Christoph Gastpar, Pinar Sen
To reduce the network load during peak hours, servers deliver partial data to users during the off-peak time of the network before the actual requests are known, which is known as caching. This paper studies a single user caching problem in which the file ...
IEEE2019Molecular nanostructures based on polyfunctional clathrochelate complexes
This thesis describes the design and synthesis of clathrochelate metalloligands for the construction of molecular nanostructures. The low synthetic effort, versatility and stability of the clathrochelate metalloligands makes them particularly suited to the ...
EPFL2019Seismic behavior of pine flat concrete gravity dam using microplane damage-plasticity model
Giovanni De Cesare, Pedro Filipe De Almeida Manso, Samuel Luke Vorlet
The response of concrete gravity dams under seismic loads is a major concern of dam safety assessment in earthquake-prone areas. This study focuses on the seismic analysis of the tallest non-overflow monolith of Pine Flat Dam. The paper presents results of ...
2019A Rule Synthesis Algorithm for Programmable Stochastic Self-Assembly of Robotic Modules
Alcherio Martinoli, Bahar Haghighat
Programmable self-assembly of modular robots offers promising means for structure formation at different scales. Rule-based approaches have been previously employed for distributed control of stochastic self-assembly processes. The assembly rate in the pro ...
SPRINGER INTERNATIONAL PUBLISHING AG2019PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications
Mathias Josef Payer, Zhenyu Wu
setuid system calls enable critical functions such as user authentications and modular privileged components. Such operations must only be executed after careful validation. However, current systems do not perform rigorous checks, allowing exploitation of ...
ASSOC COMPUTING MACHINERY2019Delineation of the Critical Parameters of Salt Catalysts in the N-Formylation of Amines with CO2
Paul Joseph Dyson, Martin Hulla, Dmitry Vasilyev
N-formylation of amines with CO2 is base-catalyzed and studies of salt catalysts reveal that the reaction is efficiently catalyzed by "free" floating anions of high basicity, as represented in the cover image. More information can be found in the Full Pape ...
WILEY-V C H VERLAG GMBH2019Progress in modelling solidification microstructures in metals and alloys: dendrites and cells from 1700 to 2000
This is the first account of the history of our understanding of, and ability to model, solidification microstructures. Its objective is to retrace the scientific steps made, from the earliest observations of the eighteenth century to our present-day under ...
TAYLOR & FRANCIS LTD2019Code Generation in Computational Neuroscience: A Review of Tools and Techniques
Michael Lee Hines, Pramod Shivaji Kumbhar, Romain Brette
Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...
2018