Search Results - Theory of computation → Algorithm design techniques

GENESYS: A novel evolutionary program synthesis tool with continuous optimization by Mandal, Shantanu, Anderson, Todd A, Turek, Javier, Gottschlich, Justin, Muzahid, Abdullah

“…Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search…”
Get full text

GAssert: A Fully Automated Tool to Improve Assertion Oracles by Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro

“… Internally, GASSERT implements a novel co-evolutionary algorithm that explores the space of possible assertions guided by two fitness functions that reward assertions with fewer false positives, fewer false negatives, and smaller size…”
Get full text

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation by Jiang, Xue, Dong, Yihong, Tao, Yongding, Liu, Huanyu, Jin, Zhi, Li, Ge

“…Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software…”
Get full text

Optimal Join Algorithms Meet Top- k by Tziavelis, Nikolaos, Gatterbauer, Wolfgang, Riedewald, Mirek

“… While some optimality results exist, e.g., the famous Threshold Algorithm, they hold only in a fairly limited model of computation that does not account for the cost incurred by large intermediate results and hence is not aligned…”
Get more information

Privacy protection via appliance scheduling in smart homes by Jie Wu, Jinglan Liu, Hu, Xiaobo Sharon, Yiyu Shi

“… Combined with the effects of fake guideline electricity price, this paper focuses an on-line appliance scheduling design to protect customers' privacy in a cost-effective way, while taking…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems…”
Get full text

LEGION: Best-First Concolic Testing by Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I.P.

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques…”
Get full text

Leveraging Hybrid Classical-Quantum Methods for Efficient Load Rebalancing in HPC by Zawalska, Justyna, Chung, Minh, Rycerz, Katarzyna, Schulz, Laura, Schulz, Martin, Kranzlmuller, Dieter

“…Load imbalance is a challenge for parallel applications in High Performance Computing (HPC). It is caused by processes having different execution times or load…”
Get full text

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation by Lin, Jinkun, Cai, Shaowei, He, Bing, Fu, Yingjie, Luo, Chuan, Lin, Qingwei

“… We observe that the high time consumption of existing meta-heuristic algorithms is mainly due to the procedure of score computation…”
Get full text

On the automation of fixing software bugs by Arcuri, Andrea

“… Techniques to help the software developers for locating bugs exist though, and they take name of Automated Debugging…”
Get full text

Formal methods for semi-autonomous driving by Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar

“…We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on semi-autonomous vehicles…”
Get full text

Quantum Circuit Compilers Using Gate Commutation Rules by Itoko, Toshinari, Raymond, Rudy, Imamichi, Takashi, Matsuo, Atsushi, Cross, Andrew W.

“… We propose a formulation and two algorithms exploiting gate commutation rules to obtain a better circuit compiler…”
Get full text

Efficient Selection of Vector Instructions Using Dynamic Programming by Barik, Rajkishore, Jisheng Zhao, Sarkar, Vivek

“… In this paper, we present the design and implementation of an auto-vectorization framework in the back-end of a dynamic compiler that not only generates optimized vector code but is also well…”
Get full text

Any-k: Anytime Top-k Tree Pattern Retrieval in Labeled Graphs by Yang, Xiaofeng, Nicholson, Patrick K, Ajwani, Deepak, Riedewald, Mirek, Gatterbauer, Wolfgang, Sala, Alessandra

“…Many problems in areas as diverse as recommendation systems, social network analysis, semantic search, and distributed root cause analysis can be modeled as…”
Get more information

The challenge of interoperability: Model-based integration for automotive control software by Huafeng Yu, Joshi, Prachi, Talpin, Jean-Pierre, Shukla, Sandeep, Shiraishi, Shinichi

“… highly productive design approaches. However, heterogeneity, interoperability, and the lack of formal semantic underpinning in modeling, integration, validation and optimization make design automation a big challenge, which becomes…”
Get full text

Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles by Yanzhi Wang, Xue Lin, Pedram, Massoud, Naehyuck Chang

“…Autonomous driving has become a major goal of automobile manufacturers and an important driver for the vehicular technology. Hybrid electric vehicles (HEVs),…”
Get full text

Blocking unsafe behaviors in control systems through static and dynamic policy enforcement by McLaughlin, Stephen

“…One of the most universally accepted practices in computer security is the use of security policy enforcement. Under a policy enforcement regime, users and…”
Get full text

A reduced-precision streaming SpMV architecture for Personalized PageRank on FPGA by Parravicini, Alberto, Sgherzi, Francesco, Santambrogio, Marco D.

“… to the Personalized PageR-ank algorithm, a common building block of recommender systems in e-commerce websites and social networks…”
Get full text

ETAHM: an energy-aware task allocation algorithm for heterogeneous multiprocessor by Chang, Po-Chun, Wu, I-Wei, Shann, Jyh-Jiun, Chung, Chung-Ping

“…In demand of more computing power and less energy use, multiprocessor with power management facility emerges in embedded system design recently…”
Get full text

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization by Manquinho, Vasco M., Marques-Silva, Joao

“…Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA…”
Get full text