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