---
_id: '2030'
abstract:
- lang: eng
  text: A hybrid-parallel direct-numerical-simulation method with application to turbulent
    Taylor-Couette flow is presented. The Navier-Stokes equations are discretized
    in cylindrical coordinates with the spectral Fourier-Galerkin method in the axial
    and azimuthal directions, and high-order finite differences in the radial direction.
    Time is advanced by a second-order, semi-implicit projection scheme, which requires
    the solution of five Helmholtz/Poisson equations, avoids staggered grids and renders
    very small slip velocities. Nonlinear terms are evaluated with the pseudospectral
    method. The code is parallelized using a hybrid MPI-OpenMP strategy, which, compared
    with a flat MPI parallelization, is simpler to implement, allows to reduce inter-node
    communications and MPI overhead that become relevant at high processor-core counts,
    and helps to contain the memory footprint. A strong scaling study shows that the
    hybrid code maintains scalability up to more than 20,000 processor cores and thus
    allows to perform simulations at higher resolutions than previously feasible.
    In particular, it opens up the possibility to simulate turbulent Taylor-Couette
    flows at Reynolds numbers up to O(105). This enables to probe hydrodynamic turbulence
    in Keplerian flows in experimentally relevant regimes.
article_processing_charge: No
arxiv: 1
author:
- first_name: Liang
  full_name: Shi, Liang
  id: 374A3F1A-F248-11E8-B48F-1D18A9856A87
  last_name: Shi
- first_name: Markus
  full_name: Rampp, Markus
  last_name: Rampp
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
- first_name: Marc
  full_name: Avila, Marc
  last_name: Avila
citation:
  ama: Shi L, Rampp M, Hof B, Avila M. A hybrid MPI-OpenMP parallel implementation
    for pseudospectral simulations with application to Taylor-Couette flow. <i>Computers
    and Fluids</i>. 2015;106(1):1-11. doi:<a href="https://doi.org/10.1016/j.compfluid.2014.09.021">10.1016/j.compfluid.2014.09.021</a>
  apa: Shi, L., Rampp, M., Hof, B., &#38; Avila, M. (2015). A hybrid MPI-OpenMP parallel
    implementation for pseudospectral simulations with application to Taylor-Couette
    flow. <i>Computers and Fluids</i>. Elsevier. <a href="https://doi.org/10.1016/j.compfluid.2014.09.021">https://doi.org/10.1016/j.compfluid.2014.09.021</a>
  chicago: Shi, Liang, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP
    Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette
    Flow.” <i>Computers and Fluids</i>. Elsevier, 2015. <a href="https://doi.org/10.1016/j.compfluid.2014.09.021">https://doi.org/10.1016/j.compfluid.2014.09.021</a>.
  ieee: L. Shi, M. Rampp, B. Hof, and M. Avila, “A hybrid MPI-OpenMP parallel implementation
    for pseudospectral simulations with application to Taylor-Couette flow,” <i>Computers
    and Fluids</i>, vol. 106, no. 1. Elsevier, pp. 1–11, 2015.
  ista: Shi L, Rampp M, Hof B, Avila M. 2015. A hybrid MPI-OpenMP parallel implementation
    for pseudospectral simulations with application to Taylor-Couette flow. Computers
    and Fluids. 106(1), 1–11.
  mla: Shi, Liang, et al. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral
    Simulations with Application to Taylor-Couette Flow.” <i>Computers and Fluids</i>,
    vol. 106, no. 1, Elsevier, 2015, pp. 1–11, doi:<a href="https://doi.org/10.1016/j.compfluid.2014.09.021">10.1016/j.compfluid.2014.09.021</a>.
  short: L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.
date_created: 2018-12-11T11:55:18Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-09-22T14:31:33Z
day: '01'
department:
- _id: BjHo
doi: 10.1016/j.compfluid.2014.09.021
external_id:
  arxiv:
  - '1311.2481'
  isi:
  - '000346213200001'
fulldoi: https://doi.org/10.1016/j.compfluid.2014.09.021
intvolume: '       106'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1311.2481
month: '01'
oa: 1
oa_version: Preprint
page: 1 - 11
publication: Computers and Fluids
publication_status: published
publisher: Elsevier
publist_id: '5042'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations
  with application to Taylor-Couette flow
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 106
year: '2015'
...
---
_id: '2035'
abstract:
- lang: eng
  text: "Considering a continuous self-map and the induced endomorphism on homology,
    we study the eigenvalues and eigenspaces of the latter. Taking a filtration of
    representations, we define the persistence of the eigenspaces, effectively introducing
    a hierarchical organization of the map. The algorithm that computes this information
    for a finite sample is proved to be stable, and to give the correct answer for
    a sufficiently dense sample. Results computed with an implementation of the algorithm
    provide evidence of its practical utility.\r\n"
acknowledgement: This research is partially supported by the Toposys project FP7-ICT-318493-STREP,
  by ESF under the ACAT Research Network Programme, by the Russian Government under
  mega project 11.G34.31.0053, and by the Polish National Science Center under Grant
  No. N201 419639.
article_processing_charge: No
author:
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
- first_name: Grzegorz
  full_name: Jablonski, Grzegorz
  id: 4483EF78-F248-11E8-B48F-1D18A9856A87
  last_name: Jablonski
  orcid: 0000-0002-3536-9866
- first_name: Marian
  full_name: Mrozek, Marian
  last_name: Mrozek
citation:
  ama: Edelsbrunner H, Jablonski G, Mrozek M. The persistent homology of a self-map.
    <i>Foundations of Computational Mathematics</i>. 2015;15(5):1213-1244. doi:<a
    href="https://doi.org/10.1007/s10208-014-9223-y">10.1007/s10208-014-9223-y</a>
  apa: Edelsbrunner, H., Jablonski, G., &#38; Mrozek, M. (2015). The persistent homology
    of a self-map. <i>Foundations of Computational Mathematics</i>. Springer. <a href="https://doi.org/10.1007/s10208-014-9223-y">https://doi.org/10.1007/s10208-014-9223-y</a>
  chicago: Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent
    Homology of a Self-Map.” <i>Foundations of Computational Mathematics</i>. Springer,
    2015. <a href="https://doi.org/10.1007/s10208-014-9223-y">https://doi.org/10.1007/s10208-014-9223-y</a>.
  ieee: H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of
    a self-map,” <i>Foundations of Computational Mathematics</i>, vol. 15, no. 5.
    Springer, pp. 1213–1244, 2015.
  ista: Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a
    self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.
  mla: Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” <i>Foundations
    of Computational Mathematics</i>, vol. 15, no. 5, Springer, 2015, pp. 1213–44,
    doi:<a href="https://doi.org/10.1007/s10208-014-9223-y">10.1007/s10208-014-9223-y</a>.
  short: H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics
    15 (2015) 1213–1244.
date_created: 2018-12-11T11:55:20Z
date_published: 2015-10-01T00:00:00Z
date_updated: 2025-09-23T14:08:54Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1007/s10208-014-9223-y
ec_funded: 1
external_id:
  isi:
  - '000360862900004'
file:
- access_level: open_access
  checksum: 3566f3a8b0c1bc550e62914a88c584ff
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:08:10Z
  date_updated: 2020-07-14T12:45:26Z
  file_id: '4670'
  file_name: IST-2016-486-v1+1_s10208-014-9223-y.pdf
  file_size: 1317546
  relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
fulldoi: https://doi.org/10.1007/s10208-014-9223-y
has_accepted_license: '1'
intvolume: '        15'
isi: 1
issue: '5'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: 1213 - 1244
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '318493'
  name: Topological Complex Systems
publication: Foundations of Computational Mathematics
publication_status: published
publisher: Springer
publist_id: '5022'
pubrep_id: '486'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The persistent homology of a self-map
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2015'
...
---
_id: '10748'
abstract:
- lang: eng
  text: The study of fluxoid states and fluxoid dynamics in mesoscopic iron-based
    superconducting rings is valuable for characterizing the basic properties of the
    superconductor, and may also provide important insight into the superconducting
    paring symmetry. We report the fabrications of micron-sized rings and disks from
    thin films of Fe(Se, Te) grown by molecular beam epitaxy. In order to study fluxoid
    states in rings we developed a custom-tailored version of magnetic force microscopy
    (MFM). This technique has a number of qualitative advantages for working with
    mesoscopic superconducting samples in comparison to the conventional MFM and other
    imaging techniques. We observed metastable fluxoid states in rings of different
    sizes. Thermally activated fluxoid dynamics of these states was studied and modeled.
    In addition, we found different regimes of interaction between Fe(Se, Te) ring
    and MFM tip which are explained. Possibilities of the existence of exotic vortex
    states and proposals for experiments to test the symmetry of the superconducting
    order parameter in iron based superconductors are analyzed.
alternative_title:
- Bulletin of the American Physical Society
article_number: G16.00009
article_processing_charge: No
author:
- first_name: Hryhoriy
  full_name: Polshyn, Hryhoriy
  id: edfc7cb1-526e-11ec-b05a-e6ecc27e4e48
  last_name: Polshyn
  orcid: 0000-0001-8223-8896
- first_name: Can
  full_name: Zhang, Can
  last_name: Zhang
- first_name: Tyler
  full_name: Naibert, Tyler
  last_name: Naibert
- first_name: James
  full_name: Eckstein, James
  last_name: Eckstein
- first_name: Raffi
  full_name: Budakian, Raffi
  last_name: Budakian
citation:
  ama: 'Polshyn H, Zhang C, Naibert T, Eckstein J, Budakian R. Study of Fe (Se, Te)
    micron-sized rings by magnetic force microscopy. In: <i>APS March Meeting 2015</i>.
    Vol 60. American Physical Society; 2015.'
  apa: 'Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., &#38; Budakian, R. (2015).
    Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In <i>APS
    March Meeting 2015</i> (Vol. 60). San Antonio, TX, United States: American Physical
    Society.'
  chicago: Polshyn, Hryhoriy, Can Zhang, Tyler Naibert, James Eckstein, and Raffi
    Budakian. “Study of Fe (Se, Te) Micron-Sized Rings by Magnetic Force Microscopy.”
    In <i>APS March Meeting 2015</i>, Vol. 60. American Physical Society, 2015.
  ieee: H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, and R. Budakian, “Study of
    Fe (Se, Te) micron-sized rings by magnetic force microscopy,” in <i>APS March
    Meeting 2015</i>, San Antonio, TX, United States, 2015, vol. 60, no. 1.
  ista: 'Polshyn H, Zhang C, Naibert T, Eckstein J, Budakian R. 2015. Study of Fe
    (Se, Te) micron-sized rings by magnetic force microscopy. APS March Meeting 2015.
    APS: American Physical Society, Bulletin of the American Physical Society, vol.
    60, G16.00009.'
  mla: Polshyn, Hryhoriy, et al. “Study of Fe (Se, Te) Micron-Sized Rings by Magnetic
    Force Microscopy.” <i>APS March Meeting 2015</i>, vol. 60, no. 1, G16.00009, American
    Physical Society, 2015.
  short: H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March
    Meeting 2015, American Physical Society, 2015.
conference:
  end_date: 2015-03-06
  location: San Antonio, TX, United States
  name: 'APS: American Physical Society'
  start_date: 2015-03-02
