Concept
Génie logiciel
Publications associées (175)
Creating Trust by Abolishing Hierarchies
Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian
Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...
Association for Computing Machinery2023Temporal windows of unconscious processing cannot easily be disrupted
Michael Herzog, Leila Drissi Daoudi - Kleinbauer, Lukas Vogelsang
Conscious perception is preceded by long periods of unconscious processing. These periods are crucial for analyzing temporal information and for solving the many ill-posed problems of vision. An important question is what starts and ends these windows and ...
Assoc Research Vision Ophthalmology Inc2023Prompting Large Language Models to Power Educational Chatbots
Denis Gillet, Juan Carlos Farah, Sandy Ingram, Fanny Kim-Lan Lasne
The recent rise in both popularity and performance of large language models has garnered considerable interest regarding their applicability to education. Technologies like ChatGPT, which can engage in human-like dialog, have already disrupted educational ...
Springer2023Impersonating Chatbots in a Code Review Exercise to Teach Software Engineering Best Practices
Denis Gillet, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Sandy Ingram, Vandit Sharma
Over the past decade, the use of chatbots for educational purposes has gained considerable traction. A similar trend has been observed in social coding platforms, where automated agents support software developers with tasks such as performing code reviews ...
IEEE2022Toward Code Review Notebooks
Denis Gillet, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Sandy Ingram
Peer code review has proven to be a valuable tool in software engineering. However, integrating code reviews into educational contexts is particularly challenging due to the complexity of both the process and popular code review tools. We propose to addres ...
IEEE2022Hardware and Software Support for RPC-Centric Server Architecture
Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...
EPFL2022STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale
James Gonzalo King, Pramod Shivaji Kumbhar, Iain Hepburn, Weiliang Chen, Tristan Mathieu Carel, Alessandro Cattabiani, Nicola Cantarutti, Omar Awile, Christos Kotsalos, Samuel Marie A Melchior, Baudouin Paul Michel Maria Joseph Del Marmol, Giacomo Castiglioni
Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...
FRONTIERS MEDIA SA2022Towards reproducible software studies with MAO and Renku
Pamela Isabel Delgado Borda, Christine Choirat
In software engineering, the developers' joy of decomposing and recomposing microservice-based applications has led to an enormous wave of microservice artefact technologies. To understand them better, researchers perform hundreds of experiments and empiri ...
ELSEVIER2022Simulating time-varying strong lenses
We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...
OXFORD UNIV PRESS2022Automated Verification of Network Function Binaries
George Candea, Solal Vincenzo Pirelli
Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...
USENIX Association2022