Yuriy Brun - RankMe

145 papers A* 22A 11B 5C 1Journal 54Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models. IEEE Trans. Vis. Comput. Graph. Zhanna Kaufman, Madeline Endres, Cindy Xiong Bearfield, Yuriy Brun
2025	J	`jnl`	Bias, Accuracy, and Trust: Gender-Diverse Perspectives on Large Language Models. CoRR Aimen Gaba, Emily Wall, Tejas Ramkumar Babu, Yuriy Brun, Kyle Wm. Hall, Cindy Xiong Bearfield
2025	A*	`conf`	QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. ICSE Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun
2025	A*	`conf`	Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. ICSE Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2025	J	`jnl`	The Cost of Avoiding Backpropagation. CoRR Kunjal Panchal, Sunav Choudhary, Yuriy Brun, Hui Guan
2025	J	`jnl`	Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models. CoRR Zhanna Kaufman, Madeline Endres, Cindy Xiong Bearfield, Yuriy Brun
2024	A*	`conf`	Attack-Resilient Image Watermarking Using Stable Diffusion. NeurIPS Lijun Zhang, Xiao Liu, Antoni Viros Martin, Cindy Xiong Bearfield, Yuriy Brun, Hui Guan
2024	A*	`conf`	Automated Program Repair, What Is It Good For? Not Absolutely Nothing! ICSE Hadeel Eladawy, Claire Le Goues, Yuriy Brun
2024	J	`jnl`	Cobblestone: Iterative Automation for Formal Verification. CoRR Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First
2024	J	`jnl`	My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. IEEE Trans. Vis. Comput. Graph. Aimen Gaba, Zhanna Kaufman, Jason Cheung, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
2024	J	`jnl`	Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. CoRR Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2024	J	`jnl`	Robust Image Watermarking using Stable Diffusion. CoRR Lijun Zhang, Xiao Liu, Antoni Viros Martin, Cindy Xiong Bearfield, Yuriy Brun, Hui Guan
2024	A*	`conf`	Thinking Forward: Memory-Efficient Federated Finetuning of Language Models. NeurIPS Kunjal Panchal, Nisarg Parikh, Sunav Choudhary, Lijun Zhang, Yuriy Brun, Hui Guan
2024	J	`jnl`	Thinking Forward: Memory-Efficient Federated Finetuning of Language Models. CoRR Kunjal Panchal, Nisarg Parikh, Sunav Choudhary, Lijun Zhang, Yuriy Brun, Hui Guan
2023	—	`conf`	Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions. ICSE Companion Saghar Talebipour, Hyojae Park, Kesina Baral, Leon Yee, Safwat Ali Khan, Kevin Moran, Yuriy Brun, Nenad Medvidovic, Yixue Zhao
2023	—	`conf`	Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
2023	J	`jnl`	Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
2023	A*	`conf`	Better Automatic Program Repair by Using Bug Reports and Tests Together. ICSE Manish Motwani, Yuriy Brun
2023	J	`jnl`	Blindspots in Python and Java APIs Result in Vulnerable Code. ACM Trans. Softw. Eng. Methodol. Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner
2023	—	`conf`	International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. APR@ICSE Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun
2023	J	`jnl`	My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. CoRR Aimen Gaba, Zhanna Kaufman, Jason Cheung, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield
2023	—	`conf`	PRoofster: Automated Formal Verification. ICSE Companion Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
2023	J	`jnl`	Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2023	—	`conf`	Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. ICSE Companion Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun
2023	—	`conf`	Understanding Why and Predicting When Developers Adhere to Code-Quality Standards. ICSE-SEIP Manish Motwani, Yuriy Brun
2022	J	`jnl`	Avgust: Automating Usage-Based Test Generation from Videos of App Executions. CoRR Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran
2022	—	`conf`	Avgust: automating usage-based test generation from videos of app executions. ESEC/SIGSOFT FSE Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran
2022	A*	`conf`	Diversity-Driven Automated Formal Verification. ICSE Emily First, Yuriy Brun
2022	J	`jnl`	Enforcing Delayed-Impact Fairness Guarantees. CoRR Aline Weber, Blossom Metevier, Yuriy Brun, Philip S. Thomas, Bruno Castro da Silva
2022	—	`conf`	Fairkit-learn: A Fairness Evaluation and Comparison Toolkit. ICSE-Companion Brittany Johnson, Yuriy Brun
2022	A*	`conf`	Fairness Guarantees under Demographic Shift. ICLR Stephen Giguere, Blossom Metevier, Bruno Castro da Silva, Yuriy Brun, Philip S. Thomas, Scott Niekum
2022	J	`jnl`	Passport: Improving Automated Formal Verification Using Identifiers. CoRR Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2022	J	`jnl`	Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues
2022	—	`conf`	The promise and perils of using machine learning when engineering software (keynote paper). MaLTeSQuE@ESEC/SIGSOFT FSE Yuriy Brun
2021	J	`jnl`	Blindspots in Python and Java APIs Result in Vulnerable Code. CoRR Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner
2021	J	`jnl`	SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Trans. Software Eng. Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, Claire Le Goues
2020	J	`jnl`	Automatically Repairing Programs Using Both Tests and Bug Reports. CoRR Manish Motwani, Yuriy Brun
2020	A*	`conf`	Causal testing: understanding defects' root causes. ICSE Brittany Johnson, Yuriy Brun, Alexandra Meliou
2020	J	`jnl`	Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models. CoRR Brittany Johnson, Jesse Bartola, Rico Angell, Katherine A. Keith, Sam Witty, Stephen J. Giguere, Yuriy Brun
2020	J	`jnl`	TacTok: semantics-aware proof synthesis. Proc. ACM Program. Lang. Emily First, Yuriy Brun, Arjun Guha
2020	J	`jnl`	Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst
2020	J	`jnl`	Wasm/k: Delimited Continuations for WebAssembly. CoRR Donald Pinckney, Arjun Guha, Yuriy Brun
2020	C	`conf`	Wasm/k: delimited continuations for WebAssembly. DLS Donald Pinckney, Arjun Guha, Yuriy Brun
2020	—	`conf`	eQual: informing early design decisions. ESEC/SIGSOFT FSE Arman Shahbazian, Suhrid Karthik, Yuriy Brun, Nenad Medvidovic
2019	A*	`conf`	Automatically generating precise Oracles from structured natural language specifications. ICSE Manish Motwani, Yuriy Brun
2019	J	`jnl`	Formal Foundations of Serverless Computing. CoRR Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha
2019	J	`jnl`	Formal foundations of serverless computing. Proc. ACM Program. Lang. Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha
2019	A*	`conf`	Offline Contextual Bandits with High Probability Fairness Guarantees. NeurIPS Blossom Metevier, Stephen Giguere, Sarah Brockman, Ari Kobren, Yuriy Brun, Emma Brunskill, Philip S. Thomas
2018	—	`conf`	API Blindspots: Why Experienced Developers Write Vulnerable Code. SOUPS @ USENIX Security Symposium Daniela Seabra Oliveira, Tian Lin, Muhammad Sajidur Rahman, Rad Akefirad, Donovan M. Ellis, Eliany Perez, Rahul Bobhate, Lois DeLong, Justin Cappos, Yuriy Brun
2018	J	`jnl`	Causal Testing: Finding Defects' Root Causes. CoRR Brittany Johnson, Yuriy Brun, Alexandra Meliou
2018	J	`jnl`	Collaborative-Design Conflicts: Costs and Solutions. IEEE Softw. Jae Young Bang, Yuriy Brun, Nenad Medvidovic
2018	J	`jnl`	Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. IEEE Trans. Syst. Man Cybern. Syst. Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Philip L. Henneman, Leon J. Osterweil
2018	A*	`conf`	Do automated program repair techniques repair hard and important bugs? ICSE Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
2018	J	`jnl`	Do automated program repair techniques repair hard and important bugs? Empir. Softw. Eng. Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun
2018	J	`jnl`	Effectiveness of anonymization in double-blind review. Commun. ACM Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2018	—	`conf`	Making well-informed software design decisions. ICSE (Companion Volume) Arman Shahbazian, Youn Kyu Lee, Yuriy Brun, Nenad Medvidovic
2018	—	`ed.`	Proceedings of the International Workshop on Software Fairness, FairWare@ICSE 2018, Gothenburg, Sweden, May 29, 2018 FairWare@ICSE Yuriy Brun, Brittany Johnson, Alexandra Meliou
2018	A	`conf`	Recovering Architectural Design Decisions. ICSA Arman Shahbazian, Youn Kyu Lee, Duc Minh Le, Yuriy Brun, Nenad Medvidovic
2018	—	`conf`	Software fairness. ESEC/SIGSOFT FSE Yuriy Brun, Alexandra Meliou
2018	—	`conf`	Themis: automatically testing software for discrimination. ESEC/SIGSOFT FSE Rico Angell, Brittany Johnson, Yuriy Brun, Alexandra Meliou
2017	A	`conf`	Behavioral Execution Comparison: Are Tests Representative of Field Behavior? ICST Qianqian Wang, Yuriy Brun, Alessandro Orso
2017	J	`jnl`	Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer
2017	A	`conf`	Continuous Analysis of Collaborative Design. ICSA Jae Young Bang, Yuriy Brun, Nenad Medvidovic
2017	J	`jnl`	Effectiveness of Anonymization in Double-Blind Review. CoRR Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
2017	J	`jnl`	Fairness Testing: Testing Software for Discrimination. CoRR Sainyam Galhotra, Yuriy Brun, Alexandra Meliou
2017	—	`conf`	Fairness testing: testing software for discrimination. ESEC/SIGSOFT FSE Sainyam Galhotra, Yuriy Brun, Alexandra Meliou
2017	J	`jnl`	Tortoise: Interactive System Configuration Repair. CoRR Aaron Weiss, Arjun Guha, Yuriy Brun
2017	A*	`conf`	Tortoise: interactive system configuration repair. ASE Aaron Weiss, Arjun Guha, Yuriy Brun
2016	J	`jnl`	Debugging Distributed Systems. ACM Queue Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
2016	J	`jnl`	Debugging distributed systems. Commun. ACM Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
2016	—	`conf`	Specification and analysis of human-intensive system resource-utilization policies. SEHS@ICSE Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil
2016	—	`conf`	Visually reasoning about system and resource behavior. ICSE (Companion Volume) Tony Ohmann, Ryan Stanley, Ivan Beschastnikh, Yuriy Brun
2015	A	`conf`	Detecting latent cross-platform API violations. ISSRE Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos
2015	A*	`conf`	Development History Granularity Transformations (N). ASE Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst
2015	A	`conf`	Discovering specification violations in networked software systems. ISSRE Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine
2015	—	`conf`	Is the cure worse than the disease? overfitting in automated program repair. ESEC/SIGSOFT FSE Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
2015	A	`conf`	Preventing data errors with continuous testing. ISSTA Kivanç Muslu, Yuriy Brun, Alexandra Meliou
2015	J	`jnl`	Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
2015	A*	`conf`	Repairing Programs with Semantic Code Search (T). ASE Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
2015	B	`conf`	Resource Specification for Prototyping Human-Intensive Systems. FASE Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman
2015	J	`jnl`	Self-Adapting Reliability in Distributed Software Systems. IEEE Trans. Software Eng. Yuriy Brun, Jae Young Bang, George Edwards, Nenad Medvidovic
2015	J	`jnl`	The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
2015	J	`jnl`	Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
2015	J	`jnl`	Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. J. Syst. Softw. Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang
2014	—	`conf`	Automatic mining of specifications from invocation traces and method invariants. SIGSOFT FSE Ivo Krka, Yuriy Brun, Nenad Medvidovic
2014	A*	`conf`	Behavioral resource-aware model inference. ASE Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun
2014	A*	`conf`	Inferring models of concurrent systems from logs of their behavior with CSight. ICSE Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy
2014	—	`conf`	Mining precise performance-aware behavioral models from existing instrumentation. ICSE Companion Tony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun
2014	—	`conf`	Shedding light on distributed system executions. ICSE Companion Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst
2014	—	`conf`	The plastic surgery hypothesis. SIGSOFT FSE Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
2013	—	`conf`	Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
2013	—	`conf`	Data debugging with continuous testing. ESEC/SIGSOFT FSE Kivanç Muslu, Yuriy Brun, Alexandra Meliou
2013	J	`jnl`	Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2013	J	`jnl`	Entrusting Private Computation and Data to Untrusted Networks. IEEE Trans. Dependable Secur. Comput. Yuriy Brun, Nenad Medvidovic
2013	—	`conf`	Making offline analyses continuous. ESEC/SIGSOFT FSE Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
2013	—	`ed.`	Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013 CESI@ICSE Margaret M. Burnett, Holger Giese, Tien Nguyen, Yuriy Brun
2013	—	`conf`	Resource scheduling through resource-aware simulation of emergency departments. SEHC@ICSE Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
2013	—	`conf`	Supporting Undo and Redo in Scientific Data Analysis. TaPP Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil
2013	B	`conf`	Supporting process undo and redo in software engineering decision making. ICSSP Xiang Zhao, Yuriy Brun, Leon J. Osterweil
2013	A*	`conf`	Understanding regression failures through test-passing and test-failing code changes. ICSE Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun
2013	A*	`conf`	Unifying FSM-inference algorithms through declarative specification. ICSE Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
2012	—	`conf`	Automated Analysis and Code Generation for Domain-Specific Models. WICSA/ECSA George Edwards, Yuriy Brun, Nenad Medvidovic
2012	J	`jnl`	Effects of Centralized and Distributed Version Control on Commit Granularity. Tiny Trans. Comput. Sci. Jochen Wuttke, Ivan Beschastnikh, Yuriy Brun
2012	J	`jnl`	Efficient 3-SAT algorithms in the tile assembly model. Nat. Comput. Yuriy Brun
2012	A*	`conf`	Improving IDE recommendations by considering global implications of existing recommendations. ICSE Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2012	—	`conf`	Keeping Data Private while Computing in the Cloud. IEEE CLOUD Yuriy Brun, Nenad Medvidovic
2012	A	`conf`	Speculative analysis of integrated development environment recommendations. OOPSLA Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2012	A	`conf`	Traffic routing for evaluating self-adaptation. SEAMS Jochen Wuttke, Yuriy Brun, Alessandra Gorla, Jonathan Ramaswamy
2011	—	`conf`	Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2011	J	`jnl`	Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach. Computer Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards
2011	A*	`conf`	Isomorphism in model tools and editors. ASE George Edwards, Yuriy Brun, Nenad Medvidovic
2011	—	`conf`	Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst
2011	J	`jnl`	Mining temporal invariants from partially ordered logs. ACM SIGOPS Oper. Syst. Rev. Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson
2011	—	`conf`	Proactive detection of collaboration conflicts. SIGSOFT FSE Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2011	A	`conf`	Smart Redundancy for Distributed Computation. ICDCS Yuriy Brun, George Edwards, Jae Young Bang, Nenad Medvidovic
2011	—	`conf`	Synoptic: studying logged behavior with inferred models. SIGSOFT FSE Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst
2011	—	`conf`	That's What She Said: Double Entendre Identification. ACL (2) Chloé Kiddon, Yuriy Brun
2010	—	`conf`	A Design Space for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Yuriy Brun, Ronald J. Desmarais, Kurt Geihs, Marin Litoiu, Antónia Lopes, Mary Shaw, Michael Smit
2010	J	`jnl`	An architecture-driven software mobility framework. J. Syst. Softw. Sam Malek, George Edwards, Yuriy Brun, Hossein Tajalli, Joshua Garcia, Ivo Krka, Nenad Medvidovic, Marija Mikic-Rakic, Gaurav S. Sukhatme
2010	B	`conf`	Improving Efficiency of 3-SAT-Solving Tile Systems. DNA Yuriy Brun
2010	A	`conf`	Improving impact of self-adaptation and self-management research through evaluation methodology. SEAMS Yuriy Brun
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
2010	—	`conf`	Speculative analysis: exploring future development states of software. FoSER Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2010	—	`conf`	Synoptic: Summarizing System Logs with Refinement. SLAML Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun
2010	—	`conf`	Using dynamic execution traces and program invariants to enhance behavioral model inference. ICSE (2) Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic
2009	—	`conf`	Crystal-growth-inspired algorithms for computational grids. BADS@ICAC Yuriy Brun, Nenad Medvidovic
2009	—	`conf`	Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw
2009	—	`conf`	From system specifications to component behavioral models. ICSE Companion Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic
2009	J	`jnl`	Path finding in the tile assembly model. Theor. Comput. Sci. Yuriy Brun, Dustin Reishus
2009	—	`conf`	Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
2009	—	`conf`	Synthesizing partial component-level behavior models from system specifications. ESEC/SIGSOFT FSE Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic
2008	—	`conf`	Building Biologically-Inspired Self-Adapting Systems. Software Engineering for Self-Adaptive Systems Yuriy Brun
2008	B	`conf`	Connecting the Dots: Molecular Machinery for Distributed Robotics. DNA Yuriy Brun, Dustin Reishus
2008	J	`jnl`	Nondeterministic polynomial time factoring in the tile assembly model. Theor. Comput. Sci. Yuriy Brun
2008	J	`jnl`	Solving NP-complete problems in the tile assembly model. Theor. Comput. Sci. Yuriy Brun
2008	J	`jnl`	Solving satisfiability in the tile assembly model with a constant-size tileset. J. Algorithms Yuriy Brun
2007	—	`conf`	A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks. ICSE Companion Yuriy Brun
2007	A	`conf`	An Architectural Style for Solving Computationally Intensive Problems on Large Networks. SEAMS Yuriy Brun, Nenad Medvidovic
2007	J	`jnl`	Arithmetic computation in the tile assembly model: Addition and multiplication. Theor. Comput. Sci. Yuriy Brun
2007	B	`conf`	Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time. DNA Yuriy Brun
2007	—	`conf`	Fault and adversary tolerance as an emergent property of distributed systems' software architectures. EFTS Yuriy Brun, Nenad Medvidovic
2006	—	`conf`	Toward In Vivo Disease Diagnosis and Treatment Using DNA. BIOCOMP Yuriy Brun, Manoj Gopalkrishnan
2004	A*	`conf`	Finding Latent Code Errors via Machine Learning over Program Executions. ICSE Yuriy Brun, Michael D. Ernst