Cover Image

Choosing the Right Communication Protocol for your Web Application

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hassan, Mohamed
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

Enabling Communication via APIs for Mainframe Applications
by: Kanvar, Vini, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
by: Chen, Zhiyang, et al.
Published: (2022)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
by: Montesi, Fabrizio, et al.
Published: (2024)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
by: Mascetti, Sergio, et al.
Published: (2020)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
by: Chatterjee, Bodhisatwa, et al.
Published: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
by: Huang, Hanxian, et al.
Published: (2024)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
by: Shi, Qingkai, et al.
Published: (2023)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
by: Melcer, Daniel, et al.
Published: (2024)

Node.DPWS: High performance and scalable Web Services for the IoT
by: Fysarakis, Konstantinos, et al.
Published: (2015)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
by: Garavel, Hubert
Published: (2026)

Stale Profile Matching
by: Ayupov, Amir, et al.
Published: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

Local Software Buildability across Java Versions (Registered Report)
by: Sulír, Matúš, et al.
Published: (2024)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
by: Geng, Chuqin, et al.
Published: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

Verified invertible lexer using regular expressions and DFAs
by: Chassot, Samuel, et al.
Published: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
by: Ravikumar, Shruthi, et al.
Published: (2024)

RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
by: Wu, Guanxuan, et al.
Published: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
by: Priya, Siddharth, et al.
Published: (2024)

A New Generation of Intelligent Development Environments
by: Marron, Mark
Published: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
by: Bucev, Mario, et al.
Published: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
by: Arfi, Farid, et al.
Published: (2024)