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

ソフトウェア工学ソフトウェアセキュリティの重要性が高まってるよね。

技術が進化するにつれて、ソフトウェアのセキュリティは新しい課題とチャンスに直面してるんだ。

Marcel Böhme, Eric Bodden, Tevfik Bultan

2025-06-04T23:58:00+00:00 ― 1 分で読む

機械学習 LM-GCによる勾配圧縮の進展

LM-GCは、機械学習における勾配を圧縮する新しい方法を提供しているよ。

Hui-Po Wang, Mario Fritz

2025-06-04T23:34:18+00:00 ― 1 分で読む

暗号とセキュリティ LLMの安全性を向上させる：MoJEアプローチ

MoJEはLLMのためのガードレールを強化していて、脱獄攻撃に効果的に対処してるよ。

Giandomenico Cornacchia, Giulio Zizzo, Kieran Fraser

2025-06-04T19:29:24+00:00 ― 1 分で読む

人工知能インテリジェントエージェントのためのシミュレーション生成の進化

新しい方法で、自然言語入力からコードの完全なシミュレーションを生成する。

Fan-Yun Sun, S. I. Harini, Angela Yi

2025-06-04T18:34:06+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェアテストケース生成におけるLLMの評価

この記事では、LLMがJavaプログラムのテストケースをどれくらい生成できるかを評価しています。

Quanjun Zhang, Ye Shang, Chunrong Fang

2025-06-04T15:40:18+00:00 ― 1 分で読む

暗号とセキュリティコードのAI依存のリスク

AI生成コードの品質とセキュリティの問題を調査中。

Chun Jie Chong, Zhihao Yao, Iulian Neamtiu

2025-06-04T13:57:36+00:00 ― 1 分で読む

パフォーマンスゼルニケ多項式：光学の重要なツール

ゼルニケ多項式が光学や天体物理学をどう活かすか学ぼう。

Yigit Gunsur Elmacioglu, Rory Conlin, Daniel W. Dudt

2025-06-04T12:46:30+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発における無駄の測定

この研究はソフトウェア開発の無駄について取り組んで、測定戦略を提案してるよ。

Dhiraj SM Varanasi, Divij D, Sai Anirudh Karre

2025-06-04T11:19:36+00:00 ― 1 分で読む

ソフトウェア工学 RepairBenchの紹介：AIプログラム修正評価の新基準

RepairBenchは、ソフトウェアのバグを修正するAIモデルを比較するためのベンチマークを設定する。

André Silva, Martin Monperrus

2025-06-04T10:00:36+00:00 ― 1 分で読む

暗号とセキュリティ言語モデルにおける記憶の予測

新しい方法が、大規模言語モデルの記憶リスクを予測してプライバシーを強化するんだ。

Jérémie Dentan, Davide Buscaldi, Aymen Shabou

2025-06-04T08:41:36+00:00 ― 1 分で読む

ソフトウェア工学モールド可能な開発：ソフトウェアの洞察を簡素化する

モールド開発がカスタムツールでソフトウェアの理解をどう変えるかを学ぼう。

Oscar Nierstrasz, Tudor Gîrba

2025-06-04T07:30:30+00:00 ― 1 分で読む

分散・並列・クラスターコンピューティング DAOS: データストレージへの新しいアプローチ

DAOSは、高性能コンピューティング環境のための効率的なデータ管理を提供する。

Nicolau Manubens, Johann Lombardi, Simon D. Smart

2025-06-04T04:52:30+00:00 ― 1 分で読む

計算機科学における論理ソフトウェア開発におけるチームセマンティクスを通じたセキュリティの向上

チームセマンティクスは、ソフトウェアシステムの複雑な特性の検証を強化する。

Andreas Krebs, Arne Meier, Jonni Virtema

2025-06-04T04:28:48+00:00 ― 1 分で読む

暗号とセキュリティ Androidマルウェア検出の新しい方法

MLPとSVMを使ったフレームワークは、Androidのマルウェアを効果的に特定するよ。

Safayat Bin Hakim, Muhammad Adil, Kamal Acharya

2025-06-03T16:29:54+00:00 ― 1 分で読む

ソフトウェア工学マルチエージェントシステムで自動コード翻訳を改善する

新しいシステムが専門のエージェントを使ってコード翻訳の精度と効率を向上させるよ。

Zhiqiang Yuan, Weitong Chen, Hanlin Wang

2025-06-03T15:18:48+00:00 ― 1 分で読む

ソフトウェア工学 CRScoreの紹介：コードレビューを評価する新しい方法

CRScoreは、人の参照なしでコードレビューコメントを評価するための革新的な評価方法を提供してるよ。

Atharva Naik, Marcus Alenius, Daniel Fried

2025-06-03T13:44:00+00:00 ― 1 分で読む

計算と言語合成データ戦略で大規模言語モデルを強化する

この研究は、言語モデルのトレーニングのための合成データ生成の効果的な方法を探るものです。

Yung-Chieh Chan, George Pu, Apaar Shanker

2025-06-03T12:25:00+00:00 ― 1 分で読む

計算機科学における論理値渡し評価を通じて論理とプログラミングをつなげる

この論文は、最小直観主義論理とプログラミングにおける値呼び出し評価の関連について調べてるよ。

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 1 分で読む

暗号とセキュリティ革新的な技術でAndroidマルウェア検出を改善する

新しいアプローチがマルウェア検出を強化しつつ、敵対的攻撃に耐える。

Jingnan Zheng, Jiaohao Liu, An Zhang

2025-06-03T09:07:30+00:00 ― 1 分で読む

ソフトウェア工学ログデータにおける異常検知の強化

トランスフォーマーモデルを使ってログベースの異常検知を改善する新しいアプローチ。

