HipHopSec Contributions

Spencer Florence PhD

  • Esterel Calculus
  • R. Findler (supervisor), C. Dimoulas, G. Berry, M. Serrano (examiners)
Florence's thesis work on the Language Esterel

HipHop.js

A new HipHop version is available. This version fixes many small correctness issues and improve significantly execution speed.

HipHop @ FDL'20

M. Serrano gave a keynote presentation about HipHop.js and synchronous/asynchronous programming of Web and IoT applications.

Lisinopril.hh.js @ Synchron 2020

  • G. Berry
G. Berry gave a talk on Lisinopril.hh.js at Synchron 2020. Lisinopril is a HipHop implementation of a medical prescription for delivery Lisinopril doses.

HipHop.js @ PPDP'21

  • ppdp21.pdf
  • J. Krishnamurthy & M. Serrano
    • Causality Error Tracing in HipHop.Js.

Sealed Classes @ ECOOP 2022

  • M. Serrano
M. Serrano gave a talk on Hop.js Sealed Classes at ECOOP 2022, Berlin Germany.

Hop.js @ StrangeLoop 2022

  • M. Serrano
M. Serrano gave a talk on Hop.js at StrangeLoop 2022, a conference developper. Saint Louis, USA.

Hop.js @ MPLR 2022

  • M. Serrano
M. Serrano gave a talk on Hop.js at MPLR 2022 on ahead-of-time JavaScript compilation. Bruxelles, Belgium.

Scotty @ OOPSLA 2022

  • J. Hoeflich, R. Findler, M. Serrano
J. Hoeflich gave a talk on Scotty at Oopsla 2022. Scotty is a tool for automatic error detection of DefinitelyType types.

Hop.js

A new Hop version is available. This version introduces the support for TypeScript types.

HipHop.js

A new HipHop version is available. This version fixes many small correctness issues and improve significantly execution speed.

HipHop.js debug

Jayanth Krishnamurthy PhD

Krishnamurthy's thesis work on the debugging of HipHop.js programs.

Synchron 2023

R. Findler gave a talk on the new contiunation-based embedding of Esterel in Racket at the Synchron 2023 workshop.

HipHop.js on Node

A new HipHop version is about to be released available. It can be used on a bare Node.js system as it no longer depends on Hop.