Publication

On Using Static Analysis to Detect Type Errors in PHP Applications

Related publications (32)

Graph Chatbot

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.

Structural Insights into Electrophiles and Electrophilic Metabolites Sensing and Signaling: The Missing Information

Yimon Aye, Chloé Rogg

Native reactive electrophilic species (RES) are long-recognized regulators of pathophysiology; yet, knowledge surrounding how RES regulate context-specific biology remains limited. The latest technological advances in profiling and precision decoding of RE ...

WILEY-V C H VERLAG GMBH2023

The application of digital technologies to historical newspapers has changed the research landscape historians were used to. An Eldorado? Despite undeniable advantages, the new digital affordance of historical newspapers also transforms research practices ...

De Gruyter2022

Designing cities in a changing world. Opening words

Elena Cogato Lanza, Martina Barcelloni Corte

The Seminar is addressed to doctoral students in the fields of Architecture, Urbanism, Global Health & Humanities and Social Sciences, interested in the use of the One Health concept (OH) as a tool to tackle urban themes (the city, the territory and the wa ...

2021

A Modular Workflow for Model Building, Analysis, and Parameter Estimation in Systems Biology and Neuroscience

Daniel Keller, Andrii Stepaniuk

Neuroscience incorporates knowledge from a range of scales, from single molecules to brain wide neural networks. Modeling is a valuable tool in understanding processes at a single scale or the interactions between two adjacent scales and researchers use a ...

HUMANA PRESS INC2021

Data management and modelling of composite materials fatigue behavior

In this paper, we will present an update for the previously developed CCFatigue computational tool. This tool has been built around several analysis methods for fatigue life predictions of composite materials and includes modules that allow analysis over c ...

2021

Automated Design: A Journey Across Modelling, Optimization, and Education

Cyril Picard

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

, ,

Existing connectivity-oriented performance measures rank road delineation algorithms inconsistently, which makes it difficult to decide which one is best for a given application. We show that these inconsistencies stem from design flaws that make the metri ...

2020

Ivan Illich's research has accurately described the changing relationship between the experience of reading and the experience of the body. He sees the screen as a new tool for reading and begins to consider research hypotheses about this transformation. T ...

2020

On design strategies for binary dielectric metasurfaces based on the Fourier modal method

Kévin Müller

Binary dielectric metasurfaces are arrays of sub-wavelength structures that act as a thin layer of artificial material. They are generally lossless and relatively simple to fabricate since only a single structuring step is required. By carefully designing ...

EPFL2020

Analysis of the sensitivity of the hydromorphological index of diversity, HMID

Anton Schleiss, Walter Gostner, Mário Jorge Rodrigues Pereira Da Franca, Severin Stähly, Christopher Robinson

Hydromorphological conditions are a key factor for the habitat diversity in riverine ecosystems. The Hydromorphological Index of Diversity (HMID) is a tool to quantify the habitat diversity in a river reach based on local flow depths and flow velocities. T ...

2018