date_created: 2022-02-08T10:17:09Z
date_published: 2015-03-01T00:00:00Z
date_updated: 2022-02-08T10:42:53Z
day: '01'
extern: '1'
intvolume: '        60'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://meetings.aps.org/Meeting/MAR15/Event/238442
month: '03'
oa: 1
oa_version: Published Version
publication: APS March Meeting 2015
publication_identifier:
  issn:
  - 0003-0503
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 60
year: '2015'
...
---
_id: '10794'
abstract:
- lang: eng
  text: Mathematical models are of fundamental importance in the understanding of
    complex population dynamics. For instance, they can be used to predict the population
    evolution starting from different initial conditions or to test how a system responds
    to external perturbations. For this analysis to be meaningful in real applications,
    however, it is of paramount importance to choose an appropriate model structure
    and to infer the model parameters from measured data. While many parameter inference
    methods are available for models based on deterministic ordinary differential
    equations, the same does not hold for more detailed individual-based models. Here
    we consider, in particular, stochastic models in which the time evolution of the
    species abundances is described by a continuous-time Markov chain. These models
    are governed by a master equation that is typically difficult to solve. Consequently,
    traditional inference methods that rely on iterative evaluation of parameter likelihoods
    are computationally intractable. The aim of this paper is to present recent advances
    in parameter inference for continuous-time Markov chain models, based on a moment
    closure approximation of the parameter likelihood, and to investigate how these
    results can help in understanding, and ultimately controlling, complex systems
    in ecology. Specifically, we illustrate through an agricultural pest case study
    how parameters of a stochastic individual-based model can be identified from measured
    data and how the resulting model can be used to solve an optimal control problem
    in a stochastic setting. In particular, we show how the matter of determining
    the optimal combination of two different pest control methods can be formulated
    as a chance constrained optimization problem where the control action is modeled
    as a state reset, leading to a hybrid system formulation.
acknowledgement: "The authors would like to acknowledge contributions from Baptiste
  Mottet who performed preliminary analysis regarding parameter inference for the
  considered case study in a student project (Mottet, 2014/2015).\r\nThe research
  leading to these results has received funding from the People Programme (Marie Curie
  Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013) under
  REA grant agreement No. [291734] and from SystemsX under the project SignalX."
article_number: '42'
article_processing_charge: No
article_type: original
author:
- first_name: Francesca
  full_name: Parise, Francesca
  last_name: Parise
- first_name: John
  full_name: Lygeros, John
  last_name: Lygeros
- first_name: Jakob
  full_name: Ruess, Jakob
  id: 4A245D00-F248-11E8-B48F-1D18A9856A87
  last_name: Ruess
  orcid: 0000-0003-1615-3282
citation:
  ama: 'Parise F, Lygeros J, Ruess J. Bayesian inference for stochastic individual-based
    models of ecological systems: a pest control simulation study. <i>Frontiers in
    Environmental Science</i>. 2015;3. doi:<a href="https://doi.org/10.3389/fenvs.2015.00042">10.3389/fenvs.2015.00042</a>'
  apa: 'Parise, F., Lygeros, J., &#38; Ruess, J. (2015). Bayesian inference for stochastic
    individual-based models of ecological systems: a pest control simulation study.
    <i>Frontiers in Environmental Science</i>. Frontiers. <a href="https://doi.org/10.3389/fenvs.2015.00042">https://doi.org/10.3389/fenvs.2015.00042</a>'
  chicago: 'Parise, Francesca, John Lygeros, and Jakob Ruess. “Bayesian Inference
    for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation
    Study.” <i>Frontiers in Environmental Science</i>. Frontiers, 2015. <a href="https://doi.org/10.3389/fenvs.2015.00042">https://doi.org/10.3389/fenvs.2015.00042</a>.'
  ieee: 'F. Parise, J. Lygeros, and J. Ruess, “Bayesian inference for stochastic individual-based
    models of ecological systems: a pest control simulation study,” <i>Frontiers in
    Environmental Science</i>, vol. 3. Frontiers, 2015.'
  ista: 'Parise F, Lygeros J, Ruess J. 2015. Bayesian inference for stochastic individual-based
    models of ecological systems: a pest control simulation study. Frontiers in Environmental
    Science. 3, 42.'
  mla: 'Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based
    Models of Ecological Systems: A Pest Control Simulation Study.” <i>Frontiers in
    Environmental Science</i>, vol. 3, 42, Frontiers, 2015, doi:<a href="https://doi.org/10.3389/fenvs.2015.00042">10.3389/fenvs.2015.00042</a>.'
  short: F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
corr_author: '1'
date_created: 2022-02-25T11:42:25Z
date_published: 2015-06-10T00:00:00Z
date_updated: 2025-04-15T06:50:01Z
day: '10'
ddc:
- '000'
- '570'
department:
- _id: ToHe
- _id: GaTk
doi: 10.3389/fenvs.2015.00042
ec_funded: 1
file:
- access_level: open_access
  checksum: 26c222487564e1be02a11d688d6f769d
  content_type: application/pdf
  creator: dernst
  date_created: 2022-02-25T11:55:26Z
  date_updated: 2022-02-25T11:55:26Z
  file_id: '10795'
  file_name: 2015_FrontiersEnvironmScience_Parise.pdf
  file_size: 1371201
  relation: main_file
  success: 1
file_date_updated: 2022-02-25T11:55:26Z
fulldoi: https://doi.org/10.3389/fenvs.2015.00042
has_accepted_license: '1'
intvolume: '         3'
keyword:
- General Environmental Science
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Frontiers in Environmental Science
publication_identifier:
  issn:
  - 2296-665X
publication_status: published
publisher: Frontiers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Bayesian inference for stochastic individual-based models of ecological systems:
  a pest control simulation study'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2015'
...
---
OA_place: publisher
OA_type: green
_id: '10796'
abstract:
- lang: eng
  text: 'We consider concurrent mean-payoff games, a very well-studied class of two-player
    (player 1 vs player 2) zero-sum games on finite-state graphs where every transition
    is assigned a reward between 0 and 1, and the payoff function is the long-run
    average of the rewards. The value is the maximal expected payoff that player 1
    can guarantee against all strategies of player 2. We consider the computation
    of the set of states with value 1 under finite-memory strategies for player 1,
    and our main results for the problem are as follows: (1) we present a polynomial-time
    algorithm; (2) we show that whenever there is a finite-memory strategy, there
    is a stationary strategy that does not need memory at all; and (3) we present
    an optimal bound (which is double exponential) on the patience of stationary strategies
    (where patience of a distribution is the inverse of the smallest positive probability
    and represents a complexity measure of a stationary strategy).'
acknowledgement: "The research was partly supported by FWF Grant No P 23499-N23, FWF
  NFN Grant\r\nNo S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft
  faculty fellows award."
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Rasmus
  full_name: Ibsen-Jensen, Rasmus
  id: 3B699956-F248-11E8-B48F-1D18A9856A87
  last_name: Ibsen-Jensen
  orcid: 0000-0003-4783-0389
citation:
  ama: 'Chatterjee K, Ibsen-Jensen R. The value 1 problem under finite-memory strategies
    for concurrent mean-payoff games. In: <i>Proceedings of the Twenty-Sixth Annual
    ACM-SIAM Symposium on Discrete Algorithms</i>. Vol 2015. SIAM; 2015:1018-1029.
    doi:<a href="https://doi.org/10.1137/1.9781611973730.69">10.1137/1.9781611973730.69</a>'
  apa: 'Chatterjee, K., &#38; Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory
    strategies for concurrent mean-payoff games. In <i>Proceedings of the Twenty-Sixth
    Annual ACM-SIAM Symposium on Discrete Algorithms</i> (Vol. 2015, pp. 1018–1029).
    San Diego, CA, United States: SIAM. <a href="https://doi.org/10.1137/1.9781611973730.69">https://doi.org/10.1137/1.9781611973730.69</a>'
  chicago: Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under
    Finite-Memory Strategies for Concurrent Mean-Payoff Games.” In <i>Proceedings
    of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 2015:1018–29.
    SIAM, 2015. <a href="https://doi.org/10.1137/1.9781611973730.69">https://doi.org/10.1137/1.9781611973730.69</a>.
  ieee: K. Chatterjee and R. Ibsen-Jensen, “The value 1 problem under finite-memory
    strategies for concurrent mean-payoff games,” in <i>Proceedings of the Twenty-Sixth
    Annual ACM-SIAM Symposium on Discrete Algorithms</i>, San Diego, CA, United States,
    2015, vol. 2015, no. 1, pp. 1018–1029.
  ista: 'Chatterjee K, Ibsen-Jensen R. 2015. The value 1 problem under finite-memory
    strategies for concurrent mean-payoff games. Proceedings of the Twenty-Sixth Annual
    ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms
    vol. 2015, 1018–1029.'
  mla: Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under
    Finite-Memory Strategies for Concurrent Mean-Payoff Games.” <i>Proceedings of
    the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms</i>, vol. 2015,
    no. 1, SIAM, 2015, pp. 1018–29, doi:<a href="https://doi.org/10.1137/1.9781611973730.69">10.1137/1.9781611973730.69</a>.
  short: K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual
    ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
conference:
  end_date: 2015-01-06
  location: San Diego, CA, United States
  name: 'SODA: Symposium on Discrete Algorithms'
  start_date: 2015-01-04
corr_author: '1'
date_created: 2022-02-25T12:18:43Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-06-26T06:54:08Z
day: '01'
department:
- _id: KrCh
doi: 10.1137/1.9781611973730.69
ec_funded: 1
external_id:
  arxiv:
  - '1409.6690'
fulldoi: https://doi.org/10.1137/1.9781611973730.69
intvolume: '      2015'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1409.6690
month: '01'
oa: 1
oa_version: Preprint
page: 1018-1029
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete
  Algorithms
publication_identifier:
  isbn:
  - 978-161197374-7
publication_status: published
publisher: SIAM
quality_controlled: '1'
scopus_import: '1'
status: public
title: The value 1 problem under finite-memory strategies for concurrent mean-payoff
  games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2015
year: '2015'
...
---
_id: '7739'
abstract:
- lang: eng
  text: Currently, there is much debate on the genetic architecture of quantitative
    traits in wild populations. Is trait variation influenced by many genes of small
    effect or by a few genes of major effect? Where is additive genetic variation
    located in the genome? Do the same loci cause similar phenotypic variation in
    different populations? Great tits (Parus major) have been studied extensively
    in long‐term studies across Europe and consequently are considered an ecological
    ‘model organism’. Recently, genomic resources have been developed for the great
    tit, including a custom SNP chip and genetic linkage map. In this study, we used
    a suite of approaches to investigate the genetic architecture of eight quantitative
    traits in two long‐term study populations of great tits—one in the Netherlands
    and the other in the United Kingdom. Overall, we found little evidence for the
    presence of genes of large effects in either population. Instead, traits appeared
    to be influenced by many genes of small effect, with conservative estimates of
    the number of contributing loci ranging from 31 to 310. Despite concordance between
    population‐specific heritabilities, we found no evidence for the presence of loci
    having similar effects in both populations. While population‐specific genetic
    architectures are possible, an undetected shared architecture cannot be rejected
    because of limited power to map loci of small and moderate effects. This study
    is one of few examples of genetic architecture analysis in replicated wild populations
    and highlights some of the challenges and limitations researchers will face when
    attempting similar molecular quantitative genetic studies in free‐living populations.
