Publications

A page allocation strategy for multiprogramming systems
- - Donald D. Chamberlin
  - Samuel H. Fuller
  - et al.
- 1973
- SOSP 1973
Conference paper
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- - Manuel Correia
  - Donald Cossman
  - et al.
- 1970
- DAC 1970
Conference paper
Quality of designs from an automatic logic generator (ALERT)
- - Theodore D. Friedman
  - Sih-Chin Yang
- 1970
- DAC 1970
Conference paper
An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
- - Sina Khiabani
  - Ashutosh Trivedi
  - et al.
- 2026
- ICSE 2026
Conference paper
Hamster: A Large-Scale Study and Characterization of Developer-Written Tests
- - Rangeet Pan
  - Tyler Stennett
  - et al.
- 2026
- ICSE 2026
Conference paper
FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
- - Saurabhsingh Rajput
  - Alex Brandt
  - et al.
- 2026
- ICSE 2026
Conference paper
SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents
- - Rangeet Pan
  - Raju Pavuluri
  - et al.
- 2026
- ICSE 2026
Conference paper
Enterprise-Scale COBOL-to-Java Translation: LLMs Augmented with Program Analysis
- - Venkatesan Chakravarthy
  - Anamitra R. Choudhury
  - et al.
- 2026
- ICSE 2026
Conference paper
Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
- - Toufique Ahmed
  - Jatin Ganhotra
  - et al.
- 2026
- ICSE 2026
Conference paper
Dataset Definition in AI for Chemistry: Insights from Data Science Practitioners in Battery and PFAS Research
- - Juliana Jansen Ferreira
  - Joao Henrique Gallas Brasil
  - et al.
- 2026
- ACS Spring 2026
Conference paper