Related Articles

Articles tagged by tooling

Home

Categories

Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

Authors: Nicolas Berthier
Date: 2023-01-12
Category: Formal Methods
Tags: Java, security, tooling, static analysis, formal methods, formal verification, Development Tools

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ... (Read more)

Memthol: exploring program profiling

Authors: Adrien Champion
Date: 2020-12-01
Category: Rust
Tags: tooling, memory, ocp-memprof, profiling, ocaml

Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of part of the allocations performed by some execution of a program. For information regarding building memthol, features, browser compatibility… refer... (Read more)

OCamlPro Highlights: November 2013

Authors: Fabrice Le Fessant
Date: 2013-12-03
Category: OCaml
Tags: ocaml, tooling

New Team Members We are pleased to welcome three new members in our OCamlPro team since the beginning of November: Benjamin Canou started working at OCamlPro on the Richelieu project, an effort to bring better safety and performance to the Scilab language. He is in charge of a type inference algorit... (Read more)

OCamlPro’s Contributions to OCaml 4.00.0

Authors: Fabrice Le Fessant
Date: 2012-08-20
Category: OCaml
Tags: ocaml, tooling

OCaml 4.00.0 has been released on July 27, 2012. For the first time, the new OCaml includes some of the work we have been doing during the last year. In this article, I will present our main contributions, mostly funded by Jane Street and Lexifi. Binary Annotations for Advanced Development Tools OCa... (Read more)

Profiling OCaml amd64 code under Linux

Authors: Çagdas Bozman
Date: 2012-08-08
Category: OCaml
Tags: ocaml, tooling

We have recently worked on modifying the OCaml system to be able to profile OCaml code on Linux amd64 systems, using the processor performance counters now supported by stable kernels. This page presents this work, funded by Jane Street. The patch is provided for OCaml version 4.00.0. If you need it... (Read more)

Packing and Functors

Authors: Fabrice Le Fessant
Date: 2011-08-10
Category: OCaml
Tags: ocaml, tooling

We have recently worked on modifying the OCaml system to be able to pack a set of modules within a functor, parameterized on some signatures. This page presents this work, funded by Jane Street. All the patches on this page are provided for OCaml version 3.12.1. Packing Functors Installation of the ... (Read more)