Zobrazeno 1 - 10
of 3 275
pro vyhledávání: '"Makó, A"'
Choreographic programming (CP) is a paradigm for implementing distributed systems that uses a single global program to define the actions and interactions of all participants. Library-level CP implementations, like HasChor, integrate well with mainst
Externí odkaz:
http://arxiv.org/abs/2412.02107
Autor:
Park, Joon Sung, Zou, Carolyn Q., Shaw, Aaron, Hill, Benjamin Mako, Cai, Carrie, Morris, Meredith Ringel, Willer, Robb, Liang, Percy, Bernstein, Michael S.
The promise of human behavioral simulation--general-purpose computational agents that replicate human behavior across domains--could enable broad applications in policymaking and social science. We present a novel agent architecture that simulates th
Externí odkaz:
http://arxiv.org/abs/2411.10109
Autor:
Champion, Kaylea, Hill, Benjamin Mako
Publikováno v:
Proceedings of the ACM on Human-Computer Interaction 2024
Communicating about some vital topics -- such as sexuality and health -- is treated as taboo and subjected to censorship. How can we construct knowledge about these topics? Wikipedia is home to numerous high-quality knowledge artifacts about taboo to
Externí odkaz:
http://arxiv.org/abs/2408.16099
Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. Choreographies are easier to reason about than separate programs runnin
Externí odkaz:
http://arxiv.org/abs/2406.13716
Autor:
Bates, Mako, Near, Joseph P.
Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a single global program called a choreography. Choreographies simplify reaso
Externí odkaz:
http://arxiv.org/abs/2403.05417
Autor:
Bates, Mako, Near, Joseph P.
Formal methods for guaranteeing that a protocol satisfies a cryptographic security definition have advanced substantially, but such methods are still labor intensive and the need remains for an automated tool that can positively identify an insecure
Externí odkaz:
http://arxiv.org/abs/2403.04991
Content moderation practices and technologies need to change over time as requirements and community expectations shift. However, attempts to restructure existing moderation practices can be difficult, especially for platforms that rely on their comm
Externí odkaz:
http://arxiv.org/abs/2402.17880
We construct closed string vertex operators with various ghost numbers in addition to the conventional ones, using the Faddeev-Popov procedure for the gauge fixing of the conformal Killing group, from matter primary fields. We find that these operato
Externí odkaz:
http://arxiv.org/abs/2402.06179
Autor:
Champion, Kaylea, Hill, Benjamin Mako
Publikováno v:
2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Because open source software relies on individuals who select their own tasks, it is often underproduced -- a term used by software engineering researchers to describe when a piece of software's relative quality is lower than its relative importance.
Externí odkaz:
http://arxiv.org/abs/2401.11281
Publikováno v:
CSCW 2024, Volume 8, Article 61, 1-26
What types of governance arrangements makes some self-governed online groups more vulnerable to disinformation campaigns? To answer this question, we present a qualitative comparative analysis of the Croatian and Serbian Wikipedia editions. We do so
Externí odkaz:
http://arxiv.org/abs/2311.03616