A Glimpse of Hopjs

Authors: Serrano, Manuel, Prunet, Vincent

Contributors: Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria, ACM

Source: 21th ACM International Conference on Functional Programming (ICFP)
International Conference on Functional Programming (ICFP)
https://inria.hal.science/hal-01350936
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩

Subject Terms: Functional Programming, Web Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Nara, Japan

Availability: https://inria.hal.science/hal-01350936
https://inria.hal.science/hal-01350936v1/document
https://inria.hal.science/hal-01350936v1/file/icfp16.pdf
https://inria.hal.science/hal-01350936v1/file/pipeline2.pdf
https://doi.org/10.1145/2951913.2951916

A Glimpse of Hopjs

Authors: Serrano, Manuel, Prunet, Vincent

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria, ACM

Source: 21th ACM International Conference on Functional Programming (ICFP)
International Conference on Functional Programming (ICFP)
https://hal.inria.fr/hal-01350936
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩

Subject Terms: Web Programming, Functional Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Nara, Japan

Relation: hal-01350936; https://hal.inria.fr/hal-01350936; https://hal.inria.fr/hal-01350936/document; https://hal.inria.fr/hal-01350936/file/icfp16.pdf; https://hal.inria.fr/hal-01350936/file/pipeline2.pdf

Availability: https://hal.inria.fr/hal-01350936
https://hal.inria.fr/hal-01350936/document
https://hal.inria.fr/hal-01350936/file/icfp16.pdf
https://hal.inria.fr/hal-01350936/file/pipeline2.pdf
https://doi.org/10.1145/2951913.2951916

Locking Fast

Authors: Serrano, Manuel, Grande, Johan

Contributors: Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Nice Sophia Antipolis (1965 - 2019) (UNS), ACM

Source: Symposium on Applied Computing ; https://inria.hal.science/hal-00912569 ; Symposium on Applied Computing, ACM, Mar 2014, Gyeongju, South Korea

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Gyeongju, South Korea

Availability: https://inria.hal.science/hal-00912569
https://inria.hal.science/hal-00912569v1/document
https://inria.hal.science/hal-00912569v1/file/lock.pdf

A compiler providing incremental scalability for web applications

Authors: Brodu, Etienne, Frénot, Stéphane, Cellier, Fabien, Oblé, Frédéric

