12 papers · ranked by Valyu relevance
Brian Homerding, Atmn Patel, Enrico Armenio Deiana, Yian Su + 5 more
'Zujun Tan' 'Ziyang Xu' 'Bhargav Reddy Godala' 'David I. August' 'Simone Campanoni'] A compiler's intermediate representation (IR) defines a program's execution plan by encoding its instructions and their relative order. Compiler optimizations aim to replace a given execution plan (which instructions to execute and…
Thom Fruehwirth
In this comprehensive survey, we give an overview of concurrent, parallel as well as distributed CHR semantics, standard and more exotic, that have been proposed over the years at various levels of refinement. These semantics range from the abstract to the concrete. They are related by formal soundness results. Their…
Allan Blanchard, Frédéric Loulergue, Nikolaï Kosmatov
FRAMA-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed CONC2SEQ, a FRAMA-C plugin based on program transformation…
S. Tucker Taft
- a AdaCore, Lexington, MA, USA Abstract ParaSail is a language specifically designed to simplify the construction of programs that make full, safe use of parallel hardware even while manipulating potentially irregular data structures. As parallel hardware has proliferated, there has been an urgent need for languages…
Yong Wang
Based on our previous work on algebraic laws for true concurrency, we design a skeleton of structured parallel programming language for true concurrency called SPPLTC. Different to most programming languages, SPPLTC has an explicit parallel operator as an essential operator. SPPLTC can structure a truly concurrent…
Rob Patro, Siddhant Bharti, Prajwal Singhania, Rakrish Dhakal + 2 more
The FASTQ file format is the lingua franca of primary data distribution and processing across most of bioinformatics. Over time, the compression, storage, transmission, and decompression of gzip compressed fastq.gz files has become a substantial scalability bottleneck in the modern world of fast and massively parallel…
Pavo Orepic, Wilson Truccolo, Sydney S. Cash, Anne-Lise Giraud + 1 more
Traditional models of speech perception posit that neural activity sequentially encodes speech through a hierarchy of cognitive processes, from early representations of acoustic and phonetic features to late semantic encoding. Yet the mechanisms by which neural representations are transformed across the speech…
Amie Fairs, Amandine Michelas, Sophie Dufour, Kristof Strijkers
The temporal dynamics by which linguistic information becomes available is one of the key properties to understand how language is organised in the brain. An unresolved debate between different brain language models is whether words, the building blocks of language, are activated in a sequential or parallel manner. In…
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo + 2 more
'Manuel V. Hermenegildo' 'Enrico Pontelli' 'Ricardo Rocha'] Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm…
Ryan M.C. Law, Matthew A. Lambon Ralph, Olaf Hauk
How the brain constructs meaning from individual words and phrases is a fundamental question for research in semantic cognition, language and their disorders. These two aspects of meaning are traditionally studied separately, resulting in two large, multi-method literatures, which we sought to bring together in this…
Carlo Y. Meloni, Chundra A. Cathcart, Erik J. Ringen, Jessica K. Ivani + 1 more
We examine the syntax-semantics interface in clause linkage using a cross-linguistic sample of nearly 700 constructions from Indo-European, Sino-Tibetan, and Tupí-Guaraní. To evaluate predictions from the Interclausal Relations Hierarchy, we model the phylogenetic dynamics of how semantic relations influence the degree…
Ryan Law, Liina Pylkkänen
In the neurobiology of language, a fundamental challenge is deconfounding syntax from semantics. Changes in syntactic structure usually correlate with changes in meaning. We approached this challenge from a new angle. We deployed word lists, which are usually the unstructured control in studies of syntax, as both the…