article_processing_charge: No
article_type: original
author:
- first_name: Anna W.
  full_name: Santure, Anna W.
  last_name: Santure
- first_name: Jocelyn
  full_name: Poissant, Jocelyn
  last_name: Poissant
- first_name: Isabelle
  full_name: De Cauwer, Isabelle
  last_name: De Cauwer
- first_name: Kees
  full_name: van Oers, Kees
  last_name: van Oers
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: John L.
  full_name: Quinn, John L.
  last_name: Quinn
- first_name: Martien A. M.
  full_name: Groenen, Martien A. M.
  last_name: Groenen
- first_name: Marcel E.
  full_name: Visser, Marcel E.
  last_name: Visser
- first_name: Ben C.
  full_name: Sheldon, Ben C.
  last_name: Sheldon
- first_name: Jon
  full_name: Slate, Jon
  last_name: Slate
citation:
  ama: Santure AW, Poissant J, De Cauwer I, et al. Replicated analysis of the genetic
    architecture of quantitative traits in two wild great tit populations. <i>Molecular
    Ecology</i>. 2015;24:6148-6162. doi:<a href="https://doi.org/10.1111/mec.13452">10.1111/mec.13452</a>
  apa: Santure, A. W., Poissant, J., De Cauwer, I., van Oers, K., Robinson, M. R.,
    Quinn, J. L., … Slate, J. (2015). Replicated analysis of the genetic architecture
    of quantitative traits in two wild great tit populations. <i>Molecular Ecology</i>.
    Wiley. <a href="https://doi.org/10.1111/mec.13452">https://doi.org/10.1111/mec.13452</a>
  chicago: Santure, Anna W., Jocelyn Poissant, Isabelle De Cauwer, Kees van Oers,
    Matthew Richard Robinson, John L. Quinn, Martien A. M. Groenen, Marcel E. Visser,
    Ben C. Sheldon, and Jon Slate. “Replicated Analysis of the Genetic Architecture
    of Quantitative Traits in Two Wild Great Tit Populations.” <i>Molecular Ecology</i>.
    Wiley, 2015. <a href="https://doi.org/10.1111/mec.13452">https://doi.org/10.1111/mec.13452</a>.
  ieee: A. W. Santure <i>et al.</i>, “Replicated analysis of the genetic architecture
    of quantitative traits in two wild great tit populations,” <i>Molecular Ecology</i>,
    vol. 24. Wiley, pp. 6148–6162, 2015.
  ista: Santure AW, Poissant J, De Cauwer I, van Oers K, Robinson MR, Quinn JL, Groenen
    MAM, Visser ME, Sheldon BC, Slate J. 2015. Replicated analysis of the genetic
    architecture of quantitative traits in two wild great tit populations. Molecular
    Ecology. 24, 6148–6162.
  mla: Santure, Anna W., et al. “Replicated Analysis of the Genetic Architecture of
    Quantitative Traits in Two Wild Great Tit Populations.” <i>Molecular Ecology</i>,
    vol. 24, Wiley, 2015, pp. 6148–62, doi:<a href="https://doi.org/10.1111/mec.13452">10.1111/mec.13452</a>.
  short: A.W. Santure, J. Poissant, I. De Cauwer, K. van Oers, M.R. Robinson, J.L.
    Quinn, M.A.M. Groenen, M.E. Visser, B.C. Sheldon, J. Slate, Molecular Ecology
    24 (2015) 6148–6162.
date_created: 2020-04-30T10:51:01Z
date_published: 2015-12-10T00:00:00Z
date_updated: 2021-01-12T08:15:12Z
day: '10'
doi: 10.1111/mec.13452
extern: '1'
fulldoi: https://doi.org/10.1111/mec.13452
intvolume: '        24'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1111/mec.13452
month: '12'
oa: 1
oa_version: Published Version
page: 6148-6162
publication: Molecular Ecology
publication_identifier:
  issn:
  - 0962-1083
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Replicated analysis of the genetic architecture of quantitative traits in two
  wild great tit populations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2015'
...
---
_id: '7741'
abstract:
- lang: eng
  text: Phenotypes expressed in a social context are not only a function of the individual,
    but can also be shaped by the phenotypes of social partners. These social effects
    may play a major role in the evolution of cooperative breeding if social partners
    differ in the quality of care they provide and if individual carers adjust their
    effort in relation to that of other carers. When applying social effects models
    to wild study systems, it is also important to explore sources of individual plasticity
    that could masquerade as social effects. We studied offspring provisioning rates
    of parents and helpers in a wild population of long-tailed tits Aegithalos caudatus
    using a quantitative genetic framework to identify these social effects and partition
    them into genetic, permanent environment and current environment components. Controlling
    for other effects, individuals were consistent in their provisioning effort at
    a given nest, but adjusted their effort based on who was in their social group,
    indicating the presence of social effects. However, these social effects differed
    between years and social contexts, indicating a current environment effect, rather
    than indicating a genetic or permanent environment effect. While this study reveals
    the importance of examining environmental and genetic sources of social effects,
    the framework we present is entirely general, enabling a greater understanding
    of potentially important social effects within any ecological population.
article_number: '20150689'
article_processing_charge: No
article_type: original
author:
- first_name: Mark James
  full_name: Adams, Mark James
  last_name: Adams
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Maria-Elena
  full_name: Mannarelli, Maria-Elena
  last_name: Mannarelli
- first_name: Ben J.
  full_name: Hatchwell, Ben J.
  last_name: Hatchwell
citation:
  ama: 'Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. Social genetic and social
    environment effects on parental and helper care in a cooperatively breeding bird.
    <i>Proceedings of the Royal Society B: Biological Sciences</i>. 2015;282(1810).
    doi:<a href="https://doi.org/10.1098/rspb.2015.0689">10.1098/rspb.2015.0689</a>'
  apa: 'Adams, M. J., Robinson, M. R., Mannarelli, M.-E., &#38; Hatchwell, B. J. (2015).
    Social genetic and social environment effects on parental and helper care in a
    cooperatively breeding bird. <i>Proceedings of the Royal Society B: Biological
    Sciences</i>. The Royal Society. <a href="https://doi.org/10.1098/rspb.2015.0689">https://doi.org/10.1098/rspb.2015.0689</a>'
  chicago: 'Adams, Mark James, Matthew Richard Robinson, Maria-Elena Mannarelli, and
    Ben J. Hatchwell. “Social Genetic and Social Environment Effects on Parental and
    Helper Care in a Cooperatively Breeding Bird.” <i>Proceedings of the Royal Society
    B: Biological Sciences</i>. The Royal Society, 2015. <a href="https://doi.org/10.1098/rspb.2015.0689">https://doi.org/10.1098/rspb.2015.0689</a>.'
  ieee: 'M. J. Adams, M. R. Robinson, M.-E. Mannarelli, and B. J. Hatchwell, “Social
    genetic and social environment effects on parental and helper care in a cooperatively
    breeding bird,” <i>Proceedings of the Royal Society B: Biological Sciences</i>,
    vol. 282, no. 1810. The Royal Society, 2015.'
  ista: 'Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. 2015. Social genetic
    and social environment effects on parental and helper care in a cooperatively
    breeding bird. Proceedings of the Royal Society B: Biological Sciences. 282(1810),
    20150689.'
  mla: 'Adams, Mark James, et al. “Social Genetic and Social Environment Effects on
    Parental and Helper Care in a Cooperatively Breeding Bird.” <i>Proceedings of
    the Royal Society B: Biological Sciences</i>, vol. 282, no. 1810, 20150689, The
    Royal Society, 2015, doi:<a href="https://doi.org/10.1098/rspb.2015.0689">10.1098/rspb.2015.0689</a>.'
  short: 'M.J. Adams, M.R. Robinson, M.-E. Mannarelli, B.J. Hatchwell, Proceedings
    of the Royal Society B: Biological Sciences 282 (2015).'
date_created: 2020-04-30T10:58:07Z
date_published: 2015-07-07T00:00:00Z
date_updated: 2021-01-12T08:15:12Z
day: '07'
doi: 10.1098/rspb.2015.0689
extern: '1'
external_id:
  pmid:
  - '26063846'
fulldoi: https://doi.org/10.1098/rspb.2015.0689
intvolume: '       282'
issue: '1810'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1098/rspb.2015.0689
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: 'Proceedings of the Royal Society B: Biological Sciences'
publication_identifier:
  issn:
  - 0962-8452
  - 1471-2954
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
status: public
title: Social genetic and social environment effects on parental and helper care in
  a cooperatively breeding bird
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 282
year: '2015'
...
---
_id: '7742'
abstract:
- lang: eng
  text: Across-nation differences in the mean values for complex traits are common1,2,3,4,5,6,7,8,
    but the reasons for these differences are unknown. Here we find that many independent
    loci contribute to population genetic differences in height and body mass index
    (BMI) in 9,416 individuals across 14 European countries. Using discovery data
    on over 250,000 individuals and unbiased effect size estimates from 17,500 sibling
    pairs, we estimate that 24% (95% credible interval (CI) = 9%, 41%) and 8% (95%
    CI = 4%, 16%) of the captured additive genetic variance for height and BMI, respectively,
    reflect population genetic differences. Population genetic divergence differed
    significantly from that in a null model (height, P < 3.94 × 10−8; BMI, P < 5.95
    × 10−4), and we find an among-population genetic correlation for tall and slender
    individuals (r = −0.80, 95% CI = −0.95, −0.60), consistent with correlated selection
    for both phenotypes. Observed differences in height among populations reflected
    the predicted genetic means (r = 0.51; P < 0.001), but environmental differences
    across Europe masked genetic differentiation for BMI (P < 0.58).
article_processing_charge: No
article_type: original
author:
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Gibran
  full_name: Hemani, Gibran
  last_name: Hemani
- first_name: Carolina
  full_name: Medina-Gomez, Carolina
  last_name: Medina-Gomez
- first_name: Massimo
  full_name: Mezzavilla, Massimo
  last_name: Mezzavilla
- first_name: Tonu
  full_name: Esko, Tonu
  last_name: Esko
- first_name: Konstantin
  full_name: Shakhbazov, Konstantin
  last_name: Shakhbazov
- first_name: Joseph E
  full_name: Powell, Joseph E
  last_name: Powell
- first_name: Anna
  full_name: Vinkhuyzen, Anna
  last_name: Vinkhuyzen
- first_name: Sonja I
  full_name: Berndt, Sonja I
  last_name: Berndt
- first_name: Stefan
  full_name: Gustafsson, Stefan
  last_name: Gustafsson
- first_name: Anne E
  full_name: Justice, Anne E
  last_name: Justice
- first_name: Bratati
  full_name: Kahali, Bratati
  last_name: Kahali
- first_name: Adam E
  full_name: Locke, Adam E
  last_name: Locke
- first_name: Tune H
  full_name: Pers, Tune H
  last_name: Pers
- first_name: Sailaja
  full_name: Vedantam, Sailaja
  last_name: Vedantam
- first_name: Andrew R
  full_name: Wood, Andrew R
  last_name: Wood
- first_name: Wouter
  full_name: van Rheenen, Wouter
  last_name: van Rheenen
- first_name: Ole A
  full_name: Andreassen, Ole A
  last_name: Andreassen
