المؤلفون: Bhat, Siddharth, Keizer, Alex, Hughes, Chris, Goens, Andrés, Grosser, Tobias

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2407.03685Test

المؤلفون: Chakraborty, Saikat, Ebner, Gabriel, Bhat, Siddharth, Fakhoury, Sarah, Fatima, Sakina, Lahiri, Shuvendu, Swamy, Nikhil

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2405.01787Test

المؤلفون: Sinha, Shiven, Prabhu, Ameya, Kumaraguru, Ponnurangam, Bhat, Siddharth, Bethge, Matthias

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Computational Geometry, Computer Science - Computation and Language, Computer Science - Machine Learning

الوصول الحر: http://arxiv.org/abs/2404.06405Test

المؤلفون: Koehler, Thomas, Goens, Andrés, Bhat, Siddharth, Grosser, Tobias, Trinder, Phil, Steuwer, Michel

المساهمون: Compilation pour les Architectures MUlti-coeurS (CAMUS), 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 des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), University of Amsterdam Amsterdam = Universiteit van Amsterdam (UvA), University of Edinburgh, University of Cambridge UK (CAM), University of Glasgow, Technical University of Berlin / Technische Universität Berlin (TU), This work was funded in part by the Engineering and Physical Sciences Research Council, through grant reference EP/V038699/1.

المصدر: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
https://inria.hal.science/hal-04372044Test
51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), Jan 2024, London, United Kingdom. ⟨10.1145/3632900⟩

مصطلحات موضوعية: e-graphs, equality saturation, theorem provers, optimizing compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

جغرافية الموضوع: London, United Kingdom

العلاقة: hal-04372044; https://inria.hal.science/hal-04372044Test; https://inria.hal.science/hal-04372044/documentTest; https://inria.hal.science/hal-04372044/file/popl24-preprint.pdfTest

الإتاحة: https://doi.org/10.1145/3632900Test
https://inria.hal.science/hal-04372044Test
https://inria.hal.science/hal-04372044/documentTest
https://inria.hal.science/hal-04372044/file/popl24-preprint.pdfTest

المؤلفون: Bhat, Siddharth, Grosser, Tobias

مصطلحات موضوعية: Computer Science - Programming Languages, D.3

الوصول الحر: http://arxiv.org/abs/2201.07272Test

المؤلفون: Peduri, Anurudh, Bhat, Siddharth

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2109.02409Test

المؤلفون: Bespin, Christian, Barbero, Marlon, Barrillon, Pierre, Berdalovic, Ivan, Bhat, Siddharth, Breugnon, Patrick, Caicedo, Ivan, Cardella, Roberto, Chen, Zongde, Degerli, Yavuz, Dingfelder, Jochen, de Acedo, Leyre Flores Sanz, Godiot, Stephanie, Guilloux, Fabrice, Hirono, Toko, Hemperek, Tomasz, Hügging, Fabian, Krüger, Hans, Kugathasan, Thanushan, Tobon, Cesar Augusto Marin, Moustakas, Konstantinos, Pangaud, Patrick, Pernegger, Heinz, Piro, Francesco, Riedler, Petra, Rozanov, Alexandre, Rymaszewski, Piotr, Schwemling, Philippe, Snoeys, Walter, Vandenbroucke, Maxence, Wang, Tianyang, Wermes, Norbert, Zhang, Sinuo

مصطلحات موضوعية: Physics - Instrumentation and Detectors

الوصول الحر: http://arxiv.org/abs/2006.02297Test

المؤلفون: Caicedo, Ivan, Barbero, Marlon, Barrillon, Pierre, Berdalovic, Ivan, Bhat, Siddharth, Bespin, Christian, Breugnon, Patrick, Cardella, Roberto, Chen, Zongde, Degerli, Yavuz, Dingfelder, Jochen, Godiot, Stephanie, Guilloux, Fabrice, Hirono, Toko, Hemperek, Tomasz, Hügging, Fabian, Krüger, Hans, Kugathasan, Thanushan, Moustakas, Konstantinos, Pangaud, Patrick, Pernegger, Heinz, Pohl, David-Leon, Riedler, Petra, Rozanov, Alexandre, Rymaszewski, Piotr, Schwemling, Philippe, Snoeys, Walter, Vandenbroucke, Maxence, Wang, Tianyang, Wermes, Norbert

مصطلحات موضوعية: Physics - Instrumentation and Detectors

الوصول الحر: http://arxiv.org/abs/1902.03679Test

المؤلفون: Hirono, Toko, Barbero, Marlon, Barrillon, Pierre, Bhat, Siddharth, Breugnon, Patrick, Caicedo, Ivan, Chen, Zongde, Daas, Michael, Degerli, Yavuz, Guilloux, Fabrice, Hemperek, Tomasz, Hugging, Fabian, Kruger, Hans, Pangaud, Patrick, Rymaszewski, Piotr, Schwemling, Philippe, Vandenbroucke, Maxence, Wang, Tianyang, Wermes, Norbert

مصطلحات موضوعية: Physics - Instrumentation and Detectors

الوصول الحر: http://arxiv.org/abs/1803.09260Test

المؤلفون: Rymaszewski, Piotr, Barbero, Marlon, Bhat, Siddharth, Breugnon, Patrick, Caicedo, Ivan, Chen, Zongde, Degerli, Yavuz, Godiot, Stephanie, Guilloux, Fabrice, Guyot, Claude, Hemperek, Tomasz, Hirono, Toko, Hügging, Fabian, Krüger, Hans, Lachkar, Mohamed, Pangaud, Patrick, Rozanov, Alexandre, Schwemling, Philippe, Vandenbroucke, Maxence, Wang, Tianyang, Wermes, Norbert

مصطلحات موضوعية: Physics - Instrumentation and Detectors, High Energy Physics - Experiment

الوصول الحر: http://arxiv.org/abs/1711.01233Test