Undergraduate Publications

Undergraduate students' names are in bold. Entries are organized by year and only include data from recent years. Note that this list may not be exhaustive.

If you want to submit an entry, please contact the Meta Undergraduate Research Assistants (MURAs) at mura@cs.brown.edu.

 

 

VectraFlow
Duo Lu, Siming Feng, Jonathan Zhou, Franco Solleza, Malte Schwarzkopf, Ugur Cetintemel
The Conference on Innovative Data Systems Research (CIDR 2025)
 

 

Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney Levine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
OOPSLA 2024
 
Flowed Time of Flight Radiance Fields
Mikhail Okunev, Marc Mapeke, Benjamin Attal, Christian Richardt, Matthew O’Toole, James Tompkin 
European Conference on Computer Vision 2024
 
Active Appearance and Spatial Variation Can Improve Visibility in Area Labels for Augmented Reality
Hojung Kwon, Yuanbo Li, Xiaohan Ye, Praccho Muna-McQuay, Liuren Yin, James Tompkin
IEEE Visualization 2024
 
Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation
Nihal V. Nayak, Yiyang Nan, Avi Trost, and Stephen H. Bach
Meeting of the Association for Computational Linguistics (ACL) Findings 2024
 
Mach: Firefighting Time-Critical Issues in Complex Systems Using High-Frequency Telemetry (Demo Paper)
Franco Solleza, Shihang Li, William Sun, Richard Tang, Malte Schwarzkopf, Nesume Tatbul, Andrew Crotty, David Cohen, Stan Zdonik
VLDB 2024 (Demo Track)
 
Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf
SOSP 2024
 
Sound Gradual Verification with Symbolic Execution
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Principles of Programming Languages (POPL) 2024
 

 

Enhancing CLIP with CLIP: Exploring Pseudolabeling for Limited-Label Prompt Tuning

Cristina Menghini, Andrew Delworth, and Stephen H. Bach
Neural Information Processing Systems (NeurIPS) 2023
 
On Human-like Biases in Convolutional Neural Networks for the Perception of Slant from Texture
Yuanhao Wang, Qian Zhang, Celine Aubuchon, Jovan Kemp, Fulvio Domini, James Tompkin
ACM Transactions on Applied Perception 2023
 
Semantic Attention Flow Fields for Monocular Dynamic Scene Decomposition
Yiqing Liang, Eliot Laidlaw, Alexander Meyerowitz, Srinath Sridhar, James Tompkin
International Conference on Computer Vision (ICCV) 2023
 
Towards Increased Datacenter Efficiency with Soft Memory
Megan Frisella, Shirley Loayza Sanchez, Malte Schwarzkopf
HotOS 2023
 
K9db: Privacy-Compliant Storage For Web Applications By Construction
Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj, Raj Paul, Artem Agvanian, Leonhard Spiegelberg, Malte Schwarzkopf
OSDI 2023
 
