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
- hiphop-1.1.0 - github
- M. Serrano, G. Berry
A new HipHop version is available. This version fixes many small correctness issues
and improve significantly execution speed.
HipHop @ FDL'20
- FDL'20
- M. Serrano
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
- hiphop-3.6.0 - github
- M. Serrano
A new Hop version is available. This version introduces the support
for TypeScript types.
HipHop.js
- hiphop-1.2.0 - github
- M. Serrano, G. Berry
A new HipHop version is available. This version fixes many small correctness issues
and improve significantly execution speed.
HipHop.js debug
- hiphop-1.2.0 - github
- J. Krishnamurthy
Dynamic and static debugging support for HipHop.js To be announced.