@article{jiang_eades_paiva_2019, title={On the Lambek Calculus with an Exchange Modality}, ISSN={["2075-2180"]}, DOI={10.4204/EPTCS.292.4}, abstractNote={In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule. One should view this logic as composed of two logics; one sitting to the left of the other. On the left, there is intuitionistic linear logic, and on the right is a mixed commutative/non-commutative formalization of the Lambek calculus. Then both of these logics are connected via a pair of monoidal adjoint functors. An exchange modality is then derivable within the logic using the adjunction between both sides. Thus, the adjoint functors allow one to pull the exchange structural rule from the left side to the right side. We then give a categorical model in terms of a monoidal adjunction, and then a concrete model in terms of dialectica Lambek spaces.}, number={292}, journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE}, author={Jiang, Jiaming and Eades, Harley, III and Paiva, Valeria}, year={2019}, pages={43–89} }
 @article{jiang_chirkova_doyle_rosenthal_2018, title={Poster: Towards Greater Expressiveness, Flexibility, and Uniformity in Access Control}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-85049303993&partnerID=MN8TOARS}, DOI={10.1145/3205977.3208950}, abstractNote={Attribute-based access control (ABAC) is a general access control model that subsumes numerous earlier access control models. Its increasing popularity stems from the intuitive generic structure of granting permissions based on application and domain attributes of users, subjects, objects, and other entities in the system. Multiple formal and informal languages have been developed to express policies in terms of such attributes. The utility of ABAC policy languages is potentially undermined without a properly formalized underlying model. The high-level structure in a majority of ABAC models consists of sets of tokens and sets of sets, expressions that demand that the reader unpack multiple levels of sets and tokens to determine what things mean. The resulting reduced readability potentially endangers correct expression, reduces maintainability, and impedes validation. These problems could be magnified in models that employ nonuniform representations of actions and their governing policies. We propose to avoid these magnified problems by recasting the high-level structure of ABAC models in a logical formalism that treats all actions (by users and others) uniformly and that keeps existing policy languages in place by interpreting their attributes in terms of the restructured model. In comparison to existing ABAC models, use of a logical language for model formalization, including hierarchies of types of entities and attributes, promises improved expressiveness in specifying the relationships between and requirements on application and domain attributes. A logical modeling language also potentially improves flexibility in representing relationships as attributes to support some widely used policy languages. Consistency and intelligibility are improved by using uniform means for representing different types of controlled actions---such as regular access control actions, administrative actions, and user logins---and their governing policies. Logical languages also provide a well-defined denotational semantics supported by numerous formal inference and verification tools.}, journal={SACMAT'18: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON ACCESS CONTROL MODELS & TECHNOLOGIES}, author={Jiang, Jiaming and Chirkova, Rada and Doyle, Jon and Rosenthal, Arnon}, year={2018}, pages={217–219} }
 @inproceedings{lauren_pigg_2016, title={Toward entrepreneurial pedagogies: rethinking professional networking as knowledge making}, DOI={10.1109/ipcc.2016.7740535}, abstractNote={This paper offers initial suggestions for teaching professional social networking as a technical communication practice. Our guidelines build from recent qualitative research analyzing the networking relationships, practices, and technologies that support technical communication entrepreneurship. This research demonstrated how technical communication entrepreneurs perceive networking to be steeped in learning and sharing knowledge across professional and personal social fields. Based on what was learned from participants, we offer a model for and guidelines toward teaching networking as connected to knowledge sharing and building. This paper next offers an example assignment sequence from a master's level technical communication course focused on online information design. Through research and theory building, we suggest that instructors and students should understand professional social networking as a multilayered practice of learning and sharing collective knowledge.}, booktitle={2016 ieee international professional communication conference (ipcc)}, author={Lauren, B. and Pigg, S.}, year={2016} }