論文の概要: SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

• arxiv url: http://arxiv.org/abs/2006.01503v1
• Date: Tue, 2 Jun 2020 10:03:56 GMT
• ステータス: 処理完了
• システム内更新日: 2022-11-26 00:40:14.489889
• Title: SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
• Title（参考訳）: SAT Heritage:1000以上のSATソルバをアーカイブし、構築し、運用するためのコミュニティ主導の取り組み
• Authors: Gilles Audemard (CRIL), Lo\"ic Paulev\'e (LaBRI), Laurent Simon (LaBRI)
• Abstract要約: SATリサーチは、毎年開催されているコンペのおかげで、ソースコードとバイナリリリースの長い歴史を持っています。 コンペティションのサイクルには、独自のルールセットと、ソースコードとバイナリを公開するアドホックな方法があるため、任意のソルバのコンパイルや実行は、見た目よりも難しいかも知れない。 コミュニティ主導によるアーカイブの取り組みを開始し、これまでリリースされてきたSATソルバのコンパイルと実行を容易にすることを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: SAT research has a long history of source code and binary releases, thanks to competitions organized every year. However, since every cycle of competitions has its own set of rules and an adhoc way of publishing source code and binaries, compiling or even running any solver may be harder than what it seems. Moreover, there has been more than a thousand solvers published so far, some of them released in the early 90's. If the SAT community wants to archive and be able to keep track of all the solvers that made its history, it urgently needs to deploy an important effort. We propose to initiate a community-driven effort to archive and to allow easy compilation and running of all SAT solvers that have been released so far. We rely on the best tools for archiving and building binaries (thanks to Docker, GitHub and Zenodo) and provide a consistent and easy way for this. Thanks to our tool, building (or running) a solver from its source (or from its binary) can be done in one line.
• Abstract（参考訳）: sat researchは毎年開催されているコンペのおかげで、ソースコードとバイナリリリースの長い歴史がある。 しかしながら、各コンペのサイクルには独自のルールセットとソースコードとバイナリを公開するアドホックな方法があるため、あらゆるソルバのコンパイルや実行は、見かけより難しくなります。 さらに、現在までに1000以上の解決者が出版されており、そのうちのいくつかは90年代初頭にリリースされている。 satコミュニティが、その歴史を作ったすべてのソルバをアーカイブし、追跡できるようにしたいのであれば、緊急に重要な取り組みを展開する必要があります。 コミュニティ主導によるアーカイブの取り組みを開始し、これまでリリースされてきたSATソルバのコンパイルと実行を容易にすることを提案する。 私たちは(docker、github、zenodoのおかげで)バイナリのアーカイブと構築に最適なツールに依存しています。 私たちのツールのおかげで、ソース(またはバイナリ)からソルバを構築する(または実行する)ことは一行でできます。

関連論文リスト

• Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds [1.1405827621489222]
  ビルドプラットフォームの可変性は、妥協されたビルド環境の検出を容易にするため、セキュリティを強化することができる。 同じソースから構築された複数のバイナリの可用性は、新たな課題と機会を生み出します。 そのような質問に答えるためには、バイナリ間の等価性の概念が必要である。
  論文  参考訳（メタデータ） (2024-10-11T00:16:26Z)
• Long Code Arena: a Set of Benchmarks for Long-Context Code Models [75.70507534322336]
  Long Code Arenaは、プロジェクト全体のコンテキストを必要とするコード処理タスクのための6つのベンチマークスイートである。 これらのタスクは、ライブラリベースのコード生成、CIビルドの修復、プロジェクトレベルのコード補完、コミットメッセージ生成、バグローカライゼーション、モジュールの要約といった、コード処理のさまざまな側面をカバーする。 各タスクに対して、テスト用の手作業によるデータセット、評価スイート、オープンソースのベースラインソリューションを提供しています。
  論文  参考訳（メタデータ） (2024-06-17T14:58:29Z)
• Detecting Continuous Integration Skip : A Reinforcement Learning-based Approach [0.4297070083645049]
  継続的統合(CI)プラクティスは、自動ビルドとテストプロセスを採用することで、コード変更のシームレスな統合を促進する。 Travis CIやGitHub Actionsといった一部のフレームワークは、CIプロセスの簡素化と強化に大きく貢献している。 開発者はCI実行に適したコミットやスキップの候補としてコミットを正確にフラグ付けすることの難しさに悩まされ続けている。
  論文  参考訳（メタデータ） (2024-05-15T18:48:57Z)
• CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics [0.0]
  2024年3月2日に公開された2.2Gbの最新アーカイブには、クラス毎に48のメトリクスを持つ532KのJavaクラスが含まれています。 少なくとも年に1回は、非常に強力なサーバ上で最低10日間のプロセスであるスクリプト全体を実行して、新しいデータセットを生成します。
  論文  参考訳（メタデータ） (2024-03-13T12:52:57Z)
• The Software Heritage Open Science Ecosystem [0.0]
  ソフトウェア遺産 (Software Heritage) は、ソフトウェアソースコードと関連する開発履歴の公開アーカイブである。 2億5000万以上の共同開発プロジェクトから得られた16億以上のユニークなソースコードファイルをアーカイブしている。 1つのメルクル直接非巡回グラフで公開コードの開発履歴を実体化することで、ソフトウェアに関する実証的研究を支援する。 実験を行うソフトウェアに依存するあらゆる分野において、ソフトウェアアーチファクトのソースコードの可用性と整合性を保証する。
  論文  参考訳（メタデータ） (2023-10-16T11:32:03Z)
• SWE-bench: Can Language Models Resolve Real-World GitHub Issues? [80.52201658231895]
  SWE-benchは、実際のGitHub問題から引き出された2,294ドルのソフトウェアエンジニアリング問題と、人気のあるPythonリポジトリ12ドルのプルリクエストで構成される評価フレームワークである。 我々は、最先端のプロプライエタリモデルと微調整モデルSWE-Llamaの両方が、最も単純な問題だけを解決できることを示します。
  論文  参考訳（メタデータ） (2023-10-10T16:47:29Z)
• SequeL: A Continual Learning Library in PyTorch and JAX [50.33956216274694]
  SequeLは継続学習のためのライブラリで、PyTorchとJAXフレームワークの両方をサポートする。 それは、正規化ベースのアプローチ、リプレイベースのアプローチ、ハイブリッドアプローチを含む、幅広い連続学習アルゴリズムのための統一インターフェースを提供する。 私たちはSequeLをオープンソースライブラリとしてリリースし、研究者や開発者が自身の目的で簡単にライブラリを実験し拡張することができます。
  論文  参考訳（メタデータ） (2023-04-21T10:00:22Z)
• PENTACET data -- 23 Million Contextual Code Comments and 250,000 SATD comments [3.6095388702618414]
  SATD(Self-Admitted Technical Debt)研究の多くは、SATD検出に「TODO」や「FIXME」のような明示的なSATD特徴を用いる。 この作業は、PENTACET(あるいは5Cデータセット)データを通じて、このギャップに対処する。 結果は2300万のコードコメント、各コメントのソースコードコンテキストの前と後、そしてSATDとラベル付けされた25万以上のコメントからなるデータセットである。
  論文  参考訳（メタデータ） (2023-03-24T14:42:42Z)
• DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation [70.96868419971756]
  DS-1000は7つのPythonライブラリにまたがる1000のデータサイエンス問題のあるコード生成ベンチマークである。 まず、StackOverflowからそれらを収集して以来の、多様で現実的で実践的なユースケースを反映しています。 第2に、私たちの自動評価は非常に具体的(信頼性)です -- 評価が受け入れているすべてのCodex予測ソリューションに対して、そのわずか1.8%が間違っています。
  論文  参考訳（メタデータ） (2022-11-18T17:20:27Z)
• Code Librarian: A Software Package Recommendation System [65.05559087332347]
  オープンソースライブラリ用のリコメンデーションエンジンであるLibrarianを提示する。 1)プログラムのインポートライブラリで頻繁に使用されること、2)プログラムのインポートライブラリと似た機能を持つこと、3)開発者の実装と似た機能を持つこと、4)提供されるコードのコンテキストで効率的に使用できること、である。
  論文  参考訳（メタデータ） (2022-10-11T12:30:05Z)
• Repro: An Open-Source Library for Improving the Reproducibility and Usability of Publicly Available Research Code [74.28810048824519]
  Reproは、研究コードのユーザビリティ向上を目的とした、オープンソースのライブラリである。 Dockerコンテナ内で研究者がリリースしたソフトウェアを実行するための軽量Python APIを提供する。
  論文  参考訳（メタデータ） (2022-04-29T01:54:54Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。