KS
Koushik Sen
cs.SEcs.LGcs.AIcs.CLcs.PLcs.CRcs.NEquant-phstat.MLcs.CV
On Valency
published · living versionsW_472urbcs·v1 · currentpublished
FrontierCS 2: A Benchmark for Computer Science R&D
with Qiuyang Mang, Wenhao Chai, Runyuan He, Dongruixuan Li +56
1 version
Preprints & journals
46 papers in the corpus · 2016–2026FrontierCS 2: A Benchmark for Computer Science R&D2610.29932v1 · Qiuyang Mang, Wenhao Chai, Runyuan He et al.2026 · 0 citationsarXivon Valency
Scaling Discovery Requires Forgetting2610.20563v1 · Shangyin Tan, Ben Zhou, Lakshya A Agrawal et al.2026 · 0 citationsarXiv
TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution2610.10619v1 · Shuangjie Yao, Hao Wang, Koushik Sen et al.2026 · 0 citationsarXiv
Building Trustworthy Household Robots through Open-World Safety2610.14034v1 · Yu-Lin Tsai, Muxi Lyu, Roei Herzig et al.2026 · 0 citationsarXiv
RECEIPT: Deterministic, Reward-Hacking-Resistant Verification for White-Box Agentic XSS Discovery2607.18575v1 · Muxi Lyu, Karen Shieh, Yiwei Hou et al.2026 · 0 citationsarXiv
Revelio: Cost-Efficient Agentic Memory Safety Vulnerability Detection For Repository-Scale Codebases2606.22263v1 · Yiwei Hou, Hao Wang, Muxi Lyu et al.2026 · 0 citationsarXiv
optimize_anything: A Universal API for Optimizing any Text Parameter2605.19633v1 · Lakshya A Agrawal, Donghyun Lee, Shangyin Tan et al.2026 · 1 citationProceedings of the ACM Conference on AI and Agentic Systems (CAIS 26), May 26-29, 2026, San Jose, CA, USA
Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack2605.12673v1 · Hao Wang, Hanchen Li, Qiuyang Mang et al.2026 · 1 citationarXiv
KISS Sorcar: A Stupidly-Simple General-Purpose and Software Engineering AI Assistant2604.23822v2 · Koushik Sen2026 · 0 citationsarXiv
EvoX: Meta-Evolution for Automated Discovery2602.23413v2 · Shu Liu, Shubham Agarwal, Monishwaran Maheswaran et al.2026 · 1 citationarXiv
AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization2602.20133v1 · Mert Cemri, Shubham Agrawal, Akshat Gupta et al.2026 · 2 citationsarXiv
Barbarians at the Gate: How AI is Upending Systems Research2510.06189v3 · Audrey Cheng, Shu Liu, Melissa Pan et al.2025 · 1 citationarXiv
SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows2506.07313v1 · Rebecca Saul, Hao Wang, Koushik Sen et al.2025 · 0 citationsarXiv
GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents2505.23671v3 · Manish Shetty, Naman Jain, Jinjian Liu et al.2025 · 1 citationarXiv
Type-Constrained Code Generation with Language Models2504.09246v2 · Niels Mundler, Jingxuan He, Hao Wang et al.2025 · 13 citationsarXiv
R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents2504.07164v1 · Naman Jain, Jaskirat Singh, Manish Shetty et al.2025 · 1 citationarXiv
Challenges and Paths Towards AI for Software Engineering2503.22625v1 · Alex Gu, Naman Jain, Wen-Ding Li et al.2025 · 10 citationsarXiv
LangProBe: a Language Programs Benchmark2502.20315v1 · Shangyin Tan, Lakshya A Agrawal, Arnav Singhvi et al.2025 · 0 citationsarXiv
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis2412.14234v2 · Manish Shetty, Naman Jain, Adwait Godbole et al.2024 · 7 citationsarXiv
Specifications: The missing link to making the development of LLM systems an engineering discipline2412.05299v2 · Ion Stoica, Matei Zaharia, Joseph Gonzalez et al.2024 · 2 citationsarXiv
BACKRUNNER: Mitigating Smart Contract Attacks in the Real World2409.06213v1 · Chaofan Shou, Yuanyu Ke, Yupeng Yang et al.2024 · 1 citationarXiv
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code2403.07974v2 · Naman Jain, King Han, Alex Gu et al.2024 · 42 citationsarXiv
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?2402.19475v1 · Alex Gu, Wen-Ding Li, Naman Jain et al.2024 · 3 citationsarXiv
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models2401.11108v1 · Chaofan Shou, Jing Liu, Doudou Lu et al.2024 · 9 citationsarXiv
CodeScholar: Growing Idiomatic Code Examples2312.15157v1 · Manish Shetty, Koushik Sen, Ion Stoica2023 · 0 citationsarXiv
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines2312.13382v2 · Arnav Singhvi, Manish Shetty, Shangyin Tan et al.2023 · 2 citationsarXiv
LLM-Assisted Code Cleaning For Training Accurate Code Generators2311.14904v1 · Naman Jain, Tianjun Zhang, Wei-Lin Chiang et al.2023 · 7 citationsarXiv
Multiversion Hindsight Logging for Continuous Training2310.07898v4 · Rolando Garcia, Anusha Dandamudi, Gabriel Matute et al.2023 · 0 citationsarXiv
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract2306.17135v1 · Chaofan Shou, Shangyin Tan, Koushik Sen2023 · 100 citationsarXiv
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics2305.18513v1 · Arash Ardakani, Altan Haan, Shangyin Tan et al.2023 · 4 citationsarXiv
Benchmarking Language Models for Code Syntax Understanding2210.14473v1 · Da Shen, Xinyun Chen, Chenguang Wang et al.2022 · 16 citationsarXiv
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion2210.13715v1 · Jianhao Shen, Chenguang Wang, Ye Yuan et al.2022 · 6 citationsarXiv
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity2207.13129v1 · Martin Gubri, Maxime Cordy, Mike Papadakis et al.2022 · 32 citationsarXiv
Learning Highly Recursive Input Grammars2108.13340v1 · Neil Kulkarni, Caroline Lemieux, Koushik Sen2021 · 30 citationsIn Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis2103.07093v1 · Ed Younis, Koushik Sen, Katherine Yelick et al.2021 · 63 citationsarXiv
Growing a Test Corpus with Bonsai Fuzzing2103.04388v1 · Vasudev Vikram, Rohan Padhye, Koushik Sen2021 · 17 citationsarXiv
Exempla Gratis (E.G.): Code Examples for Free2011.01407v1 · Celeste Barnaby, Koushik Sen, Tianyi Zhang et al.2020 · 15 citationsarXiv
Ansor: Generating High-Performance Tensor Programs for Deep Learning2006.06762v5 · Lianmin Zheng, Chengfan Jia, Minmin Sun et al.2020 · 186 citationsarXiv
QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space2003.04462v2 · Ed Younis, Koushik Sen, Katherine Yelick et al.2020 · 27 citationsarXiv
Heuristics for Quantum Compiling with a Continuous Gate Set1912.02727v1 · Marc Grau Davis, Ethan Smith, Ana Tudor et al.2019 · 16 citationsarXiv
When Deep Learning Met Code Search1905.03813v4 · Jose Cambronero, Hongyu Li, Seohyun Kim et al.2019 · 217 citationsarXiv
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts1809.05193v1 · Rohan Bavishi, Michael Pradel, Koushik Sen2018 · 42 citationsarXiv
DeepBugs: A Learning Approach to Name-based Bug Detection1805.11683v1 · Michael Pradel, Koushik Sen2018 · 346 citationsarXiv
Selecting Fault Revealing Mutants1803.07901v3 · Thierry Titcheu Chekam, Mike Papadakis, Tegawend'e Bissyand'e et al.2018 · 76 citationsarXiv
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC1705.07478v1 · Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu et al.2017 · 4 citationsarXiv
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)1605.01362v1 · Esben Andreasen, Colin S. Gordon, Satish Chandra et al.2016 · 4 citationsarXiv
Career total: at least 260 works. 46 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.