LangProBe: a Language Programs Benchmark

Authors: Tan, Shangyin, Agrawal, Lakshya A, Singhvi, Arnav, Lai, Liheng, Ryan, Michael J, Klein, Dan, Khattab, Omar, Sen, Koushik, Zaharia, Matei

Subject Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Information Retrieval, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2502.20315

X-ray emission from helium star+black hole binaries as probes of tidally induced spin-up of second-born black holes

Authors: Sen, Koushik, Olejak, Aleksandra, Banerjee, Sambaran

Subject Terms: Astrophysics - High Energy Astrophysical Phenomena, Astrophysics - Solar and Stellar Astrophysics

Access URL: http://arxiv.org/abs/2501.12507

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Authors: Shetty, Manish, Jain, Naman, Godbole, Adwait, Seshia, Sanjit A., Sen, Koushik

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages, I.2, D.2, D.3

Access URL: http://arxiv.org/abs/2412.14234

Specifications: The missing link to making the development of LLM systems an engineering discipline

Authors: Stoica, Ion, Zaharia, Matei, Gonzalez, Joseph, Goldberg, Ken, Sen, Koushik, Zhang, Hao, Angelopoulos, Anastasios, Patil, Shishir G., Chen, Lingjiao, Chiang, Wei-Lin, Davis, Jared Q.

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language

Access URL: http://arxiv.org/abs/2412.05299

To Tile or not to Tile, That is the Question

Authors: Haan, Altan, Popovici, Doru Thom, Sen, Koushik, Iancu, Costin, Cheung, Alvin

Source: 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) IPDPSW Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2024 IEEE International. :449-458 May, 2024

Relation: 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

A study of sixty-one massive over-contact binary candidates from the OGLE survey of the Magellanic Clouds

Authors: Menon, Athira, Pawlak, Michal, Lennon, Daniel J., Sen, Koushik, Langer, Norbert

Subject Terms: Astrophysics - Solar and Stellar Astrophysics, Astrophysics - Astrophysics of Galaxies

Access URL: http://arxiv.org/abs/2410.16427

Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs

Authors: Sen, Koushik, Zheng, Daniel

Source: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024 IEEE/ACM 46th International Conference on. :147-156 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World

Authors: Shou, Chaofan, Ke, Yuanyu, Yang, Yupeng, Su, Qi, Dadosh, Or, Eli, Assaf, Benchimol, David, Lu, Doudou, Tong, Daniel, Chen, Dex, Tan, Zoey, Chia, Jacob, Sen, Koushik, Lee, Wenke

Subject Terms: Computer Science - Cryptography and Security

Access URL: http://arxiv.org/abs/2409.06213

Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications

Authors: Sen, Koushik, Vadhiyar, Sathish, Vinayachandran, PN

Source: 2023 IEEE 30th International Conference on High Performance Computing, Data, and Analytics (HiPC) HIPC High Performance Computing, Data, and Analytics (HiPC), 2023 IEEE 30th International Conference on. :203-212 Dec, 2023

Relation: 2023 IEEE 30th International Conference on High Performance Computing, Data, and Analytics (HiPC)

Whispering in the dark: Faint X-ray emission from black holes with OB star companions

Authors: Sen, Koushik, Mellah, Ileyk El, Langer, Norbert, Xu, Xiao-Tian, Quast, Martin, Pauli, Daniel

Source: A&A 690, A256 (2024)

Subject Terms: Astrophysics - High Energy Astrophysical Phenomena, Astrophysics - Solar and Stellar Astrophysics

Access URL: http://arxiv.org/abs/2406.08596

Analytic approximations for massive close post-mass transfer binary systems

Authors: Schürmann, Christoph, Langer, Norbert, Kramer, Joana A., Marchant, Pablo, Wang, Chen, Sen, Koushik

Source: A&A 690, A282 (2024)

Subject Terms: Astrophysics - Solar and Stellar Astrophysics, Astrophysics - Astrophysics of Galaxies, Astrophysics - High Energy Astrophysical Phenomena

Access URL: http://arxiv.org/abs/2404.08612

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Authors: Jain, Naman, Han, King, Gu, Alex, Li, Wen-Ding, Yan, Fanjia, Zhang, Tianjun, Wang, Sida, Solar-Lezama, Armando, Sen, Koushik, Stoica, Ion

Subject Terms: Computer Science - Software Engineering, Computer Science - Computation and Language, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2403.07974

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?

Authors: Gu, Alex, Li, Wen-Ding, Jain, Naman, Olausson, Theo X., Lee, Celine, Sen, Koushik, Solar-Lezama, Armando

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2402.19475

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models

Authors: Shou, Chaofan, Liu, Jing, Lu, Doudou, Sen, Koushik

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2401.11108

CodeScholar: Growing Idiomatic Code Examples

Authors: Shetty, Manish, Sen, Koushik, Stoica, Ion

Subject Terms: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2312.15157

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

Authors: Singhvi, Arnav, Shetty, Manish, Tan, Shangyin, Potts, Christopher, Sen, Koushik, Zaharia, Matei, Khattab, Omar

Subject Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2312.13382

Multiversion Hindsight Logging for Continuous Training

Authors: Garcia, Rolando, Dandamudi, Anusha, Matute, Gabriel, Wan, Lehan, Gonzalez, Joseph, Hellerstein, Joseph M., Sen, Koushik

Subject Terms: Computer Science - Software Engineering, Computer Science - Databases

Access URL: http://arxiv.org/abs/2310.07898

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract

Authors: Shou, Chaofan, Tan, Shangyin, Sen, Koushik

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2306.17135

SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics

Authors: Ardakani, Arash, Haan, Altan, Tan, Shangyin, Popovici, Doru Thom, Cheung, Alvin, Iancu, Costin, Sen, Koushik

Subject Terms: Computer Science - Computation and Language

Access URL: http://arxiv.org/abs/2305.18513

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks

Authors: Bavishi, Rohan, Laddad, Shadaj, Yoshida, Hiroaki, Prasad, Mukul R., Sen, Koushik

Source: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2021 36th IEEE/ACM International Conference on. :129-141 Nov, 2021

Relation: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)