Publications related to Topics in computer architecture

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer, Sirus Shahini

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

Caching and Neutrality

Pavlos Nikolopoulos, Muhammad Abdullah

We are used to defining network neutrality as absence of traffic differentiation, like policing or shaping. These mechanisms, however, are often not what determines end-users’ quality of experience (QoE). Most content today is accessed through edge caches, ...

ACM Association for Computing Machinery2023

Density Estimation In Rkhs With Application To Korobov Spaces In High Dimensions

Fabio Nobile, Yoshihito Kazashi

A kernel method for estimating a probability density function from an independent and identically distributed sample drawn from such density is presented. Our estimator is a linear combination of kernel functions, the coefficients of which are determined b ...

SIAM PUBLICATIONS2023

Robust discrete choice models with t-distributed kernel errors

Michel Bierlaire, Thomas Gasos, Prateek Bansal

Outliers in discrete choice response data may result from misclassification and misreporting of the response variable and from choice behaviour that is inconsistent with modelling assumptions (e.g. random utility maximisation). In the presence of outliers, ...

2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Nikolaos Stergiopoulos, Rodrigo Araujo Fraga Da Silva

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

2023

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

Critical Schrodinger Cat Qubit

Vincenzo Savona, Fabrizio Minganti, Luca Gravina

Encoding quantum information onto bosonic systems is a promising route to quantum error correc-tion. In a cat code, this encoding relies on the confinement of the dynamics of the system onto the two-dimensional manifold spanned by Schrodinger cats of oppos ...

AMER PHYSICAL SOC2023

Topics in computer architecture

Graph Chatbot

Chat with Graph Search

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Caching and Neutrality

Density Estimation In Rkhs With Application To Korobov Spaces In High Dimensions

Robust discrete choice models with t-distributed kernel errors

LISA – A Modern Proof System

Reliable Microsecond-Scale Distributed Computing

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Additive Fabrication of Microsupercapacitors

Dynamic Linkers Are the Narrow Waist of Operating Systems

Critical Schrodinger Cat Qubit

Caching and Neutrality

Density Estimation In Rkhs With Application To Korobov Spaces In High Dimensions

Reliable Microsecond-Scale Distributed Computing

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Dynamic Linkers Are the Narrow Waist of Operating Systems

Additive Fabrication of Microsupercapacitors

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Robust discrete choice models with t-distributed kernel errors

Critical Schrodinger Cat Qubit

LISA – A Modern Proof System