Painless programming combining reduction and search

Sheard, Timothy E.

doi:10.1145/2364527.2364542

Cited by 2 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Haubelt et al [32] encode the system synthesis problem into an SAT instance to find a feasible binding between processes and resources. Regarding the use of SMT solvers [47,52,55,57], a plethora of research work has explored task scheduling and resource management using an SMT solver including methods with high-level language or custom DSL as the frontend [52,57]. In Charm, we use the SMT solver to explore the design space formed by analytic architecture models.…”

Section: Exploring Design Space With Constraint Solvingmentioning

confidence: 99%

Language Support for Navigating Architecture Design in Closed Form

Cui

Tzimpragos

Tao

et al. 2019

J. Emerg. Technol. Comput. Syst.

View full text Add to dashboard Cite

As computer architecture continues to expand beyond software-agnostic microarchitecture to specialized and heterogeneous logic or even radically different emerging computing models (e.g., quantum cores, DNA storage units), detailed cycle-level simulation is no longer presupposed. Exploring designs under such complex interacting relationships (e.g., performance, energy, thermal, frequency) calls for a more integrative but higher-level approach. We propose Charm, a modeling language supporting closed-form high-level architecture modeling. Charm enables mathematical representations of mutually dependent architectural relationships to be specified, composed, checked, evaluated, reused, and shared. The language is interpreted through a combination of automatic symbolic evaluation, scalable graph transformation, and efficient compiler techniques, generating executable DAGs and optimized analysis procedures. Charm also exploits the advancements in satisfiability modulo theory solvers to automatically search the design space to help architects explore multiple design knobs simultaneously (e.g., different CNN tiling configurations). Through two case studies, we demonstrate that Charm allows one to define high-level architecture models in a clean and concise format, maximize reusability and shareability, capture unreasonable assumptions, and significantly ease design space exploration at a high level.

show abstract

Section: Exploring Design Space With Constraint Solvingmentioning

confidence: 99%

Language Support for Navigating Architecture Design in Closed Form

Cui

Tzimpragos

Tao

et al. 2019

J. Emerg. Technol. Comput. Syst.

View full text Add to dashboard Cite

show abstract

Design and Implementation of the LogicBlox System

Aref

Cate

Green

et al. 2015

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data

187

175

View full text Add to dashboard Cite

The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-service" model. Our perspective in this area is informed by over twenty years of experience building dozens of missioncritical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications.In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.

show abstract

Painless programming combining reduction and search

Cited by 2 publications

References 19 publications

Language Support for Navigating Architecture Design in Closed Form

Language Support for Navigating Architecture Design in Closed Form

Design and Implementation of the LogicBlox System

Contact Info

Product

Resources

About