Copertina

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	de Medeiros, Sérgio Queiroz, Nogueira, Marcelo Borges, Quezado, Gustavo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages D.3.0; D.3.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Automatic Error Recovery in Parsing Expression
di: de Medeiros, Sérgio Queiroz, et al.
Pubblicazione: (2025)

Teaching Introductory Functional Programming Using Haskelite
di: Vasconcelos, Pedro
Pubblicazione: (2025)

Let's Take Esoteric Programming Languages Seriously
di: Singer, Jeremy, et al.
Pubblicazione: (2025)

Dr Wenowdis: Specializing dynamic language C extensions using type information
di: Bernstein, Maxwell, et al.
Pubblicazione: (2024)

Sharing Analysis in the Pawns Compiler
di: Naish, Lee
Pubblicazione: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
di: Kiselyov, Oleg, et al.
Pubblicazione: (2024)

Meta-Monomorphizing Specializations
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
di: Geeson, Luke, et al.
Pubblicazione: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
di: Mishra, Ashish, et al.
Pubblicazione: (2025)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
di: Esmaeilsabzali, Shahram, et al.
Pubblicazione: (2025)

Float Self-Tagging
di: Melançon, Olivier, et al.
Pubblicazione: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
di: Titzer, Ben L., et al.
Pubblicazione: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
di: Lopoukhine, Alexandre, et al.
Pubblicazione: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
di: De Santo, Noé, et al.
Pubblicazione: (2025)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
di: Hochgraf, Robert, et al.
Pubblicazione: (2025)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

From Batch to Stream: Automatic Generation of Online Algorithms
di: Wang, Ziteng, et al.
Pubblicazione: (2024)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
di: Nagy, Shaan, et al.
Pubblicazione: (2025)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Fat API bindings of C++ objects into scripting languages
di: Standish, Russell K.
Pubblicazione: (2024)

A Unified Framework for Quantitative Cache Analysis
di: Kahlen, Sophie, et al.
Pubblicazione: (2025)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
di: Singhal, Vidush, et al.
Pubblicazione: (2026)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
di: Abounegm, Abdelrahman, et al.
Pubblicazione: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
di: Gross, Jason, et al.
Pubblicazione: (2022)

Modular GPU Programming with Typed Perspectives
di: Bansal, Manya, et al.
Pubblicazione: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
di: Zhou, Zhe, et al.
Pubblicazione: (2024)

Derivative-Guided Symbolic Execution
di: Yuan, Yongwei, et al.
Pubblicazione: (2024)

Homomorphism Calculus for User-Defined Aggregations
di: Wang, Ziteng, et al.
Pubblicazione: (2025)

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
di: Mitsunari, Shigeo, et al.
Pubblicazione: (2026)

From Separate Compilation to Sound Language Composition
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
di: Knothe, David, et al.
Pubblicazione: (2026)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
di: Salazar, José Daniel Montoya
Pubblicazione: (2026)

SpaDA: A Spatial Dataflow Architecture Programming Language
di: Gianinazzi, Lukas, et al.
Pubblicazione: (2025)

The Denotational Semantics of SSA
di: Ghalayini, Jad Elkhaleq, et al.
Pubblicazione: (2024)

Verified VCG and Verified Compiler for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

VeriFx: Correct Replicated Data Types for the Masses
di: De Porre, Kevin, et al.
Pubblicazione: (2022)

Verifying Device Drivers with Pancake
di: Zhao, Junming, et al.
Pubblicazione: (2025)

LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
di: Arora, Jai, et al.
Pubblicazione: (2025)