- first_name: Paolo
  full_name: Gasparini, Paolo
  last_name: Gasparini
- first_name: Andres
  full_name: Metspalu, Andres
  last_name: Metspalu
- first_name: Leonard H van den
  full_name: Berg, Leonard H van den
  last_name: Berg
- first_name: Jan H
  full_name: Veldink, Jan H
  last_name: Veldink
- first_name: Fernando
  full_name: Rivadeneira, Fernando
  last_name: Rivadeneira
- first_name: Thomas M
  full_name: Werge, Thomas M
  last_name: Werge
- first_name: Goncalo R
  full_name: Abecasis, Goncalo R
  last_name: Abecasis
- first_name: Dorret I
  full_name: Boomsma, Dorret I
  last_name: Boomsma
- first_name: Daniel I
  full_name: Chasman, Daniel I
  last_name: Chasman
- first_name: Eco J C
  full_name: de Geus, Eco J C
  last_name: de Geus
- first_name: Timothy M
  full_name: Frayling, Timothy M
  last_name: Frayling
- first_name: Joel N
  full_name: Hirschhorn, Joel N
  last_name: Hirschhorn
- first_name: Jouke Jan
  full_name: Hottenga, Jouke Jan
  last_name: Hottenga
- first_name: Erik
  full_name: Ingelsson, Erik
  last_name: Ingelsson
- first_name: Ruth J F
  full_name: Loos, Ruth J F
  last_name: Loos
- first_name: Patrik K E
  full_name: Magnusson, Patrik K E
  last_name: Magnusson
- first_name: Nicholas G
  full_name: Martin, Nicholas G
  last_name: Martin
- first_name: Grant W
  full_name: Montgomery, Grant W
  last_name: Montgomery
- first_name: Kari E
  full_name: North, Kari E
  last_name: North
- first_name: Nancy L
  full_name: Pedersen, Nancy L
  last_name: Pedersen
- first_name: Timothy D
  full_name: Spector, Timothy D
  last_name: Spector
- first_name: Elizabeth K
  full_name: Speliotes, Elizabeth K
  last_name: Speliotes
- first_name: Michael E
  full_name: Goddard, Michael E
  last_name: Goddard
- first_name: Jian
  full_name: Yang, Jian
  last_name: Yang
- first_name: Peter M
  full_name: Visscher, Peter M
  last_name: Visscher
citation:
  ama: Robinson MR, Hemani G, Medina-Gomez C, et al. Population genetic differentiation
    of height and body mass index across Europe. <i>Nature Genetics</i>. 2015;47(11):1357-1362.
    doi:<a href="https://doi.org/10.1038/ng.3401">10.1038/ng.3401</a>
  apa: Robinson, M. R., Hemani, G., Medina-Gomez, C., Mezzavilla, M., Esko, T., Shakhbazov,
    K., … Visscher, P. M. (2015). Population genetic differentiation of height and
    body mass index across Europe. <i>Nature Genetics</i>. Springer Nature. <a href="https://doi.org/10.1038/ng.3401">https://doi.org/10.1038/ng.3401</a>
  chicago: Robinson, Matthew Richard, Gibran Hemani, Carolina Medina-Gomez, Massimo
    Mezzavilla, Tonu Esko, Konstantin Shakhbazov, Joseph E Powell, et al. “Population
    Genetic Differentiation of Height and Body Mass Index across Europe.” <i>Nature
    Genetics</i>. Springer Nature, 2015. <a href="https://doi.org/10.1038/ng.3401">https://doi.org/10.1038/ng.3401</a>.
  ieee: M. R. Robinson <i>et al.</i>, “Population genetic differentiation of height
    and body mass index across Europe,” <i>Nature Genetics</i>, vol. 47, no. 11. Springer
    Nature, pp. 1357–1362, 2015.
  ista: Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K,
    Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke
    AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu
    A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma
    DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson
    E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector
    TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation
    of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
  mla: Robinson, Matthew Richard, et al. “Population Genetic Differentiation of Height
    and Body Mass Index across Europe.” <i>Nature Genetics</i>, vol. 47, no. 11, Springer
    Nature, 2015, pp. 1357–62, doi:<a href="https://doi.org/10.1038/ng.3401">10.1038/ng.3401</a>.
  short: M.R. Robinson, G. Hemani, C. Medina-Gomez, M. Mezzavilla, T. Esko, K. Shakhbazov,
    J.E. Powell, A. Vinkhuyzen, S.I. Berndt, S. Gustafsson, A.E. Justice, B. Kahali,
    A.E. Locke, T.H. Pers, S. Vedantam, A.R. Wood, W. van Rheenen, O.A. Andreassen,
    P. Gasparini, A. Metspalu, L.H. van den Berg, J.H. Veldink, F. Rivadeneira, T.M.
    Werge, G.R. Abecasis, D.I. Boomsma, D.I. Chasman, E.J.C. de Geus, T.M. Frayling,
    J.N. Hirschhorn, J.J. Hottenga, E. Ingelsson, R.J.F. Loos, P.K.E. Magnusson, N.G.
    Martin, G.W. Montgomery, K.E. North, N.L. Pedersen, T.D. Spector, E.K. Speliotes,
    M.E. Goddard, J. Yang, P.M. Visscher, Nature Genetics 47 (2015) 1357–1362.
date_created: 2020-04-30T10:58:23Z
date_published: 2015-09-14T00:00:00Z
date_updated: 2021-01-12T08:15:13Z
day: '14'
doi: 10.1038/ng.3401
extern: '1'
fulldoi: https://doi.org/10.1038/ng.3401
intvolume: '        47'
issue: '11'
language:
- iso: eng
month: '09'
oa_version: None
page: 1357-1362
publication: Nature Genetics
publication_identifier:
  issn:
  - 1061-4036
  - 1546-1718
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Population genetic differentiation of height and body mass index across Europe
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2015'
...
---
OA_type: closed access
_id: '776'
abstract:
- lang: eng
  text: High-performance concurrent priority queues are essential for applications
    such as task scheduling and discrete event simulation. Unfortunately, even the
    best performing implementations do not scale past a number of threads in the single
    digits. This is because of the sequential bottleneck in accessing the elements
    at the head of the queue in order to perform a DeleteMin operation. In this paper,
    we present the SprayList, a scalable priority queue with relaxed ordering semantics.
    Starting from a non-blocking SkipList, the main innovation behind our design is
    that the DeleteMin operations avoid a sequential bottleneck by &quot;spraying&quot;
    themselves onto the head of the SkipList list in a coordinated fashion. The spraying
    is implemented using a carefully designed random walk, so that DeleteMin returns
    an element among the first O(plog3p) in the list, with high probability, where
    p is the number of threads. We prove that the running time of a DeleteMin operation
    is O(log3p), with high probability, independent of the size of the list. Our experiments
    show that the relaxed semantics allow the data structure to scale for high thread
    counts, comparable to a classic unordered SkipList. Furthermore, we observe that,
    for reasonably parallel workloads, the scalability benefits of relaxation considerably
    outweigh the additional work due to out-of-order execution.
acknowledgement: "Support is gratefully acknowledged from the National Science Foundation
  under grants CCF-1217921, CCF-1301926, and IIS-1447786, the Department of Energy
  under grant ER26116/DE-SC0008923, and the Oracle\r\nand Intel corporations."
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Justin
  full_name: Kopinsky, Justin
  last_name: Kopinsky
- first_name: Jerry
  full_name: Li, Jerry
  last_name: Li
- first_name: Nir
  full_name: Shavit, Nir
  last_name: Shavit
citation:
  ama: 'Alistarh D-A, Kopinsky J, Li J, Shavit N. The SprayList: A scalable relaxed
    priority queue. In: <i>Proceedings of the 20th ACM SIGPLAN Symposium on Principles
    and Practice of Parallel Programming</i>. ACM; 2015:11-20. doi:<a href="https://doi.org/10.1145/2688500.2688523">10.1145/2688500.2688523</a>'
  apa: 'Alistarh, D.-A., Kopinsky, J., Li, J., &#38; Shavit, N. (2015). The SprayList:
    A scalable relaxed priority queue. In <i>Proceedings of the 20th ACM SIGPLAN Symposium
    on Principles and Practice of Parallel Programming</i> (pp. 11–20). San Francisco,
    CA, United States: ACM. <a href="https://doi.org/10.1145/2688500.2688523">https://doi.org/10.1145/2688500.2688523</a>'
  chicago: 'Alistarh, Dan-Adrian, Justin Kopinsky, Jerry Li, and Nir Shavit. “The
    SprayList: A Scalable Relaxed Priority Queue.” In <i>Proceedings of the 20th ACM
    SIGPLAN Symposium on Principles and Practice of Parallel Programming</i>, 11–20.
    ACM, 2015. <a href="https://doi.org/10.1145/2688500.2688523">https://doi.org/10.1145/2688500.2688523</a>.'
  ieee: 'D.-A. Alistarh, J. Kopinsky, J. Li, and N. Shavit, “The SprayList: A scalable
    relaxed priority queue,” in <i>Proceedings of the 20th ACM SIGPLAN Symposium on
    Principles and Practice of Parallel Programming</i>, San Francisco, CA, United
    States, 2015, pp. 11–20.'
  ista: 'Alistarh D-A, Kopinsky J, Li J, Shavit N. 2015. The SprayList: A scalable
    relaxed priority queue. Proceedings of the 20th ACM SIGPLAN Symposium on Principles
    and Practice of Parallel Programming. PPoPP: Principles and Practice of Parallel
    Pogramming, 11–20.'
  mla: 'Alistarh, Dan-Adrian, et al. “The SprayList: A Scalable Relaxed Priority Queue.”
    <i>Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of
    Parallel Programming</i>, ACM, 2015, pp. 11–20, doi:<a href="https://doi.org/10.1145/2688500.2688523">10.1145/2688500.2688523</a>.'
  short: D.-A. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, Proceedings of the 20th
    ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM,
    2015, pp. 11–20.
conference:
  end_date: 2015-02-11
  location: San Francisco, CA, United States
  name: 'PPoPP: Principles and Practice of Parallel Pogramming'
  start_date: 2015-02-07
date_created: 2018-12-11T11:48:26Z
date_published: 2015-01-24T00:00:00Z
date_updated: 2026-05-18T12:40:58Z
day: '24'
doi: 10.1145/2688500.2688523
extern: '1'
fulldoi: https://doi.org/10.1145/2688500.2688523
language:
- iso: eng
month: '01'
oa_version: None
page: 11 - 20
publication: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice
  of Parallel Programming
publication_identifier:
  isbn:
  - '9781450332057'
publication_status: published
publisher: ACM
publist_id: '6878'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The SprayList: A scalable relaxed priority queue'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2015'
...
---
_id: '7765'
abstract:
- lang: eng
  text: 'We introduce a principle unique to disordered solids wherein the contribution
    of any bond to one global perturbation is uncorrelated with its contribution to
    another. Coupled with sufficient variability in the contributions of different
    bonds, this “independent bond-level response” paves the way for the design of
    real materials with unusual and exquisitely tuned properties. To illustrate this,
    we choose two global perturbations: compression and shear. By applying a bond
    removal procedure that is both simple and experimentally relevant to remove a
    very small fraction of bonds, we can drive disordered spring networks to both
    the incompressible and completely auxetic limits of mechanical behavior.'
