🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Experiences in Building a Composable and Functional API for Runtime SPIR-V Code Generation

Juan Fumero, György Rethy, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Performance Embeddings: A Similarity-based Approach to Automatic Performance Optimization

Lukas Trümper, Tal Ben-Nun, ... (+3 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Technical Report: Unresolved Challenges and Potential Features in EATXT

Weixing Zhang, Jörg Holtmann

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

A Machine Learning Approach Towards SKILL Code Autocompletion

Enrique Dehaerne, Bappaditya Dey, Wannes Meert

cs.SE 🏛 Advanced Lithography 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

The Stackage Repository: An Exploratory Study of its Evolution

Paul Leger, Felipe Ruiz, ... (+3 more)

cs.SE 🏛 J.CL 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Program Structure Aware Precondition Generation

Elizabeth Dinella, Shuvendu Lahiri, Mayur Naik

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Online Name-Based Navigation for Software Meta-languages

Peter D. Mosses

cs.SE 🏛 Software Language Engineering 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution

Charitha Saumya, Rohan Gangaraju, ... (+2 more)

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

DSL-driven Integration of HTTP Services in DIME

Bruno Steffen

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Modelling Concurrency Bugs Using Machine Learning

Teodor Rares Begu

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

CHAMELEON: OutSystems Live Bidirectional Transformations

Hugo Lourenço, João Costa Seco, ... (+5 more)

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Specification-based CSV Support in VDM

Leo Freitas, Aaron John Buhagiar

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Notes on "Notes on the Synthesis of Form": Dawning Insights in Early Christopher Alexander

Richard P. Gabriel

cs.SE 🏛 Programming 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Generating Software for Well-Understood Domains

Jacques Carette, Spencer Smith, Jason Balaci

cs.SE 🏛 Eelco Visser Commemorative Symposium 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Constructing Temporal Networks of OSS Programming Language Ecosystems

Alexander Agroskin, Elena Lyulina, ... (+2 more)

cs.SE 🏛 SANER 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Bias and Error Mitigation in Software-Generated Data: An Advanced Search and Optimization Framework Leveraging Generative Code Models

Ernesto Giralt Hernández

cs.SE 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

An Analysis of Bugs In Persistent Memory Application

Jahid Hasan

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Formal Verification Of A Shopping Basket Application Model Using PRISM

Patrick Mukala

cs.SE 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Reinforcement Learning for Test Case Prioritization

João Lousada, Miguel Ribeiro

cs.SE 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

On the Embeddings of Variables in Recurrent Neural Networks for Source Code

Nadezhda Chirkova

cs.SE 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs

Anusha Bableshwar, Arun Ravindran, Manoj Iyer

cs.SE 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Optimal Software Architecture From Initial Requirements: An End-to-End Approach

Ofir T. Erlich, David H. Lorenz

cs.SE 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Managed Information: A New Abstraction Mechanism for Handling Information in Software-as-a-Service

David H. Lorenz, Boaz Rosenan

cs.SE 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Designing a Socio-Technical Business Process for Analyzing Information Quality Requirements: Experience Report

Mohamad Gharib

cs.SE 🏛 arXiv 📚 0 cites 5 years ago