Manuel Serrano

Orcid: 0009-0007-3103-4181

Affiliations:
  • INRIA, France


According to our database1, Manuel Serrano authored at least 62 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Static Basic Block Versioning.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023
Pseudoalignment tools as an efficient alternative to detect repeated transposable elements in scRNAseq data.
Bioinform., January, 2023

An Executable Semantics for Faster Development of Optimizing Python Compilers.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Evolutionary Algorithms: A new hope for the future of music teaching.
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

2022
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters.
Proc. ACM Program. Lang., 2022

JavaScript Sealed Classes (Artifact).
Dagstuhl Artifacts Ser., 2022

On JavaScript Ahead-of-Time Compilation Performance (Keynote).
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

JavaScript Sealed Classes.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
Interactive Music and Synchronous Reactive Programming -.
Art Sci. Eng. Program., 2021

Of JavaScript AOT compilation performance.
Proc. ACM Program. Lang., 2021

SecureJS compiler: portable memory isolation in JavaScript.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Causality Error Tracing in HipHop.js.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020
HipHop.js: (A)Synchronous reactive web programming.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Dynamic property caches: a step towards faster JavaScript proxy objects.
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019
Composing and executing Interactive music using the HipHop.js language.
Proceedings of the 19th International Conference on New Interfaces for Musical Expression, 2019

Property caches revisited.
Proceedings of the 28th International Conference on Compiler Construction, 2019

2018
Web Programming Chairs' Welcome & Organization.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Hiphop.js: a language to orchestrate web applications.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

JavaScript AOT compilation.
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017
Variable structure robot control systems: The RAPP approach.
Robotics Auton. Syst., 2017

2016
A glimpse of Hopjs.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

SIMON: Integration of ICT Solutions for Mobility and Parking.
Proceedings of the Computers Helping People with Special Needs, 2016

The Computer Scientist Nightmare - My Favorite Bug.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
Jthread, a deadlock-free mutex library.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Requesting heterogeneous data sources with array comprehensions in hop.js.
Proceedings of the 15th Symposium on Database Programming Languages, 2015

SIMON: Integration of mobility and parking solutions for people with disabilities.
Proceedings of the Assistive Technology, 2015

2014
Multitier Debugging of Web Applications.
Proceedings of the Web Information Systems and Technologies, 2014

A Multitier Debugger for Web Applications.
Proceedings of the WEBIST 2014, 2014

Locking fast.
Proceedings of the Symposium on Applied Computing, 2014

Energy, technologies and cities.
Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014

Hop and HipHop: Multitier Web Orchestration.
Proceedings of the Distributed Computing and Internet Technology, 2014

2012
Reasoning about Web Applications: An Operational Semantics for HOP.
ACM Trans. Program. Lang. Syst., 2012

Multitier Programming in Hop.
ACM Queue, 2012

2011
Automated Code Injection Prevention for Web Applications.
Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

An interpreter for server-side hop.
Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010
A multi-tier semantics for Hop.
High. Order Symb. Comput., 2010

HSS: a compiler for cascading style sheets.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

NOBEL - A Neighborhood Oriented Brokerage ELectricity and Monitoring System.
Proceedings of the Energy-Efficient Computing and Networking, 2010

2009
Hop, a Fast Server for the Diffuse Web.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2007
Hop Client-Side Compilation.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Programming web multimedia applications with hop.
Proceedings of the 15th International Conference on Multimedia 2007, 2007

HOP: an environment for developing web 2.0 applications.
Proceedings of the International Lisp Conference, 2007

An adaptive package management system for scheme.
Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006
Hop: a language for programming the web 2.0.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Editorial.
High. Order Symb. Comput., 2005

Skribe: a functional authoring language.
J. Funct. Program., 2005

2004
Bigloo.NET: compiling Scheme to .NET CLR.
J. Object Technol., 2004

Scheme fair threads.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Programming graphical user interfaces with Scheme.
J. Funct. Program., 2003

2002
Biglook: A Widget Library for the Scheme Programming Language.
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, 2002

Compiling scheme to JVM bytecode: : a performance study.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2000
Bee: an integrated development environment for the Scheme programming language.
J. Funct. Program., 2000

Understanding memory allocation of scheme programs.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Vers une programmation fonctionnelle praticable.
, 2000

1999
Wide Classes.
Proceedings of the ECOOP'99, 1999

1997
Inline Expansion: When and How?
Proceedings of the Programming Languages: Implementations, 1997

1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

Security and Communication in Mobile Object Systems.
Proceedings of the Mobile Object Systems, 1996

Storage Use Analysis and its Applications.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1995
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages
Proceedings of the Static Analysis, 1995

Control flow analysis: a functional languages compilation paradigm.
Proceedings of the 1995 ACM symposium on applied computing, 1995

1994
Using Higher-Order Control Flow Analysis When Compiling Functional Languages.
Proceedings of the Programming Language Implementation and Logic Programming, 1994


  Loading...