Blogs sur: Static Analysis

Blog vedette

Last lecture

Note: This post is written on the 79th day of strike of Universities. Despite the overwhelming consensus against these bills, the government has just passed the application decrees implementing the po… la suite →

Il y a du thé renversé au bord de la table

Last lecture — 4 comments

yoric wrote 2 months ago: Note: This post is written on the 79th day of strike of Universities. Despite the overwhelming conse … more →

Mots-clefs : Enseignement, In English | en Anglais, Informatique - Computer Science, OCaml, Réforme des universités, Recherche / Research, SOCIETE, chercheur, chercheurs

Post-doctorate position in Programming Language Design

yoric wrote 10 months ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : Enseignement, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Security, Research, Programming

PhD positions in Formal Program Verification

yoric wrote 11 months ago: A colleague asked me to spread this information. PhD positions in Formal Program Verification are to … more →

Mots-clefs : In English | en Anglais, Informatique - Computer Science, Recherche / Research, academic, Computer Science, Foundations, job offer, PhD, Position

Improving exception-management in OCaml — 7 comments

yoric wrote 1 year ago: Short version Catch me if you can is a small library for OCaml 3.10. The latest release is version 0 … more →

Mots-clefs : In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, camlp4, catch, Code Generation, code rewriting, compiler support

Extrapol and Korset

yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, code analysis, complete

Extrapol source code available (not)

yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#

Extrapol, part 1: from C to Effects

yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wo … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Security, SELinux

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, Sûreté / Security, Security, Open-Source, Programming, security policies, Policies, dynamic analysis

JStify progress update (2)

yoric wrote 1 year ago: Work on JStify proceeds a bit slower than expected, due to difficulties with the specificationss … more →

Mots-clefs : firefox, In English | en Anglais, JStify, openberg, Recherche / Research, Sûreté / Security, ECMAScript, javascript, lexer

JStify -- Request For Comments — 8 comments

yoric wrote 1 year ago: Note Je mettrai en ligne sous peu une version française de ce billet. This entry contains the descri … more →

Mots-clefs : firefox, Sûreté / Security, Recherche / Research, In English | en Anglais, JStify, javascript, Extensions, Safety


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “static-analysis”:
Technorati Del.icio.us IceRocket