There is a newer version of the record available.

Published March 18, 2025 | Version v1
Software Open

librvg: C Library for Random Variate Generation with Formal Guarantees

Authors/Creators

  • 1. ROR icon Carnegie Mellon University

Contributors

Contact person:

  • 1. ROR icon Carnegie Mellon University

Description

librvg is an open-source C library for generating random variables. It is released under the Apache-2.0 License.

The methods implemented in librvg are described in the following publication.

Random Variate Generation with Formal Guarantees. Feras Saad and Wonyeol Lee. Proceedings of the ACM on Programming Languages 9(PLDI), 2025.

The tarball contains

  • Source code of the library.
  • Overview of the purpose of the software and how to use it (readme.html).
  • Documentation of the application programming interface (api.html).
  • Experimental pipeline to reproduce experimental results in the paper.

For the latest version, please visit https://github.com/probsys/librvg

Files

Files (965.0 kB)

Name Size Download all
md5:b745f83142952149d6f8d1fbac87f078
965.0 kB Download

Additional details

Related works

Is described by
Journal article: 10.1145/3729251 (DOI)

Funding

U.S. National Science Foundation
SHF: Medium: Language Support for Sound and Efficient Programmable Inference 2311983

Software

Repository URL
https://github.com/probsys/librvg
Programming language
C