ソフトウェア開発 に関する最新の記事

オープンソースプロジェクトの生産不足の要因を調査する。

新しいシステムは効率を向上させて、言語モデルのタスク処理の遅延を減らすよ。

新しいツールがSyzbotのLinuxカーネルバグを見つける能力を評価してるよ。

オープンソースプロジェクトの繰り返し出るコーディングの欠陥を特定することで、ソフトウェアのセキュリティを改善する。

新しいセルフヒーリングシステムは、人間の助けなしで失敗から回復することを学ぶ。

新しいフレームワークが深層学習タスクのためのGPU性能を向上させる。

ワークショップでは、ロボティクスソフトウェアエンジニアリングの主な課題と解決策が紹介されるよ。

意味がプログラミング言語のデザインと評価にどう影響するかを見てみよう。

新しいデータセットがオープンソースソフトウェアの脆弱性検出を強化して、セキュリティを向上させるよ。

ソフトウェア検証のためのシミュレーションとイベント分析の組み合わせ。

TroVEはプログラミングタスクの関数作成を簡単にして、精度と効率を向上させるよ。

MORPHは、手動入力を減らしながら、進化する脅威に合わせてマルウェア検出システムを適応させる。

この記事はソフトウェアセキュリティにおけるSATDの役割について話してるよ。

モナディックインターセクション型がプログラミング言語の型システムを改善する役割を探ってみよう。

Rustプロジェクトにおける有料開発者とボランティアの役割に関する研究。

データ解析を効率よくするために、SYCLでROOTを強化する方法を見てみよう。

新しい方法が、実現不可能性論理を使ってプログラムの特性を証明するのを簡単にしてるよ。

ソフトウェア開発におけるコード簡素化のための自動化ツールを改善する研究。

安全にプログラムの複雑さを分析するための新しいアプローチ、コントロールされたデータ公開を通じて。

セッションタイプがソフトウェア開発における通信プロトコルをどう改善するか学ぼう。

新しい方法はAIと静的解析を組み合わせて、より良いコードの提案を出すよ。

静的解析ツール、例えばCアナライザーがソフトウェアの信頼性をどう向上させるかを学ぼう。

OMP GPTはHPCで効率的なコーディングのためのOpenMPプラグマを生成するのが得意だよ。

大学のソフトウェア工学の授業におけるLLMの影響に関する研究。

SERLを紹介するよ：効率的なロボット学習タスクのための新しいフレームワークだ。

MobFuzzは、ソフトウェアのセキュリティを向上させるためにマルチオブジェクティブ最適化を使ってファズテストを強化する。

この方法は、再利用可能な関数学習とリファクタリングを通じてコーディングの精度を向上させる。

ACADLがAIハードウェアアクセラレーターのモデリングをどう簡単にするか学ぼう。

新しいモデルは振り付けプログラミングで効率的なコミュニケーションをサポートするよ。

SPVizは、ソフトウェアプロジェクトの理解を深めるためのカスタマイズされたビジュアライゼーションツールを提供するよ。

この作業は、LLMがJavaコードの脆弱性検出をどう強化するかを調べてるよ。

ACAIは、機械学習のプロフェッショナル向けにデータ管理とジョブ実行を簡素化します。

この論文はプロンプトインジェクションとそのAIモデルへの影響について調べてるよ。

PSSR2は顕微鏡研究の画像品質とアクセス性を向上させるよ。

最初からユーザーフレンドリーなデザインを優先するシステムを作ることを学ぼう。

新しい方法で、大きな言語モデルを使ったテスト生成が改善されて、カバレッジが良くなるんだ。

ゲーム化を通じて学生にソフトウェアテストを面白くする。

この記事では、GPT-3.5を使ってコードレビューを効果的に自動化する方法を探るよ。

LLMと形式検証を組み合わせて、プログラミングの精度と効率を向上させる。

SeleniumとJUnit 5を組み合わせて、ウェブアプリケーションテストを効率化するツール。