article_number: '225501'
article_processing_charge: No
article_type: original
author:
- first_name: Carl Peter
  full_name: Goodrich, Carl Peter
  id: EB352CD2-F68A-11E9-89C5-A432E6697425
  last_name: Goodrich
  orcid: 0000-0002-1307-5074
- first_name: Andrea J.
  full_name: Liu, Andrea J.
  last_name: Liu
- first_name: Sidney R.
  full_name: Nagel, Sidney R.
  last_name: Nagel
citation:
  ama: 'Goodrich CP, Liu AJ, Nagel SR. The principle of independent bond-level response:
    Tuning by pruning to exploit disorder for global behavior. <i>Physical Review
    Letters</i>. 2015;114(22). doi:<a href="https://doi.org/10.1103/physrevlett.114.225501">10.1103/physrevlett.114.225501</a>'
  apa: 'Goodrich, C. P., Liu, A. J., &#38; Nagel, S. R. (2015). The principle of independent
    bond-level response: Tuning by pruning to exploit disorder for global behavior.
    <i>Physical Review Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/physrevlett.114.225501">https://doi.org/10.1103/physrevlett.114.225501</a>'
  chicago: 'Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “The Principle
    of Independent Bond-Level Response: Tuning by Pruning to Exploit Disorder for
    Global Behavior.” <i>Physical Review Letters</i>. American Physical Society, 2015.
    <a href="https://doi.org/10.1103/physrevlett.114.225501">https://doi.org/10.1103/physrevlett.114.225501</a>.'
  ieee: 'C. P. Goodrich, A. J. Liu, and S. R. Nagel, “The principle of independent
    bond-level response: Tuning by pruning to exploit disorder for global behavior,”
    <i>Physical Review Letters</i>, vol. 114, no. 22. American Physical Society, 2015.'
  ista: 'Goodrich CP, Liu AJ, Nagel SR. 2015. The principle of independent bond-level
    response: Tuning by pruning to exploit disorder for global behavior. Physical
    Review Letters. 114(22), 225501.'
  mla: 'Goodrich, Carl Peter, et al. “The Principle of Independent Bond-Level Response:
    Tuning by Pruning to Exploit Disorder for Global Behavior.” <i>Physical Review
    Letters</i>, vol. 114, no. 22, 225501, American Physical Society, 2015, doi:<a
    href="https://doi.org/10.1103/physrevlett.114.225501">10.1103/physrevlett.114.225501</a>.'
  short: C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 114 (2015).
date_created: 2020-04-30T11:41:08Z
date_published: 2015-06-04T00:00:00Z
date_updated: 2021-01-12T08:15:23Z
day: '04'
doi: 10.1103/physrevlett.114.225501
extern: '1'
fulldoi: https://doi.org/10.1103/physrevlett.114.225501
intvolume: '       114'
issue: '22'
language:
- iso: eng
month: '06'
oa_version: None
publication: Physical Review Letters
publication_identifier:
  issn:
  - 0031-9007
  - 1079-7114
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: 'The principle of independent bond-level response: Tuning by pruning to exploit
  disorder for global behavior'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 114
year: '2015'
...
---
_id: '7766'
abstract:
- lang: eng
  text: We study the vibrational properties near a free surface of disordered spring
    networks derived from jammed sphere packings. In bulk systems, without surfaces,
    it is well understood that such systems have a plateau in the density of vibrational
    modes extending down to a frequency scale ω*. This frequency is controlled by
    ΔZ = 〈Z〉 − 2d, the difference between the average coordination of the spheres
    and twice the spatial dimension, d, of the system, which vanishes at the jamming
    transition. In the presence of a free surface we find that there is a density
    of disordered vibrational modes associated with the surface that extends far below
    ω*. The total number of these low-frequency surface modes is controlled by ΔZ,
    and the profile of their decay into the bulk has two characteristic length scales,
    which diverge as ΔZ−1/2 and ΔZ−1 as the jamming transition is approached.
article_processing_charge: No
article_type: original
author:
- first_name: Daniel M.
  full_name: Sussman, Daniel M.
  last_name: Sussman
- first_name: Carl Peter
  full_name: Goodrich, Carl Peter
  id: EB352CD2-F68A-11E9-89C5-A432E6697425
  last_name: Goodrich
  orcid: 0000-0002-1307-5074
- first_name: Andrea J.
  full_name: Liu, Andrea J.
  last_name: Liu
- first_name: Sidney R.
  full_name: Nagel, Sidney R.
  last_name: Nagel
citation:
  ama: Sussman DM, Goodrich CP, Liu AJ, Nagel SR. Disordered surface vibrations in
    jammed sphere packings. <i>Soft Matter</i>. 2015;11(14):2745-2751. doi:<a href="https://doi.org/10.1039/c4sm02905d">10.1039/c4sm02905d</a>
  apa: Sussman, D. M., Goodrich, C. P., Liu, A. J., &#38; Nagel, S. R. (2015). Disordered
    surface vibrations in jammed sphere packings. <i>Soft Matter</i>. Royal Society
    of Chemistry. <a href="https://doi.org/10.1039/c4sm02905d">https://doi.org/10.1039/c4sm02905d</a>
  chicago: Sussman, Daniel M., Carl Peter Goodrich, Andrea J. Liu, and Sidney R. Nagel.
    “Disordered Surface Vibrations in Jammed Sphere Packings.” <i>Soft Matter</i>.
    Royal Society of Chemistry, 2015. <a href="https://doi.org/10.1039/c4sm02905d">https://doi.org/10.1039/c4sm02905d</a>.
  ieee: D. M. Sussman, C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Disordered surface
    vibrations in jammed sphere packings,” <i>Soft Matter</i>, vol. 11, no. 14. Royal
    Society of Chemistry, pp. 2745–2751, 2015.
  ista: Sussman DM, Goodrich CP, Liu AJ, Nagel SR. 2015. Disordered surface vibrations
    in jammed sphere packings. Soft Matter. 11(14), 2745–2751.
  mla: Sussman, Daniel M., et al. “Disordered Surface Vibrations in Jammed Sphere
    Packings.” <i>Soft Matter</i>, vol. 11, no. 14, Royal Society of Chemistry, 2015,
    pp. 2745–51, doi:<a href="https://doi.org/10.1039/c4sm02905d">10.1039/c4sm02905d</a>.
  short: D.M. Sussman, C.P. Goodrich, A.J. Liu, S.R. Nagel, Soft Matter 11 (2015)
    2745–2751.
date_created: 2020-04-30T11:41:23Z
date_published: 2015-02-15T00:00:00Z
date_updated: 2021-01-12T08:15:23Z
day: '15'
doi: 10.1039/c4sm02905d
extern: '1'
fulldoi: https://doi.org/10.1039/c4sm02905d
intvolume: '        11'
issue: '14'
language:
- iso: eng
month: '02'
oa_version: None
page: 2745-2751
publication: Soft Matter
publication_identifier:
  issn:
  - 1744-683X
  - 1744-6848
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
status: public
title: Disordered surface vibrations in jammed sphere packings
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2015'
...
---
_id: '7767'
abstract:
- lang: eng
  text: We present a model of soft active particles that leads to a rich array of
    collective behavior found also in dense biological swarms of bacteria and other
    unicellular organisms. Our model uses only local interactions, such as Vicsek-type
    nearest-neighbor alignment, short-range repulsion, and a local boundary term.
    Changing the relative strength of these interactions leads to migrating swarms,
    rotating swarms, and jammed swarms, as well as swarms that exhibit run-and-tumble
    motion, alternating between migration and either rotating or jammed states. Interestingly,
    although a migrating swarm moves slower than an individual particle, the diffusion
    constant can be up to three orders of magnitude larger, suggesting that collective
    motion can be highly advantageous, for example, when searching for food.
article_number: '032706'
article_processing_charge: No
article_type: original
author:
- first_name: Ruben
  full_name: van Drongelen, Ruben
  last_name: van Drongelen
- first_name: Anshuman
  full_name: Pal, Anshuman
  last_name: Pal
- first_name: Carl Peter
  full_name: Goodrich, Carl Peter
  id: EB352CD2-F68A-11E9-89C5-A432E6697425
  last_name: Goodrich
  orcid: 0000-0002-1307-5074
- first_name: Timon
  full_name: Idema, Timon
  last_name: Idema
citation:
  ama: van Drongelen R, Pal A, Goodrich CP, Idema T. Collective dynamics of soft active
    particles. <i>Physical Review E</i>. 2015;91(3). doi:<a href="https://doi.org/10.1103/physreve.91.032706">10.1103/physreve.91.032706</a>
  apa: van Drongelen, R., Pal, A., Goodrich, C. P., &#38; Idema, T. (2015). Collective
    dynamics of soft active particles. <i>Physical Review E</i>. American Physical
    Society. <a href="https://doi.org/10.1103/physreve.91.032706">https://doi.org/10.1103/physreve.91.032706</a>
  chicago: Drongelen, Ruben van, Anshuman Pal, Carl Peter Goodrich, and Timon Idema.
    “Collective Dynamics of Soft Active Particles.” <i>Physical Review E</i>. American
    Physical Society, 2015. <a href="https://doi.org/10.1103/physreve.91.032706">https://doi.org/10.1103/physreve.91.032706</a>.
  ieee: R. van Drongelen, A. Pal, C. P. Goodrich, and T. Idema, “Collective dynamics
    of soft active particles,” <i>Physical Review E</i>, vol. 91, no. 3. American
    Physical Society, 2015.
  ista: van Drongelen R, Pal A, Goodrich CP, Idema T. 2015. Collective dynamics of
    soft active particles. Physical Review E. 91(3), 032706.
  mla: van Drongelen, Ruben, et al. “Collective Dynamics of Soft Active Particles.”
    <i>Physical Review E</i>, vol. 91, no. 3, 032706, American Physical Society, 2015,
    doi:<a href="https://doi.org/10.1103/physreve.91.032706">10.1103/physreve.91.032706</a>.
  short: R. van Drongelen, A. Pal, C.P. Goodrich, T. Idema, Physical Review E 91 (2015).
date_created: 2020-04-30T11:41:38Z
date_published: 2015-03-01T00:00:00Z
date_updated: 2021-01-12T08:15:24Z
day: '01'
doi: 10.1103/physreve.91.032706
extern: '1'
fulldoi: https://doi.org/10.1103/physreve.91.032706
intvolume: '        91'
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
publication: Physical Review E
publication_identifier:
  issn:
  - 1539-3755
  - 1550-2376
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Collective dynamics of soft active particles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 91
year: '2015'
...
---
_id: '777'
abstract:
- lang: eng
  text: 'In many applications, the data is of rich structure that can be represented
    by a hypergraph, where the data items are represented by vertices and the associations
    among items are represented by hyperedges. Equivalently, we are given an input
    bipartite graph with two types of vertices: items, and associations (which we
    refer to as topics). We consider the problem of partitioning the set of items
    into a given number of components such that the maximum number of topics covered
    by a component is minimized. This is a clustering problem with various applications,
    e.g. partitioning of a set of information objects such as documents, images, and
    videos, and load balancing in the context of modern computation platforms.Inthis
    paper, we focus on the streaming computation model for this problem, in which
    items arrive online one at a time and each item must be assigned irrevocably to
    a component at its arrival time. Motivated by scalability requirements, we focus
    on the class of streaming computation algorithms with memory limited to be at
    most linear in the number of components. We show that a greedy assignment strategy
    is able to recover a hidden co-clustering of items under a natural set of recovery
    conditions. We also report results of an extensive empirical evaluation, which
    demonstrate that this greedy strategy yields superior performance when compared
    with alternative approaches.'
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Jennifer
  full_name: Iglesias, Jennifer
  last_name: Iglesias