Edna: Disguising and Revealing User Data in Web Applications (the URL doesn't work yet because the paper isn't out yet, but it will once it's published in October)
Lillian Tsai, Hannah Gross, Eddie Kohler, Frans Kaashoek, Malte Schwarzkopf
SOSP 2023
 
LEGO-Net: Learning Regular Rearrangements of Objects in Rooms
Qiuhong Anna Wei, Sijie Ding, Jeong Joon Park, Rahul Sajnani, Adrien Poulenard, Srinath Sridhar, Leonidas Guibas
CVPR (Conference on Computer Vision and Pattern Recognition), 2023
 
Specifying Behavior Preference with Tiered Reward Functions
Zhiyuan Zhou, Henry Sowerby, Michael Littman
ICML workshop (MFPL), 2023
 
 
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum
Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi
ACM Technical Symposium on Computer Science Education, 2022
 
Problematic and Persistent Post-Secondary Program Performance Preconceptions
Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven Sloman
Koli Calling 2022
 
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, Jack Wrenn, Shriram Krishnamurthi
The Art, Science, and Engineering of Programming, 2022
 
Fairness via Explanation Quality: Evaluating Disparities in the Quality of Post hoc Explanations
Jessica Dai, Sohini Upadhyay, Ulrich Aivodji, Stephen H. Bach, and Hima Lakkaraju
AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society (AIES) 2022
 
TAGLETS: A System for Automatic Semi-Supervised Learning with Auxiliary Data
Wasu Piriyakulkij, Cristina Menghini, Ross Briden, Nihal V. Nayak, Jeffrey Zhu, Elaheh Raisi, Stephen H. Bach
Conference on Machine Learning and Systems (MLSys) 2022
 
Neural Fields in Visual Computing and Beyond
Yiheng Xie, Towaki Takikawa, Shunsuke Saito, Or Litany, Shiqin Yan, Numair Khan, Federico Tombari, James Tompkin, Vincent Sitzmann, Srinath Sridhar
Eurographics State of the Art Report + CVPR Tutorial, 2022
 
Bridging the Social Distance: Offline to Online Social Support during the COVID-19 Pandemic
Gabriela Hoefer, Talie Massachi, Neil Xu, Nicole Nugent, Jeff Huang
CSCW 2022, Article 429
 
Archita Agarwal, Marilyn George, Aaron Jeyaraj, Malte Schwarzkopf
In Proceedings of VLDB 2022
 
Alessio Mazzetto, Cristina Menghini, Andrew Yuan, Eli Upfal, Stephen H. Bach
Neural Information Processing Systems (NeurIPS) 2022
 
Rao Fu, Xiao (Sean) Zhan, Yiwen Chen, Daniel Ritchie, Srinath Sridhar
NeurIPS 2022

SHRED: 3D Shape Region Decomposition with Learned Local Operations
R. Kenny Jones, Aalia Habib, Daniel Ritchie
SIGGRAPH Asia 2022

Unsupervised Kinematic Motion Detection for Part-segmented 3D Shape Collections
Xianghao Xu, Yifan Ruan, Srinath Sridhar, Daniel Ritchie
SIGGRAPH 2022

PLAD: Learning to Infer Shape Programs with Pseudo-Labels and Approximate Distributions
R. Kenny Jones, Homer Walke, Daniel Ritchie
CVPR 2022

The Neurally-Guided Shape Parser: Grammar-based Labeling of 3D Shape Regions with Approximate Inference
R. Kenny Jones, Aalia Habib, Rana Hanocka, Daniel Ritchie
CVPR 2022

Learning to Infer Kinematic Hierarchies for Novel Object Instances
Hameed Abdul-Rashid, Miles Freeman, Ben Abbatematteo, George Konidaris, Daniel Ritchie
ICRA 2022

Characterizing the Action-Generalization Gap in Deep Q-Learning
Zhiyuan Zhou, Cameron Allen, Kavosh Asadi, George Konidaris
Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM), 2022.

Designing Rewards for Fast Learning
Henry Sowerby, Zhiyuan Zhou, Michael Littman
Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM), 2022. (Oral)

 
Hemant Gouni*, Conrad Zimmerman* (joint first-author)
SPLASH 2021 Student Research Competition
 
Adversarial Multiclass Learning under Weak Supervision with Performance Guarantees
Alessio Mazzetto, Cyrus Cousins, Dylan Sam, Stephen H. Bach, and Eli Upfal
International Conference on Machine Learning (ICML) 2021
 
Semi-Supervised Aggregation of Dependent Weak Supervision Sources with Performance Guarantees
Alessio Mazzetto, Dylan Sam, Andrew Park, Eli Upfal, and Stephen H. Bach
Artificial Intelligence and Statistics (AISTATS) 2021
 
TöRF: Time-of-Flight Radiance Fields for Dynamic Scene View Synthesis
Benjamin Attal, Eliot Laidlaw, Aaron Gokaslan, Changil Kim, Christian Richardt, James Tompkin, Matthew O'Toole
Advances in Neural Information Processing Systems (NeurIPS), 2021
 
GaussiGAN: Controllable Image Synthesis with 3D Gaussians from Unposed Silhouettes
Youssef A. Mejjati, Isa Milefchik, Aaron Gokaslan, Oliver Wang, Kwang In Kim, James Tompkin
BMVC 2021 and CVPR Workshop on AI for Content Creation, 2021
 
Prototyping Formal Methods Tools: A Protocol Analysis Case Study
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
FestSchrift for Joshua Guttman, 2021
 
Early Post-Secondary Student Performance of Adversarial Thinking
Nick Young, Shriram Krishnamurthi
SIGCSE International Computing Education Research Conference, 2021
 
