Category: Uncategorized

We are organizing the Dynamic Languages Symposium (DLS’15)

The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow. More details and …

Continue reading

2 papers on Hop and Hop.js in PPDP’15 and DBPL’15

Jthread, a deadlock-free mutex library Johan Grande, Gérard Boudol and Manuel Serrano have proposed a new library for Hop, that avoids and prevents deadlocks — the paper is published at the International Symposium on Principles and Practice of Declarative Programming (PPDP’15) Requesting heterogeneous data sources with array comprehensions in Hop.js Yoann Couillec and Manuel Serrano …

Continue reading

2 papers on JavaScript security to appear in TGC’15

Tamara Rezk together with her co-authors has two new papers to appear in Trustworthy Global Computing Symposium (TGC’15), both tackling different aspects of information flow security for JavaScript programs: Hybrid Typing Secure Information Flow in a JavaScript-like Language José Fragoso Santos, Thomas Jensen, Tamara Rezk and Alan Schmitt Modular Monitor Extensions for Information Flow Security …

Continue reading

Welcome to Colin Vidal, a new PhD student

A new PhD student, Colin Vidal, joined INDES on 1 July 2015 to work under the supervision of Manuel Serrano. Welcome, Colin!

New article in the Journal of Mathematical Structures in Computer Science

In their new article in the Journal of Mathematical Structures in Computer Science, Ilaria Castellani (INDES), Sara Capecchi and Mariangiola Dezani-Ciancaglini (University of Turin) propose a monitored semantics for a multiparty session calculus and show that it enforces a secure information flow property.

PhD positions and Internships at INDES

We have three PhD positions and five internships available for highly motivated students interested in web programming and security. For more information, see the job section : jobs.

The symposium on Trends in Functional Programming (TFP 2015), Sophia Antipolis (France), June 3-5 2015

The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. Authors of draft papers will …

Continue reading

International Symposium on Engineering Secure Software and Systems (ESSoS 2015), Milan (Italy), March 4-6 2015

Call for participation Date: March 4 – 6, 2015 Venue: Milan, Italy Website: Deadlines: January 25, 2015 (Early bird) In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP). Context and motivation Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the …

Continue reading

INDES new website is launched!

The website is powered by WordPress and uses the Inria’s custom Graphene template.