- first_name: Milan
  full_name: Vojnović, Milan
  last_name: Vojnović
citation:
  ama: 'Alistarh D-A, Iglesias J, Vojnović M. Streaming min-max hypergraph partitioning.
    In: Vol 2015-January. Neural Information Processing Systems; 2015:1900-1908.'
  apa: 'Alistarh, D.-A., Iglesias, J., &#38; Vojnović, M. (2015). Streaming min-max
    hypergraph partitioning (Vol. 2015–January, pp. 1900–1908). Presented at the NIPS:
    Neural Information Processing Systems, Montréal, Canada: Neural Information Processing
    Systems.'
  chicago: Alistarh, Dan-Adrian, Jennifer Iglesias, and Milan Vojnović. “Streaming
    Min-Max Hypergraph Partitioning,” 2015–January:1900–1908. Neural Information Processing
    Systems, 2015.
  ieee: 'D.-A. Alistarh, J. Iglesias, and M. Vojnović, “Streaming min-max hypergraph
    partitioning,” presented at the NIPS: Neural Information Processing Systems, Montréal,
    Canada, 2015, vol. 2015–January, pp. 1900–1908.'
  ista: 'Alistarh D-A, Iglesias J, Vojnović M. 2015. Streaming min-max hypergraph
    partitioning. NIPS: Neural Information Processing Systems vol. 2015–January, 1900–1908.'
  mla: Alistarh, Dan-Adrian, et al. <i>Streaming Min-Max Hypergraph Partitioning</i>.
    Vol. 2015–January, Neural Information Processing Systems, 2015, pp. 1900–08.
  short: D.-A. Alistarh, J. Iglesias, M. Vojnović, in:, Neural Information Processing
    Systems, 2015, pp. 1900–1908.
conference:
  end_date: 2015-12-12
  location: Montréal, Canada
  name: 'NIPS: Neural Information Processing Systems'
  start_date: 2015-12-07
date_created: 2018-12-11T11:48:27Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2026-05-19T08:39:02Z
day: '01'
extern: '1'
language:
- iso: eng
main_file_link:
- url: http://papers.nips.cc/paper/5897-streaming-min-max-hypergraph-partitioning
month: '01'
oa_version: None
page: 1900 - 1908
publication_identifier:
  isbn:
  - '9781510825024'
publication_status: published
publisher: Neural Information Processing Systems
publist_id: '6879'
status: public
title: Streaming min-max hypergraph partitioning
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 2015-January
year: '2015'
...
---
OA_type: green
_id: '7779'
abstract:
- lang: eng
  text: "The fact that a disordered material is not constrained in its properties
    in\r\nthe same way as a crystal presents significant and yet largely untapped\r\npotential
    for novel material design. However, unlike their crystalline\r\ncounterparts,
    disordered solids are not well understood. One of the primary\r\nobstacles is
    the lack of a theoretical framework for thinking about disorder\r\nand its relation
    to mechanical properties. To this end, we study an idealized\r\nsystem of frictionless
    athermal soft spheres that, when compressed, undergoes a\r\njamming phase transition
    with diverging length scales and clean power-law\r\nsignatures. This critical
    point is the cornerstone of a much larger \"jamming\r\nscenario\" that has the
    potential to provide the essential theoretical\r\nfoundation necessary for a unified
    understanding of the mechanics of disordered\r\nsolids. We begin by showing that
    jammed sphere packings have a valid linear\r\nregime despite the presence of \"contact
    nonlinearities.\" We then investigate\r\nthe critical nature of the transition,
    focusing on diverging length scales and\r\nfinite-size effects. Next, we argue
    that jamming plays the same role for\r\ndisordered solids as the perfect crystal
    plays for crystalline solids. Not only\r\ncan it be considered an idealized starting
    point for understanding disordered\r\nmaterials, but it can even influence systems
    that have a relatively high amount\r\nof crystalline order. The behavior of solids
    can thus be thought of as existing\r\non a spectrum, with the perfect crystal
    and the jamming transition at opposing\r\nends. Finally, we introduce a new principle
    wherein the contribution of an\r\nindividual bond to one global property is independent
    of its contribution to\r\nanother. This principle allows the different global
    responses of a disordered\r\nsystem to be manipulated independently and provides
    a great deal of flexibility\r\nin designing materials with unique, textured and
    tunable properties."
article_number: '1510.08820'
article_processing_charge: No
arxiv: 1
author:
- first_name: Carl Peter
  full_name: Goodrich, Carl Peter
  id: EB352CD2-F68A-11E9-89C5-A432E6697425
  last_name: Goodrich
  orcid: 0000-0002-1307-5074
citation:
  ama: 'Goodrich CP. Unearthing the anticrystal: Criticality in the linear response
    of  disordered solids. <i>arXiv</i>. doi:<a href="https://doi.org/10.48550/arXiv.1510.08820">10.48550/arXiv.1510.08820</a>'
  apa: 'Goodrich, C. P. (n.d.). Unearthing the anticrystal: Criticality in the linear
    response of  disordered solids. <i>arXiv</i>. <a href="https://doi.org/10.48550/arXiv.1510.08820">https://doi.org/10.48550/arXiv.1510.08820</a>'
  chicago: 'Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the
    Linear Response of  Disordered Solids.” <i>ArXiv</i>, n.d. <a href="https://doi.org/10.48550/arXiv.1510.08820">https://doi.org/10.48550/arXiv.1510.08820</a>.'
  ieee: 'C. P. Goodrich, “Unearthing the anticrystal: Criticality in the linear response
    of  disordered solids,” <i>arXiv</i>. .'
  ista: 'Goodrich CP. Unearthing the anticrystal: Criticality in the linear response
    of  disordered solids. arXiv, 1510.08820.'
  mla: 'Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear
    Response of  Disordered Solids.” <i>ArXiv</i>, 1510.08820, doi:<a href="https://doi.org/10.48550/arXiv.1510.08820">10.48550/arXiv.1510.08820</a>.'
  short: C.P. Goodrich, ArXiv (n.d.).
date_created: 2020-04-30T12:16:18Z
date_published: 2015-10-29T00:00:00Z
date_updated: 2025-06-26T10:26:40Z
day: '29'
doi: 10.48550/arXiv.1510.08820
extern: '1'
external_id:
  arxiv:
  - '1510.08820'
fulldoi: https://doi.org/10.48550/arXiv.1510.08820
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1510.08820
month: '10'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: 'Unearthing the anticrystal: Criticality in the linear response of  disordered
  solids'
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2015'
...
---
_id: '778'
abstract:
- lang: eng
  text: Several Hybrid Transactional Memory (HyTM) schemes have recently been proposed
    to complement the fast, but best-effort nature of Hardware Transactional Memory
    (HTM) with a slow, reliable software backup. However, the costs of providing concurrency
    between hardware and software transactions in HyTM are still not well understood.
    In this paper, we propose a general model for HyTM implementations, which captures
    the ability of hardware transactions to buffer memory accesses. The model allows
    us to formally quantify and analyze the amount of overhead (instrumentation) caused
    by the potential presence of software transactions.We prove that (1) it is impossible
    to build a strictly serializable HyTM implementation that has both uninstrumented
    reads and writes, even for very weak progress guarantees, and (2) the instrumentation
    cost incurred by a hardware transaction in any progressive opaque HyTM is linear
    in the size of the transaction’s data set.We further describe two implementations
    which exhibit optimal instrumentation costs for two different progress conditions.
    In sum, this paper proposes the first formal HyTM model and captures for the first
    time the trade-off between the degree of hardware-software TM concurrency and
    the amount of instrumentation overhead.
acknowledgement: P. Kuznetsov-The author is supported by the Agence Nationale de la
  Recherche, ANR-14-CE35-0010-01, project DISCMAT. N. Shavit-Support is gratfeully
  acknowledgedfrom the National Science Foundation under grants CCF-1217921, CCF-1201926,
  and IIS-1447786, the Department of Energy under grant ER26116/DE-SC0008923, and
  the Oracle and Intel corporations.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Justin
  full_name: Kopinsky, Justin
  last_name: Kopinsky
- first_name: Petr
  full_name: Kuznetsov, Petr
  last_name: Kuznetsov
- first_name: Srivatsan
  full_name: Ravi, Srivatsan
  last_name: Ravi
- first_name: Nir
  full_name: Shavit, Nir
  last_name: Shavit
citation:
  ama: 'Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations
    of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:<a href="https://doi.org/10.1007/978-3-662-48653-5_13">10.1007/978-3-662-48653-5_13</a>'
  apa: 'Alistarh, D.-A., Kopinsky, J., Kuznetsov, P., Ravi, S., &#38; Shavit, N. (2015).
    Inherent limitations of hybrid transactional memory (Vol. 9363, pp. 185–199).
    Presented at the DISC: Distributed Computing, Springer. <a href="https://doi.org/10.1007/978-3-662-48653-5_13">https://doi.org/10.1007/978-3-662-48653-5_13</a>'
  chicago: Alistarh, Dan-Adrian, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi,
    and Nir Shavit. “Inherent Limitations of Hybrid Transactional Memory,” 9363:185–99.
    Springer, 2015. <a href="https://doi.org/10.1007/978-3-662-48653-5_13">https://doi.org/10.1007/978-3-662-48653-5_13</a>.
  ieee: 'D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, and N. Shavit, “Inherent
    limitations of hybrid transactional memory,” presented at the DISC: Distributed
    Computing, 2015, vol. 9363, pp. 185–199.'
  ista: 'Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. 2015. Inherent limitations
    of hybrid transactional memory. DISC: Distributed Computing, LNCS, vol. 9363,
    185–199.'
  mla: Alistarh, Dan-Adrian, et al. <i>Inherent Limitations of Hybrid Transactional
    Memory</i>. Vol. 9363, Springer, 2015, pp. 185–99, doi:<a href="https://doi.org/10.1007/978-3-662-48653-5_13">10.1007/978-3-662-48653-5_13</a>.
  short: D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer,
    2015, pp. 185–199.
conference:
  name: 'DISC: Distributed Computing'
date_created: 2018-12-11T11:48:27Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2023-02-23T13:17:35Z
day: '01'
doi: 10.1007/978-3-662-48653-5_13
extern: '1'
external_id:
  arxiv:
  - '1405.5689'