The UX Factor: Using Comparative Peer Review to Evaluate Designs through User Preferences
Sarah Bawabe, Laura Wilson, Tongyu Zhou, Ezra Marks, Jeff Huang
CSCW 2021, Article 476. Impact Recognition, and Honorable Mention
 
Case Studies on the Motivation and Performance of Contributors Who Verify and Maintain In-Flux Tabular Datasets
Shaun Wallace, Alexandra Papoutsaki, Neilly Tan, Hua Guo, Jeff Huang
CSCW 2021, Article 448
 
Portalware: Exploring Free-Hand AR Drawing with a Dual-Display Smartphone-Wearable Paradigm
Jing Qian, Tongyu Zhou, Meredith Young-Ng, Jiaju Ma, Angel Cheung, Xiangyu Li, Ian Gonsher, Jeff Huang
DIS 2021, 205–219.
 
Self-E: Smartphone-Supported Guidance for Customizable Self-Experimentation
Nediyana Daskalova, Eindra Kyi, Kevin Ouyang, Arthur Borem, Sally Chen, Sung Hyun Park, Nicole Nugent, Jeff Huang
CHI 2021, Article 227.
 
 
Sketchy: Drawing Inspiration from the Crowd
Shaun Wallace, Brendan Le, Luis Leiva, Aman Haq, Ari Kintisch, Gabrielle Bufrem, Linda Chang, Jeff Huang
CSCW 2020, Article 172.
 
SleepBandits: Guided Flexible Self-Experiments for Sleep
Nediyana Daskalova, Jina Yoon, Lisa Wang, Cintia Araujo, Guillermo Beltran, Nicole Nugent, John McGeary, Joseph Jay Williams, Jeff Huang
CHI 2020, Article 457
 
Sochiatrist: Signals of Affect in Messaging Data
Talie Massachi, Grant Fong, Varun Mathur, Sachin Pendse, Gabriela Hoefer, Jessica Fu, Chong Wang, Nikita Ramoji, Nicole Nugent, Megan Ranney, Daniel Dickstein, Michael Armey, Ellie Pavlick, Jeff Huang
CSCW 2020, Article 111
 
SleepBandits: Guided Flexible Self-Experiments for Sleep
Nediyana Daskalova, Jina Yoon, Lisa Wang, Cintia Araujo, Guillermo Beltran, Nicole Nugent, John McGeary, Joseph Jay Williams, Jeff Huang.
CHI 2020, Article 457.
 
Solver-Aided Multi-Party Configuration
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus Benson
ACM SIGCOMM Workshop on Hot Topics in Networks, 2020
 
Using Design Alternatives to Learn About Data Organizations
Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi
SIGCSE International Computing Education Research Conference, 2020
 
Building Plannable Representations with Mixed Reality
Eric Rosen, Nishanth Kumar, Nakul Gopalan, Daniel Ullman, George Konidaris, Stefanie Tellex.
IROS, 2020
 
Weakly Supervised Sequence Tagging from Noisy Rules
Esteban Safranchik, Shiying Luo, Stephen H Bach
AAAI, 2020
 
Generating Handwriting via Decoupled Style Descriptors
Atsunobu Kotani, Stefanie Tellex, James Tompkin. 
ECCV, 2020.
 
Encrypted Blockchain Databases
Daniel Adkins, Archita Agarwal, Seny Kamara, Tarik Moataz.
Advances in Financial Technologies, 2020

 

 

The Next 700 Semantics: A Research Challenge

Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty
Summit on Advances in Programming Languages, 2019
 
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
The Art, Science, and Engineering of Programming, 2019
 
Removing the target network from deep Q-networks with the Mellowmax operator. 
Seungchan Kim, Kavosh Asadi, Michael Littman, George Konidaris. 
AAMAS, 2019.
 

 

CompoSAT: Specification-Guided Coverage for Model Finding
Sorawee Porncharoenwase, Tim Nelson, and Shriram Krishnamurthi
Formal Methods 2018

 

 
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, and Shriram Krishnamurthi
Hot Topics in Networking (HotNets) 2016
 
 
Tierless Programming and Reasoning for Software-Defined Networks
Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer and Shriram Krishnamurthi
Networked Systems Design and Implementation (NSDI) 2014