Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacterial surfaces, biofilm formation, and the effect of DNAse in treating and preventing biofilm infections. As its predecessor, SPiM, BioScape has a sequential semantics based on Gillespie's algorithm, and its implementation does not scale beyond 1000 agents. However, in order to model larger and more realistic systems, a semantics that may take advantage of the new multi-core and GPU architectures is needed. This motivates the introduction of parallel semantics, which is the contribution of this paper: Parallel BioScape, an extension with fully parallel semantics.Comment: In Proceedings MeCBIC 2012, arXiv:1211.347

Rich Situated Attitudes

We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of language (cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance contents with the interpreting agent’s informational situation, it solves the problem of finding suitably fine- or coarse-grained objects for the content of propositional attitudes. In virtue of this variation, a layman will reason with more propositions than an expert

A Formal Executable Semantics of Verilog

This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ultimately to aid developers of Verilog-based tools; e.g., simulators, test generators, and verification tools. Our semantics applies equally well to both synthesizeable and behavioral designs and is given in a familiar, operational-style within a logic providing important additional benefits above and beyond static formalization. In particular, it is executable and searchable so that one can ask questions about how a, possibly nondeterministic, Verilog program can legally behave under the formalization. The formalization should not be seen as the final word on Verilog, but rather as a starting point and basis for community discussions on the Verilog semantics.CCF-0916893CNS-0720512CCF-0905584CCF-0448501NNL08AA23Cunpublishedis peer reviewe

Towards Understanding What Code Language Models Learned

Pre-trained language models are effective in a variety of natural language tasks, but it has been argued their capabilities fall short of fully learning meaning or understanding language. To understand the extent to which language models can learn some form of meaning, we investigate their ability to capture semantics of code beyond superficial frequency and co-occurrence. In contrast to previous research on probing models for linguistic features, we study pre-trained models in a setting that allows for objective and straightforward evaluation of a model's ability to learn semantics. In this paper, we examine whether such models capture the semantics of code, which is precisely and formally defined. Through experiments involving the manipulation of code fragments, we show that code pre-trained models of code learn a robust representation of the computational semantics of code that goes beyond superficial features of form alon

When Code Words Aren’t Coded

According to the standard framing of racial appeals in political speech, politicians generally rely on coded language to communicate racial messages. Yet recent years have demonstrated that politicians often express quite explicit forms of racism in mainstream political discourse. The standard framing can explain neither why these appeals work politically nor how they work semantically. This paper moves beyond the standard framing, focusing on the politics and semantics of one type of explicit appeal, candid racial communication (CRC). The linguistic vehicles of CRC are neither true code words, nor slurs, but a conventionally defined class of “racialized terms.

SPEECH LEVEL PATTERN AND REFERENCE/ DEIXIS BASED ON SOCIAL STATUS CLASSIFICATION OF JAVANESE LANGUAGE USING (A STUDY ABOUT TRADITION AS INFLUENCE IN ISLAMIC ANCIENT BOARDING SCHOOL/PONDOK PESANTREN SALAFI LANGUAGE STYLE)

Language in human’s using as the study has generally two scope of study; macrolinguistics,microlinguistics. Macrolinguistics as the study of language that occurs problematics of language relate to cognitive development, social interaction, and function of language.Beside microlinguistics is study of language that occurs anything rules about languagestructuralistically. The examples of application of macrolinguistics are pragmatics, semantics, sosiolinguistics, and discourse while the applications of microlinguistics aremorphology, syntax, phonology, and phonotactics. From previous explanation, language asmacrolinguistics study also regard with certain domains like participants, setting, andculture. Based on the notion, the paper would concern in language use practically in acertain setting which fully considering in culture, that is like Islamic ancient boarding houseor “ pondok pesantren Islam salafi”. In that case, there are so many style, context, and conversational structures of Islamic ancient boarding school. Spesifically, there are somestyle which are very unique, spesific, special among people in the boarding school. Thepaper would investigate among conversationnal style used by people from boarding schoolby using pragmatic approach. The approach would analyze any references and deixis fromthe conversation. Besides, there is speech level among language users in pesantren. Thelevel is considered by social status of language users like guardian (sesepuh/pengasuh), committee (pengurus/ santri senior), and general students (santri biasa). The reason of thisclassification is based on social strata which is social strata is the most important beyond the culture of pondok pesantren