À propos
I am both a developer, a researcher, a manager and an open-source mentor. I started…
Articles de David
Contributions
Activité
-
XCOMMUNICATE LOL HiFidelity Earth-Links Radio 6 is the alternative Human Centric network of the people, by the people and most definitely for the…
XCOMMUNICATE LOL HiFidelity Earth-Links Radio 6 is the alternative Human Centric network of the people, by the people and most definitely for the…
Aimé par David Teller
-
Advice: If you are a junior, avoid jobs where you work in isolation. 1) No communication 2) No code reviews 3) No design discussions You progress…
Advice: If you are a junior, avoid jobs where you work in isolation. 1) No communication 2) No code reviews 3) No design discussions You progress…
Aimé par David Teller
-
What a disaster! Why do some businesses and governments still put their confidential data on weak central proprietary platforms like Slack or…
What a disaster! Why do some businesses and governments still put their confidential data on weak central proprietary platforms like Slack or…
Aimé par David Teller
Expérience
Formation
-
École normale supérieure de Lyon
-
Activités et associations :Acting, Improv acting team, Aikido, Robotics team, Epistemology, Scientific debate team
PhD obtained with Highest Honors.
-
-
Admission to ENS Lyon (12 seats for the whole country).
Publications
-
OPA: Language support for a Sane, Safe and Secure Web
Open Web Application Security Project (OWASP) AppSec Research
Web applications and services have critical needs in terms of safety, security and privacy: they need to remain available constantly and may at any time be the object of attacks by malicious and anonymous distant users attempting to take control, alter or steal data, or cause unwanted behaviors. Unfortunately, recent history shows numerous cases of popular web applications falling victim to such attacks, despite considerable efforts to secure them.
In this paper, we introduce OPA (One…Web applications and services have critical needs in terms of safety, security and privacy: they need to remain available constantly and may at any time be the object of attacks by malicious and anonymous distant users attempting to take control, alter or steal data, or cause unwanted behaviors. Unfortunately, recent history shows numerous cases of popular web applications falling victim to such attacks, despite considerable efforts to secure them.
In this paper, we introduce OPA (One Pot Application), a new platform designed to make web development sane, safe and secure. OPA provides an integrated methodology where the complete application is written with one simple language with consistent semantics and enforces safe use of the infrastructure through compile-time static checking. OPA provides a novel programming paradigm suited to the web that encourages correct-by-construction development.
Other authors -
Catch me if you can, Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
Proceedings of International symposium on Functional Languages
This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some variant of this mechanism. Languages such as Java even have a degree of out-of-the-box static coverage-checking for such exceptions, which is currently not available for ML languages, at least not without resorting to external tools.
In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with static…This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some variant of this mechanism. Languages such as Java even have a degree of out-of-the-box static coverage-checking for such exceptions, which is currently not available for ML languages, at least not without resorting to external tools.
In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with static coverage-checking, automatically-inferred, structurally typed and hierarchical exceptional cases, all of this for what we believe is a reasonable run-time cost. Our work is based on OCaml and fea- tures simple uses of higher-order programming, low-level excep- tions, phantom types, polymorphic variants and compile-time code rewriting.Other authors -
Towards resource-safe network services
Proceedings of Workshop on Collaboration and Security
(best paper award)
Slowly but surely, the language industry is discovering the need for programming languages, runtime supports and methodologies adapted to distributed computing platforms. However, current distributed platforms, whether industrial or academic, are generally fragile with respect to resource exhaustion, and can provide, at best, ad hoc solutions to counter accidents or Denial of Service attacks. In this paper, we examine the problem of resource management in Erlang. Using…(best paper award)
Slowly but surely, the language industry is discovering the need for programming languages, runtime supports and methodologies adapted to distributed computing platforms. However, current distributed platforms, whether industrial or academic, are generally fragile with respect to resource exhaustion, and can provide, at best, ad hoc solutions to counter accidents or Denial of Service attacks. In this paper, we examine the problem of resource management in Erlang. Using Tepic, an applied variant of the pi-calculus, we provide a formal semantics for a subset of Core Erlang and a sample of its library, with a formal notion of resource usage, resource exhaustion and robustness. We then complete these definitions by a type system whose judgements guarantee robustness of a program with respect to Denial of Service attacks.
Cours
-
Computability
-
-
Computer Architecture
-
-
Cryptograhy
-
-
Logics
-
-
Object-Oriented Programming (Java, Smalltalk)
-
-
Operating Systems Design and Implementation
-
-
Semantics
-
-
Systems Programming
-
Projets
-
Mjölnir
The backbone for decentralizing moderation and reputation on the Matrix secure communication network.
-
Synapse
The reference server for the Matrix protocol used to secure the communication of several governments around the world.
-
Servo
- aujourd’hui
A browser rendering engine redesigned for the age of multi-core and GPU architectures.
-
Caramba Piranhas
A small open-source HTML5 game, designed both as support for a tutorial and for the Firefox Marketplace.
-
Opa
-
A groundbreaking research language designed specifically for the development of tierless distributed/cloud web applications.
Other creatorsSee project -
OCaml Batteries Included
-
OCaml Batteries included (or simply "Batteries") is a community-driven effort to standardize on an consistent, documented, and comprehensive development platform for the OCaml programming language.
Batteries is meant to serve the following purposes:
- define a standard set of libraries which may be expected on every compliant installation of OCaml;
- organize these libraries into a hierarchy of modules;
- define a standard set of language extensions (based on CamlP4) which may…OCaml Batteries included (or simply "Batteries") is a community-driven effort to standardize on an consistent, documented, and comprehensive development platform for the OCaml programming language.
Batteries is meant to serve the following purposes:
- define a standard set of libraries which may be expected on every compliant installation of OCaml;
- organize these libraries into a hierarchy of modules;
- define a standard set of language extensions (based on CamlP4) which may be expected on every compliant installation of OCaml;
I started project OCaml Batteries Included. I was the leader and main developer until the first releases, date at which I passed the mantle due to conflicts with new professional activities.Other creators -
Langues
-
English
Bilingue ou langue natale
-
French
Bilingue ou langue natale
-
German
Capacité professionnelle générale
-
Spanish
Capacité professionnelle générale
-
Italian
Notions
-
Spanish
Compétence professionnelle limitée
-
Italian
Compétence professionnelle limitée
Recommandations reçues
7 personnes ont recommandé David
Inscrivez-vous pour y accéderPlus d’activités de David
-
JO de Paris : hôtels vides, loyers toujours fous, la double peine. Qui aurait pu prédire ? Qui aurait pu se douter que les près de 50 millions de…
JO de Paris : hôtels vides, loyers toujours fous, la double peine. Qui aurait pu prédire ? Qui aurait pu se douter que les près de 50 millions de…
Aimé par David Teller
-
Corporate culture pet peeve: You do NOT get to "hold me accountable." I GET to take responsibility. There are two completely different concepts.…
Corporate culture pet peeve: You do NOT get to "hold me accountable." I GET to take responsibility. There are two completely different concepts.…
Aimé par David Teller
Autres profils similaires
Autres personnes nommées David Teller
-
David Teller
-
David Teller
Leadership | Major Projects | Transport | Urban Development | Infrastructure Advisory
-
David Teller
-
David Teller
-
David Teller
60 autres personnes nommées David Teller sont sur LinkedIn
Autres personnes nommées David Teller