Concept
Opérateur (informatique)
Publications associées (32)
On Proving and Disproving Equivalence of Functional Programming Assignments
Viktor Kuncak, Dragana Milovancevic
We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...
2021Momentum space CFT correlators for Hamiltonian truncation
We consider Lorentzian CFT Wightman functions in momentum space. In particular, we derive a set of reference formulas for computing two- and three-point functions, restricting our attention to three-point functions where the middle operator (corresponding ...
2020Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...
EPFL2020Smart Sensor Buoys - Scalable Solution for Continuous and Flexible Water Monitoring
Within this paper an industry-driven insight to an environmental development project will be given. The approach offers the novel possibility to interconnect commercially available sensors to economic and high-performance floating platforms. Each platform ...
Paul Scherrer Institute, World Resources Forum2019Nonvolatile Memory Crossbar Arrays for Non-von Neumann Computing
Irem Boybat Kara, Severin Sidler, Carmelo Di Nolfo
In the conventional von Neumann (VN) architecture, data—both operands and operations to be performed on those operands—makes its way from memory to a dedicated central processor. With the end of Dennard scaling and the resulting slowdown in Moore’s law, th ...
Springer India2017Towards Predicting Success in MOOCs: Programming Assignments
Pierre Dillenbourg, Patrick Jermann, Kshitij Sharma, Lukasz Kidzinski
Students of programming languages in massive on-line open courses (MOOCs) solve programming assignments in order to internalize the concepts. Programming assignments also constitute the assessment procedure for such courses. Depending on their motivation a ...
Books on Demand GmbH, Norderstedt2016