Contributors: Data on the Internet at the Core of the Economy (DICE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Worldline France, LaBRI, Université de Bordeaux

Source: Middleware Posters and Demos '14 ; https://hal.science/hal-01076857 ; Middleware Posters and Demos '14, Dec 2014, Bordeaux, France. , ACM, 2014, Proceedings of the Posters & Demos Session. ⟨10.1145/2678508.2678526⟩ ; http://2014.middleware-conference.org/

Subject Terms: Javascript, Flow programming, Web, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Subject Geographic: Bordeaux, France

Availability: https://hal.science/hal-01076857
https://hal.science/hal-01076857v1/document
https://hal.science/hal-01076857v1/file/poster-vec.pdf
https://hal.science/hal-01076857v1/file/18-Brodu.pdf
https://hal.science/hal-01076857v1/file/main.pdf
https://doi.org/10.1145/2678508.2678526

A compiler providing incremental scalability for web applications

Authors: Brodu, Etienne, Frénot, Stéphane, Cellier, Fabien, Oblé, Frédéric

Contributors: Data on the Internet at the Core of the Economy (DICE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Worldline France, LaBRI, Université de Bordeaux

Source: Middleware Posters and Demos '14 ; https://hal.science/hal-01076857 ; Middleware Posters and Demos '14, Dec 2014, Bordeaux, France. , ACM, 2014, Proceedings of the Posters & Demos Session. ⟨10.1145/2678508.2678526⟩ ; http://2014.middleware-conference.org/

Subject Terms: Javascript, Flow programming, Web, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Subject Geographic: Bordeaux, France

Availability: https://hal.science/hal-01076857
https://hal.science/hal-01076857v1/document
https://hal.science/hal-01076857v1/file/poster-vec.pdf
https://hal.science/hal-01076857v1/file/18-Brodu.pdf
https://hal.science/hal-01076857v1/file/main.pdf
https://doi.org/10.1145/2678508.2678526

A compiler providing incremental scalability for web applications

Authors: Brodu, Etienne, Frénot, Stéphane, Cellier, Fabien, Oblé, Frédéric

Contributors: Data on the Internet at the Core of the Economy (DICE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Worldline France, LaBRI, Université de Bordeaux

Source: Middleware Posters and Demos '14 ; https://hal.science/hal-01076857 ; Middleware Posters and Demos '14, Dec 2014, Bordeaux, France. , ACM, 2014, Proceedings of the Posters & Demos Session. ⟨10.1145/2678508.2678526⟩ ; http://2014.middleware-conference.org/

Subject Terms: Javascript, Flow programming, Web, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Subject Geographic: Bordeaux, France

Relation: hal-01076857; https://hal.science/hal-01076857; https://hal.science/hal-01076857/document; https://hal.science/hal-01076857/file/poster-vec.pdf; https://hal.science/hal-01076857/file/18-Brodu.pdf; https://hal.science/hal-01076857/file/main.pdf

Availability: https://hal.science/hal-01076857
https://hal.science/hal-01076857/document
https://hal.science/hal-01076857/file/poster-vec.pdf
https://hal.science/hal-01076857/file/18-Brodu.pdf
https://hal.science/hal-01076857/file/main.pdf
https://doi.org/10.1145/2678508.2678526

Locking Fast

Authors: Serrano, Manuel, Grande, Johan

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Nice Sophia Antipolis (. - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), ACM

Source: Symposium on Applied Computing ; https://hal.inria.fr/hal-00912569 ; Symposium on Applied Computing, ACM, Mar 2014, Gyeongju, South Korea

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Gyeongju, South Korea

Relation: hal-00912569; https://hal.inria.fr/hal-00912569; https://hal.inria.fr/hal-00912569/document; https://hal.inria.fr/hal-00912569/file/lock.pdf

Availability: https://hal.inria.fr/hal-00912569
https://hal.inria.fr/hal-00912569/document
https://hal.inria.fr/hal-00912569/file/lock.pdf

Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?

Authors: Clauss, Philippe, Jimborean, Alexandra

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Informatique et Calcul Parallèle Scientifique (ICPS-LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot

Source: DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012 ; https://inria.hal.science/hal-00664339 ; DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot, Jan 2012, Paris, France

Subject Terms: speculative parallelization, run-time system, polytope model, dynamic and speculative parallelization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Paris, France

Availability: https://inria.hal.science/hal-00664339
https://inria.hal.science/hal-00664339v1/document
https://inria.hal.science/hal-00664339v1/file/paper.pdf

Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?

Authors: Clauss, Philippe, Jimborean, Alexandra

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Sciences de l'Image, de l'Informatique et de la Télédétection, équipe ICPS (LSIIT / ICPS), Centre National de la Recherche Scientifique (CNRS), Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot

Source: DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012 ; https://hal.inria.fr/hal-00664339 ; DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot, Jan 2012, Paris, France

Subject Terms: speculative parallelization, run-time system, polytope model, dynamic and speculative parallelization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Paris, France

Relation: hal-00664339; https://hal.inria.fr/hal-00664339; https://hal.inria.fr/hal-00664339/document; https://hal.inria.fr/hal-00664339/file/paper.pdf

Availability: https://hal.inria.fr/hal-00664339
https://hal.inria.fr/hal-00664339/document
https://hal.inria.fr/hal-00664339/file/paper.pdf

VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework

Authors: Jimborean, Alexandra, Mastrangelo, Luis, Loechner, Vincent, Clauss, Philippe

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Informatique et Calcul Parallèle Scientifique (ICPS-LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), MULTICORE, Institut National de Recherche en Informatique et en Automatique (Inria), M. O'Boyle

Source: CC - 21st International Conference on Compiler Construction ; https://inria.hal.science/hal-00664345 ; CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. pp.220-237

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Tallinn, Estonia

Time: Tallinn, Estonia

Availability: https://inria.hal.science/hal-00664345

VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework

Authors: Jimborean, Alexandra, Mastrangelo, Luis, Loechner, Vincent, Clauss, Philippe

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Sciences de l'Image, de l'Informatique et de la Télédétection, équipe ICPS (LSIIT / ICPS), Centre National de la Recherche Scientifique (CNRS), MULTICORE, Institut National de Recherche en Informatique et en Automatique (Inria), M. O'Boyle

Source: CC - 21st International Conference on Compiler Construction ; https://hal.inria.fr/hal-00664345 ; CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. pp.220-237

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: Tallinn, Estonia

Time: Tallinn, Estonia

Relation: hal-00664345; https://hal.inria.fr/hal-00664345

Availability: https://hal.inria.fr/hal-00664345

Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization

Authors: Jimborean, Alexandra, Clauss, Philippe, Pradelle, Benoit, Mastrangelo, Luis, Loechner, Vincent

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Sciences de l'Image, de l'Informatique et de la Télédétection, équipe ICPS (LSIIT / ICPS), Centre National de la Recherche Scientifique (CNRS)

Source: PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ; https://hal.inria.fr/hal-00664353 ; PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: New Orleans, United States

Relation: hal-00664353; https://hal.inria.fr/hal-00664353

Availability: https://hal.inria.fr/hal-00664353

Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization

Authors: Jimborean, Alexandra, Clauss, Philippe, Pradelle, Benoit, Mastrangelo, Luis, Loechner, Vincent

Contributors: Compilation pour les Architectures MUlti-coeurS (CAMUS), Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection (LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Informatique et Calcul Parallèle Scientifique (ICPS-LSIIT), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)

Source: PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ; https://inria.hal.science/hal-00664353 ; PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Subject Geographic: New Orleans, United States

Availability: https://inria.hal.science/hal-00664353