Xingfang Wu, Heng Li, Foutse Khomh

2025-06-03T06:53:12+00:00 ― 1 分で読む

プログラミング言語アプリケーションパフォーマンスの新しいアプローチ

信頼性のあるアプリケーションパフォーマンスとメモリ管理に焦点を当てたプログラミング言語を紹介するよ。

Mark Marron

2025-06-03T06:37:24+00:00 ― 0 分で読む

ソフトウェア工学逆コンパイルしたJavaコードの可読性を向上させる

この記事では、逆コンパイルされたJavaコードの理解しやすさとその重要性について話してるよ。

Ruixin Qin, Yifan Xiong, Yifei Lu

2025-06-03T04:54:42+00:00 ― 1 分で読む

ハードウェアアーキテクチャー開発者向けのFPGAプログラミングを簡単にする

新しいフレームワークがFPGAプログラミングを簡単にして、開発者にとってもっと身近になったよ。

Rourab Paul, Alberto Ottimo, Marco Danelutto

2025-06-02T22:43:24+00:00 ― 1 分で読む

プログラミング言語 Javaバイトコードの例外処理の検証

バイトコードを使ってJavaプログラムの異常な動作を分析する方法。

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 1 分で読む

計算機科学における論理反応系における分岐ビシミラリティとタイムアウト

時間外が分岐バイシミラリティにおけるシステムの相互作用にどんな影響を与えるかを探ってみて。

Gaspard Reghem, Rob van Glabbeek

2025-06-02T18:38:30+00:00 ― 0 分で読む

ソフトウェア工学パーソナリティ特性がコード生成の正確性に与える影響

LLMを使ったコード生成の効果と性格特性の関連を探る。

Yaoqi Guo, Zhenpeng Chen, Jie M. Zhang

2025-06-02T18:06:54+00:00 ― 1 分で読む

ソフトウェア工学コーディングモデルにおけるデータ合成の役割

データ合成がコーディングモデルのパフォーマンスとトレーニングをどう向上させるかを探ってみて。

Meng Chen, Philip Arthur, Qianyu Feng

2025-06-02T17:59:00+00:00 ― 1 分で読む

計算と言語量子プログラミングの洞察にLLMを活用する

この研究は、LLMが開発者が量子アルゴリズムを効果的に理解するのをどう助けるかを探るものだよ。

Giordano d'Aloisio, Sophie Fortz, Carol Hanna

2025-06-02T17:38:30+00:00 ― 1 分で読む

ソフトウェア工学 DemoCraft: コード生成の新しいアプローチ

DemoCraftは、スマートな例の選択を使って自然言語からのコード生成を改善するよ。

Nirmal Joshua Kapu, Mihit Sreejith

2025-06-02T11:08:12+00:00 ― 1 分で読む

分散・並列・クラスターコンピューティング FSDPで大きなモデルのトレーニングを簡単にする

FSDPとtorch.compileを使って、大規模なモデル訓練を簡単にする方法を見てみよう。

Ruisi Zhang, Tianyu Liu, Will Feng

2025-06-02T07:27:00+00:00 ― 1 分で読む

計算機科学における論理プログラム終了の重要性

プログラムの終了がコンピュータプログラミングで重要な理由を学ぼう。

James Li, Noam Zilberstein, Alexandra Silva

2025-06-02T05:44:18+00:00 ― 1 分で読む

ハードウェアアーキテクチャーフィードバックを使ったVerilogコード生成の強化

AutoChipはEDAのフィードバックを使って、LLMによるVerilogコード生成を改善してるよ。

Jason Blocklove, Shailja Thakur, Benjamin Tan

2025-06-02T02:11:00+00:00 ― 1 分で読む

人工知能インファントエージェント：言語モデルのための新しいツール

言語モデルの問題解決スキルを効率的に向上させるためのツール。

Bin Lei, Yuchen Li, Yiming Zeng

2025-06-02T01:55:12+00:00 ― 1 分で読む

ネットワーキングとインターネット・アーキテクチャエッジでの機械学習アップデートを効率化する

エッジネットワークでのMLモデル更新を改善する新しいアプローチ。

Fin Gentzen, Mounir Bensalem, Admela Jukan

2025-06-02T01:23:36+00:00 ― 1 分で読む

プログラミング言語ポリモーフィックメタプログラミングへの新しいアプローチ

安全で効率的なコード生成のためのフレームワークを紹介します。

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 1 分で読む

プログラミング言語可視化でデバッグを簡単にする

関数型プログラムを可視化すると、プログラマーのデバッグプロセスが簡単になることがあるよ。

John Whitington, Tom Ridge

2025-06-01T18:40:42+00:00 ― 1 分で読む

計算機科学における論理プログラミング言語におけるパラメトリティの理解

パラメトリシティがプログラミングにどう影響するかと、GADTの課題について学ぼう。

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 1 分で読む

人工知能 WLPlanでリサーチをバランスよく進める

WLPlanは、研究者のために計画と学習の統合を簡単にしてくれるよ。

Dillon Z. Chen

2025-06-01T17:29:36+00:00 ― 1 分で読む

暗号とセキュリティ IoTデバイスのメモリ安全性への対処

IoTデバイスのメモリ安全性のリスクと解決策を調べる。

Vadim Safronov, Ionut Bostan, Nicholas Allott

2025-06-01T11:18:18+00:00 ― 1 分で読む

データベース分散型データベースシステムへの移行

分散システムは、リソースを分けることでデータベースのパフォーマンスと効率を向上させるよ。

Shahram Ghandeharizadeh, Philip A. Bernstein, Dhruba Borthakur

2025-06-01T09:11:54+00:00 ― 1 分で読む

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

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