fulldoi: https://doi.org/10.1007/978-3-662-48653-5_13
intvolume: '      9363'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1405.5689
month: '01'
oa: 1
oa_version: None
page: 185 - 199
publication_status: published
publisher: Springer
publist_id: '6880'
quality_controlled: '1'
status: public
title: Inherent limitations of hybrid transactional memory
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9363
year: '2015'
...
---
_id: '779'
abstract:
- lang: eng
  text: 'The concurrent memory reclamation problem is that of devising a way for a
    deallocating thread to verify that no other concurrent threads hold references
    to a memory block being deallocated. To date, in the absence of automatic garbage
    collection, there is no satisfactory solution to this problem; existing tracking
    methods like hazard pointers, reference counters, or epoch-based techniques like
    RCU, are either prohibitively expensive or require significant programming expertise,
    to the extent that implementing them efficiently can be worthy of a publication.
    None of the existing techniques are automatic or even semi-automated. In this
    paper, we take a new approach to concurrent memory reclamation: instead of manually
    tracking access to memory locations as done in techniques like hazard pointers,
    or restricting shared accesses to specific epoch boundaries as in RCU, our algorithm,
    called ThreadScan, leverages operating system signaling to automatically detect
    which memory locations are being accessed by concurrent threads. Initial empirical
    evidence shows that ThreadScan scales surprisingly well and requires negligible
    programming effort beyond the standard use of Malloc and Free.'
acknowledgement: Support is gratefully acknowledged from the National Science Foundation
  under grants CCF-1217921, CCF-1301926, and  IIS-1447786,  the  Department of Energy
  under grant ER26116/DE-SC0008923, and the Oracle corporation. In particular, we
  would like to thank Dave Dice, Alex Kogan, and Mark Moir from the Oracle Scalable
  Synchronization Research Group for very useful feedback on earlier drafts of this
  paper.
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Alexander
  full_name: Matveev, Alexander
  last_name: Matveev
- first_name: William
  full_name: Leiserson, William
  last_name: Leiserson
- first_name: Nir
  full_name: Shavit, Nir
  last_name: Shavit
citation:
  ama: 'Alistarh D-A, Matveev A, Leiserson W, Shavit N. ThreadScan: Automatic and
    scalable memory reclamation. In: Vol 2015-June. ACM; 2015:123-132. doi:<a href="https://doi.org/10.1145/2755573.2755600">10.1145/2755573.2755600</a>'
  apa: 'Alistarh, D.-A., Matveev, A., Leiserson, W., &#38; Shavit, N. (2015). ThreadScan:
    Automatic and scalable memory reclamation (Vol. 2015–June, pp. 123–132). Presented
    at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. <a
    href="https://doi.org/10.1145/2755573.2755600">https://doi.org/10.1145/2755573.2755600</a>'
  chicago: 'Alistarh, Dan-Adrian, Alexander Matveev, William Leiserson, and Nir Shavit.
    “ThreadScan: Automatic and Scalable Memory Reclamation,” 2015–June:123–32. ACM,
    2015. <a href="https://doi.org/10.1145/2755573.2755600">https://doi.org/10.1145/2755573.2755600</a>.'
  ieee: 'D.-A. Alistarh, A. Matveev, W. Leiserson, and N. Shavit, “ThreadScan: Automatic
    and scalable memory reclamation,” presented at the SPAA: Symposium on Parallelism
    in Algorithms and Architectures, 2015, vol. 2015–June, pp. 123–132.'
  ista: 'Alistarh D-A, Matveev A, Leiserson W, Shavit N. 2015. ThreadScan: Automatic
    and scalable memory reclamation. SPAA: Symposium on Parallelism in Algorithms
    and Architectures vol. 2015–June, 123–132.'
  mla: 'Alistarh, Dan-Adrian, et al. <i>ThreadScan: Automatic and Scalable Memory
    Reclamation</i>. Vol. 2015–June, ACM, 2015, pp. 123–32, doi:<a href="https://doi.org/10.1145/2755573.2755600">10.1145/2755573.2755600</a>.'
  short: D.-A. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp.
    123–132.
conference:
  name: 'SPAA: Symposium on Parallelism in Algorithms and Architectures'
date_created: 2018-12-11T11:48:27Z
date_published: 2015-06-13T00:00:00Z
date_updated: 2023-02-23T12:35:42Z
day: '13'
doi: 10.1145/2755573.2755600
extern: '1'
fulldoi: https://doi.org/10.1145/2755573.2755600
language:
- iso: eng
month: '06'
oa_version: None
page: 123 - 132
publication_status: published
publisher: ACM
publist_id: '6876'
related_material:
  record:
  - id: '6001'
    relation: later_version
    status: public
status: public
title: 'ThreadScan: Automatic and scalable memory reclamation'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2015-June
year: '2015'
...
---
OA_place: repository
OA_type: green
_id: '780'
abstract:
- lang: eng
  text: 'Population protocols are networks of finite-state agents, interacting randomly,
    and updating their states using simple rules. Despite their extreme simplicity,
    these systems have been shown to cooperatively perform complex computational tasks,
    such as simulating register machines to compute standard arithmetic functions.
    The election of a unique leader agent is a key requirement in such computational
    constructions. Yet, the fastest currently known population protocol for electing
    a leader only has linear convergence time, and it has recently been shown that
    no population protocol using a constant number of states per node may overcome
    this linear bound. In this paper, we give the first population protocol for leader
    election with polylogarithmic convergence time, using polylogarithmic memory states
    per node. The protocol structure is quite simple: each node has an associated
    value, and is either a leader (still in contention) or a minion (following some
    leader). A leader keeps incrementing its value and “defeats” other leaders in
    one-to-one interactions, and will drop from contention and become a minion if
    it meets a leader with higher value. Importantly, a leader also drops out if it
    meets a minion with higher absolute value. While these rules are quite simple,
    the proof that this algorithm achieves polylogarithmic convergence time is non-trivial.
    In particular, the argument combines careful use of concentration inequalities
    with anti-concentration bounds, showing that the leaders’ values become spread
    apart as the execution progresses, which in turn implies that straggling leaders
    get quickly eliminated. We complement our analysis with empirical results, showing
    that our protocol converges extremely fast, even for large network sizes.'
acknowledgement: Support is gratefully acknowledged from the National Science Foundation
  under grants CCF-1217921, CCF-1301926, and IIS-1447786, the Department of Energy
  under grant ER26116/DE-SC0008923, and the Oracle and Intel corporations.”
article_processing_charge: No
arxiv: 1
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Rati
  full_name: Gelashvili, Rati
  last_name: Gelashvili
citation:
  ama: 'Alistarh D-A, Gelashvili R. Polylogarithmic-time leader election in population
    protocols. In: <i>Proceedings of the 42nd International Colloquium on Automata,
    Languages and Programming</i>. Vol 9135. Springer Nature; 2015:479-491. doi:<a
    href="https://doi.org/10.1007/978-3-662-47666-6_38">10.1007/978-3-662-47666-6_38</a>'
  apa: 'Alistarh, D.-A., &#38; Gelashvili, R. (2015). Polylogarithmic-time leader
    election in population protocols. In <i>Proceedings of the 42nd International
    Colloquium on Automata, Languages and Programming</i> (Vol. 9135, pp. 479–491).
    Kyoto, Japan: Springer Nature. <a href="https://doi.org/10.1007/978-3-662-47666-6_38">https://doi.org/10.1007/978-3-662-47666-6_38</a>'
  chicago: Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader
    Election in Population Protocols.” In <i>Proceedings of the 42nd International
    Colloquium on Automata, Languages and Programming</i>, 9135:479–91. Springer Nature,
    2015. <a href="https://doi.org/10.1007/978-3-662-47666-6_38">https://doi.org/10.1007/978-3-662-47666-6_38</a>.
  ieee: D.-A. Alistarh and R. Gelashvili, “Polylogarithmic-time leader election in
    population protocols,” in <i>Proceedings of the 42nd International Colloquium
    on Automata, Languages and Programming</i>, Kyoto, Japan, 2015, vol. 9135, pp.
    479–491.
  ista: 'Alistarh D-A, Gelashvili R. 2015. Polylogarithmic-time leader election in
    population protocols. Proceedings of the 42nd International Colloquium on Automata,
    Languages and Programming. ICALP: International Colloquium on Automota, Languages
    and Programming vol. 9135, 479–491.'
  mla: Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader Election
    in Population Protocols.” <i>Proceedings of the 42nd International Colloquium
    on Automata, Languages and Programming</i>, vol. 9135, Springer Nature, 2015,
    pp. 479–91, doi:<a href="https://doi.org/10.1007/978-3-662-47666-6_38">10.1007/978-3-662-47666-6_38</a>.
  short: D.-A. Alistarh, R. Gelashvili, in:, Proceedings of the 42nd International
    Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp.
    479–491.
conference:
  end_date: 2015-07-10
  location: Kyoto, Japan
  name: 'ICALP: International Colloquium on Automota, Languages and Programming'
  start_date: 2015-07-06
date_created: 2018-12-11T11:48:28Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2026-05-19T13:03:42Z
day: '01'
doi: 10.1007/978-3-662-47666-6_38
extern: '1'
external_id:
  arxiv:
  - '1502.05745'
fulldoi: https://doi.org/10.1007/978-3-662-47666-6_38
intvolume: '      9135'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1502.05745
month: '01'
oa: 1
oa_version: Preprint
page: 479 - 491
publication: Proceedings of the 42nd International Colloquium on Automata, Languages
  and Programming
publication_identifier:
  eisbn:
  - '9783662476666'
  isbn:
  - '9783662476659'
publication_status: published
publisher: Springer Nature
publist_id: '6877'
status: public
title: Polylogarithmic-time leader election in population protocols
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 9135
year: '2015'
...
---
_id: '781'
abstract:
- lang: eng
  text: 'Population protocols, roughly defined as systems consisting of large numbers
    of simple identical agents, interacting at random and updating their state following
    simple rules, are an important research topic at the intersection of distributed
    computing and biology. One of the fundamental tasks that a population protocol
    may solve is majority: each node starts in one of two states; the goal is for
    all nodes to reach a correct consensus on which of the two states was initially
    the majority. Despite considerable research effort, known protocols for this problem
    are either exact but slow (taking linear parallel time to converge), or fast but
    approximate (with non-zero probability of error). In this paper, we show that
    this trade-off between preciasion and speed is not inherent. We present a new
    protocol called Average and Conquer (AVC) that solves majority ex-actly in expected
    parallel convergence time O(log n/(sε) + log n log s), where n is the number of
    nodes, εn is the initial node advantage of the majority state, and s = Ω(log n
    log log n) is the number of states the protocol employs. This shows that the majority
    problem can be solved exactly in time poly-logarithmic in n, provided that the
    memory per node is s = Ω(1/ε + lognlog1/ε). On the negative side, we establish
    a lower bound of Ω(1/ε) on the expected paraallel convergence time for the case
    of four memory states per node, and a lower bound of Ω(logn) parallel time for
    protocols using any number of memory states per node.per node, and a lower bound
    of (log n) parallel time for protocols using any number of memory states per node.'
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Rati
  full_name: Gelashvili, Rati
  last_name: Gelashvili
- first_name: Milan
  full_name: Vojnović, Milan
  last_name: Vojnović
citation:
  ama: 'Alistarh D-A, Gelashvili R, Vojnović M. Fast and exact majority in population
    protocols. In: Vol 2015-July. ACM; 2015:47-56. doi:<a href="https://doi.org/10.1145/2767386.2767429">10.1145/2767386.2767429</a>'
  apa: 'Alistarh, D.-A., Gelashvili, R., &#38; Vojnović, M. (2015). Fast and exact
    majority in population protocols (Vol. 2015–July, pp. 47–56). Presented at the
    PODC: Principles of Distributed Computing, ACM. <a href="https://doi.org/10.1145/2767386.2767429">https://doi.org/10.1145/2767386.2767429</a>'
  chicago: Alistarh, Dan-Adrian, Rati Gelashvili, and Milan Vojnović. “Fast and Exact
    Majority in Population Protocols,” 2015–July:47–56. ACM, 2015. <a href="https://doi.org/10.1145/2767386.2767429">https://doi.org/10.1145/2767386.2767429</a>.
  ieee: 'D.-A. Alistarh, R. Gelashvili, and M. Vojnović, “Fast and exact majority
    in population protocols,” presented at the PODC: Principles of Distributed Computing,
    2015, vol. 2015–July, pp. 47–56.'
  ista: 'Alistarh D-A, Gelashvili R, Vojnović M. 2015. Fast and exact majority in
    population protocols. PODC: Principles of Distributed Computing vol. 2015–July,
    47–56.'
  mla: Alistarh, Dan-Adrian, et al. <i>Fast and Exact Majority in Population Protocols</i>.
    Vol. 2015–July, ACM, 2015, pp. 47–56, doi:<a href="https://doi.org/10.1145/2767386.2767429">10.1145/2767386.2767429</a>.
  short: D.-A. Alistarh, R. Gelashvili, M. Vojnović, in:, ACM, 2015, pp. 47–56.
conference:
  name: 'PODC: Principles of Distributed Computing'
date_created: 2018-12-11T11:48:28Z
date_published: 2015-07-21T00:00:00Z
date_updated: 2023-02-23T13:18:35Z
day: '21'
doi: 10.1145/2767386.2767429
extern: '1'
fulldoi: https://doi.org/10.1145/2767386.2767429
language:
- iso: eng
month: '07'
oa_version: None
page: 47 - 56
publication_status: published
publisher: ACM
publist_id: '6873'
status: public
title: Fast and exact majority in population protocols
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2015-July
year: '2015'
...
---
OA_place: publisher
OA_type: free access
_id: '782'
abstract:
- lang: eng
  text: 'In this work, we consider the following random process, mo- Tivated by the
    analysis of lock-free concurrent algorithms under high memory contention. In each
    round, a new scheduling step is allocated to one of n threads, according to a
    distribution p = (p1; p2; : : : ; pn), where thread i is scheduled with probability
    pi. When some thread first reaches a set threshold of executed steps, it registers
    a win, completing its current operation, and resets its step count to 1. At the
    same time, threads whose step count was close to the threshold also get reset
    because of the win, but to 0 steps, being penalized for almost winning. We are
    interested in two questions: how often does some thread complete an operation
    (system latency), and how often does a specific thread complete an operation (individual
    latency)? We provide asymptotically tight bounds for the system and individual
    latency of this general concurrency pattern, for arbitrary scheduling distributions
    p. Surprisingly, a sim- ple characterization exists: in expectation, the system
    will complete a new operation every Θ(1/p 2) steps, while thread i will complete
    a new operation every Θ(1/2=p i ) steps. The proof is interesting in its own right,
    as it requires a careful analysis of how the higher norms of the vector p inuence
    the thread step counts and latencies in this random process. Our result offers
    a simple connection between the scheduling distribution and the average performance
    of concurrent algorithms, which has several applications.'
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Thomas
  full_name: Sauerwald, Thomas
  last_name: Sauerwald
- first_name: Milan
  full_name: Vojnović, Milan
  last_name: Vojnović
citation:
  ama: 'Alistarh D-A, Sauerwald T, Vojnović M. Lock-Free algorithms under stochastic
    schedulers. In: <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed
    Computing</i>. Vol 2015-July. Association for Computing Machinery; 2015:251-260.
    doi:<a href="https://doi.org/10.1145/2767386.2767430">10.1145/2767386.2767430</a>'
  apa: 'Alistarh, D.-A., Sauerwald, T., &#38; Vojnović, M. (2015). Lock-Free algorithms
    under stochastic schedulers. In <i>Proceedings of the 2015 ACM Symposium on Principles
    of Distributed Computing</i> (Vol. 2015–July, pp. 251–260). New York, NY, United
    States: Association for Computing Machinery. <a href="https://doi.org/10.1145/2767386.2767430">https://doi.org/10.1145/2767386.2767430</a>'
  chicago: Alistarh, Dan-Adrian, Thomas Sauerwald, and Milan Vojnović. “Lock-Free
    Algorithms under Stochastic Schedulers.” In <i>Proceedings of the 2015 ACM Symposium
    on Principles of Distributed Computing</i>, 2015–July:251–60. Association for
    Computing Machinery, 2015. <a href="https://doi.org/10.1145/2767386.2767430">https://doi.org/10.1145/2767386.2767430</a>.
  ieee: D.-A. Alistarh, T. Sauerwald, and M. Vojnović, “Lock-Free algorithms under
    stochastic schedulers,” in <i>Proceedings of the 2015 ACM Symposium on Principles
    of Distributed Computing</i>, New York, NY, United States, 2015, vol. 2015–July,
    pp. 251–260.
  ista: 'Alistarh D-A, Sauerwald T, Vojnović M. 2015. Lock-Free algorithms under stochastic
    schedulers. Proceedings of the 2015 ACM Symposium on Principles of Distributed
    Computing. PODC: Principles of Distributed Computing vol. 2015–July, 251–260.'
  mla: Alistarh, Dan-Adrian, et al. “Lock-Free Algorithms under Stochastic Schedulers.”
    <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing</i>,
    vol. 2015–July, Association for Computing Machinery, 2015, pp. 251–60, doi:<a
    href="https://doi.org/10.1145/2767386.2767430">10.1145/2767386.2767430</a>.
  short: D.-A. Alistarh, T. Sauerwald, M. Vojnović, in:, Proceedings of the 2015 ACM
    Symposium on Principles of Distributed Computing, Association for Computing Machinery,
    2015, pp. 251–260.
conference:
  end_date: 2015-7-23
  location: New York, NY, United States
  name: 'PODC: Principles of Distributed Computing'
  start_date: 2015-07-21
date_created: 2018-12-11T11:48:28Z
date_published: 2015-07-21T00:00:00Z
date_updated: 2026-05-19T13:21:59Z
day: '21'
doi: 10.1145/2767386.2767430
extern: '1'
fulldoi: https://doi.org/10.1145/2767386.2767430
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://dx.doi.org/10.1145/2767386.2767430
month: '07'
oa: 1
oa_version: Accepted Version
page: 251 - 260
publication: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
publication_identifier:
  eisbn:
  - '9781450336178'
publication_status: published
publisher: Association for Computing Machinery
publist_id: '6874'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Lock-Free algorithms under stochastic schedulers
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 2015-July
year: '2015'
...
---
OA_place: publisher
OA_type: free access
_id: '783'
abstract:
- lang: eng
  text: 'The problem of electing a leader from among n contenders is one of the fundamental
    questions in distributed computing. In its simplest formulation, the task is as
    follows: given n processors, all participants must eventually return a win or
    lose indication, such that a single contender may win. Despite a considerable
    amount of work on leader election, the following question is still open: can we
    elect a leader in an asynchronous fault-prone system faster than just running
    a Θ(log n)-time tournament, against a strong adaptive adversary? In this paper,
    we answer this question in the affirmative, improving on a decades-old upper bound.
    We introduce two new algorithmic ideas to reduce the time complexity of electing
    a leader to O(log∗ n), using O(n2) point-to-point messages. A non-trivial application
    of our algorithm is a new upper bound for the tight renaming problem, assigning
    n items to the n participants in expected O(log2 n) time and O(n2) messages. We
    complement our results with lower bound of Ω(n2) messages for solving these two
    problems, closing the question of their message complexity.'
acknowledgement: "Support is gratefully acknowledged from the National Science Foundation
  under grants CCF-1217921, CCF-1301926,\r\nand  IIS-1447786,  the  Department  of
  \ Energy  under  grant\r\nER26116/DE-SC0008923,  and the  Oracle  and Intel  corporations.\r\nThe
  authors would like to thank Prof.  Nir Shavit for ad-\r\nvice and encouragement
  during this work,  and the anonymous reviewers for their very useful suggestions."
article_processing_charge: No
arxiv: 1
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Rati
  full_name: Gelashvili, Rati
  last_name: Gelashvili
- first_name: Adrian
  full_name: Vladu, Adrian
  last_name: Vladu
citation:
  ama: 'Alistarh D-A, Gelashvili R, Vladu A. How to elect a leader faster than a tournament.
    In: <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing</i>.
    Association for Computing Machinery; 2015:365-374. doi:<a href="https://doi.org/10.1145/2767386.2767420">10.1145/2767386.2767420</a>'
  apa: 'Alistarh, D.-A., Gelashvili, R., &#38; Vladu, A. (2015). How to elect a leader
    faster than a tournament. In <i>Proceedings of the 2015 ACM Symposium on Principles
    of Distributed Computing</i> (pp. 365–374). New York, NY, United States: Association
    for Computing Machinery. <a href="https://doi.org/10.1145/2767386.2767420">https://doi.org/10.1145/2767386.2767420</a>'
  chicago: Alistarh, Dan-Adrian, Rati Gelashvili, and Adrian Vladu. “How to Elect
    a Leader Faster than a Tournament.” In <i>Proceedings of the 2015 ACM Symposium
    on Principles of Distributed Computing</i>, 365–74. Association for Computing
    Machinery, 2015. <a href="https://doi.org/10.1145/2767386.2767420">https://doi.org/10.1145/2767386.2767420</a>.
  ieee: D.-A. Alistarh, R. Gelashvili, and A. Vladu, “How to elect a leader faster
    than a tournament,” in <i>Proceedings of the 2015 ACM Symposium on Principles
    of Distributed Computing</i>, New York, NY, United States, 2015, pp. 365–374.
  ista: 'Alistarh D-A, Gelashvili R, Vladu A. 2015. How to elect a leader faster than
    a tournament. Proceedings of the 2015 ACM Symposium on Principles of Distributed
    Computing. PODC: Principles of Distributed Computing, 365–374.'
  mla: Alistarh, Dan-Adrian, et al. “How to Elect a Leader Faster than a Tournament.”
    <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing</i>,
    Association for Computing Machinery, 2015, pp. 365–74, doi:<a href="https://doi.org/10.1145/2767386.2767420">10.1145/2767386.2767420</a>.
  short: D.-A. Alistarh, R. Gelashvili, A. Vladu, in:, Proceedings of the 2015 ACM
    Symposium on Principles of Distributed Computing, Association for Computing Machinery,
    2015, pp. 365–374.
conference:
  end_date: 2015-07-23
  location: New York, NY, United States
  name: 'PODC: Principles of Distributed Computing'
  start_date: 2015-07-21
date_created: 2018-12-11T11:48:28Z
date_published: 2015-07-21T00:00:00Z
date_updated: 2026-05-19T13:27:49Z
day: '21'
doi: 10.1145/2767386.2767420
extern: '1'
external_id:
  arxiv:
  - '1411.1001'
fulldoi: https://doi.org/10.1145/2767386.2767420
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/2767386.2767420
month: '07'
oa: 1
oa_version: Accepted Version
page: 365 - 374
publication: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
publication_identifier:
  isbn:
  - '9781450336178'
publication_status: published
publisher: Association for Computing Machinery
publist_id: '6875'
quality_controlled: '1'
scopus_import: '1'
status: public
title: How to elect a leader faster than a tournament
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2015'
...
