Yuriy Brun

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Wasm/k: delimited continuations for WebAssembly.

[BibT_eX]

[DOI]

Donald Pinckney

Arjun Guha

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

Formal foundations of serverless computing.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Formal Foundations of Serverless Computing.

[BibT_eX]

[DOI]

Abhinav Jangda

Donald Pinckney

Samuel Baxter

Breanna Devore-McDonald

Joseph Spitzer

Arjun Guha

CoRR, 2019

Offline Contextual Bandits with High Probability Fairness Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Automatically generating precise Oracles from structured natural language specifications.

[BibT_eX]

[DOI]

Manish Motwani

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

Collaborative-Design Conflicts: Costs and Solutions.

[BibT_eX]

[DOI]

Jae Young Bang

IEEE Softw., 2018

Do automated program repair techniques repair hard and important bugs?

[BibT_eX]

[DOI]

Manish Motwani

Sandhya Sankaranarayanan

René Just

Empir. Softw. Eng., 2018

Causal Testing: Finding Defects' Root Causes.

[BibT_eX]

[DOI]

Brittany Johnson

CoRR, 2018

Effectiveness of anonymization in double-blind review.

[BibT_eX]

[DOI]

Commun. ACM, 2018

API Blindspots: Why Experienced Developers Write Vulnerable Code.

[BibT_eX]

[DOI]

Daniela Seabra Oliveira

Tian Lin

Muhammad Sajidur Rahman

Proceedings of the Fourteenth Symposium on Usable Privacy and Security, 2018

Software fairness.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Themis: automatically testing software for discrimination.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Making well-informed software design decisions.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Recovering Architectural Design Decisions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Architecture, 2018

2017

Clarifications on the Construction and Use of the ManyBugs Benchmark.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Fairness testing: testing software for discrimination.

[BibT_eX]

[DOI]

Sainyam Galhotra

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Tortoise: interactive system configuration repair.

[BibT_eX]

[DOI]

Aaron Weiss

Arjun Guha

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Behavioral Execution Comparison: Are Tests Representative of Field Behavior?

[BibT_eX]

[DOI]

Qianqian Wang

Alessandro Orso

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Continuous Analysis of Collaborative Design.

[BibT_eX]

[DOI]

Jae Young Bang

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016

Debugging distributed systems.

[BibT_eX]

[DOI]

Commun. ACM, 2016

Specification and analysis of human-intensive system resource-utilization policies.

[BibT_eX]

[DOI]

Seung Yeob Shin

Leon J. Osterweil

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

Visually reasoning about system and resource behavior.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Reducing Feedback Delay of Software Development Tools via Continuous Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Self-Adapting Reliability in Distributed Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Is the cure worse than the disease? overfitting in automated program repair.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Development History Granularity Transformations (N).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Repairing Programs with Semantic Code Search (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Preventing data errors with continuous testing.

[BibT_eX]

[DOI]

Kivanç Muslu

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Discovering specification violations in networked software systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Detecting latent cross-platform API violations.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Justin Cappos

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Resource Specification for Prototyping Human-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Automatic mining of specifications from invocation traces and method invariants.

[BibT_eX]

[DOI]

Ivo Krka

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

The plastic surgery hypothesis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Behavioral resource-aware model inference.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Mining precise performance-aware behavioral models from existing instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Inferring models of concurrent systems from logs of their behavior with CSight.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Shedding light on distributed system executions.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Early Detection of Collaboration Conflicts and Risks.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Entrusting Private Computation and Data to Untrusted Networks.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2013

Supporting Undo and Redo in Scientific Data Analysis.

[BibT_eX]

[DOI]

Xiang Zhao

Emery R. Boose

Barbara Staudt Lerner

Leon J. Osterweil

Proceedings of the 5th Workshop on the Theory and Practice of Provenance, 2013

Data debugging with continuous testing.

[BibT_eX]

[DOI]

Kivanç Muslu

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Making offline analyses continuous.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Supporting process undo and redo in software engineering decision making.

[BibT_eX]

[DOI]

Xiang Zhao

Leon J. Osterweil

Proceedings of the International Conference on Software and System Process, 2013

Understanding regression failures through test-passing and test-failing code changes.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Resource scheduling through resource-aware simulation of emergency departments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Unifying FSM-inference algorithms through declarative specification.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Effects of Centralized and Distributed Version Control on Commit Granularity.

[BibT_eX]

[DOI]

Jochen Wuttke

Ivan Beschastnikh

Tiny Trans. Comput. Sci., 2012

Efficient 3-SAT algorithms in the tile assembly model.

[BibT_eX]

[DOI]

Nat. Comput., 2012

Automated Analysis and Code Generation for Domain-Specific Models.

[BibT_eX]

[DOI]

George Edwards

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Speculative analysis of integrated development environment recommendations.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Traffic routing for evaluating self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Improving IDE recommendations by considering global implications of existing recommendations.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Keeping Data Private while Computing in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

Mining temporal invariants from partially ordered logs.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2011

Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach.

[BibT_eX]

[DOI]

Computer, 2011

Crystal: precise and unobtrusive conflict warnings.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Proactive detection of collaboration conflicts.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Leveraging existing instrumentation to automatically infer invariant-constrained models.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Synoptic: studying logged behavior with inferred models.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Isomorphism in model tools and editors.

[BibT_eX]

[DOI]

George Edwards

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Smart Redundancy for Distributed Computation.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

That's What She Said: Double Entendre Identification.

[BibT_eX]

[DOI]

Chloé Kiddon

Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference, 19-24 June, 2011, Portland, Oregon, USA, 2011

2010

An architecture-driven software mobility framework.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Speculative analysis: exploring future development states of software.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Synoptic: Summarizing System Logs with Refinement.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, 2010

Using dynamic execution traces and program invariants to enhance behavioral model inference.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Improving impact of self-adaptation and self-management research through evaluation methodology.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Improving Efficiency of 3-SAT-Solving Tile Systems.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 16th International Conference, 2010

Software Engineering for Self-Adaptive Systems: A second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

A Design Space for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009

Path finding in the tile assembly model.

[BibT_eX]

[DOI]

Dustin Reishus

Theor. Comput. Sci., 2009

Synthesizing partial component-level behavior models from system specifications.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

From system specifications to component behavioral models.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Crystal-growth-inspired algorithms for computational grids.

[BibT_eX]

[DOI]

Proceedings of the 2009 workshop on Bio-inspired algorithms for distributed systems, 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Engineering Self-Adaptive Systems through Feedback Loops.

[BibT_eX]

[DOI]

Giovanna Di Marzo Serugendo

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Solving NP-complete problems in the tile assembly model.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Nondeterministic polynomial time factoring in the tile assembly model.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Solving satisfiability in the tile assembly model with a constant-size tileset.

[BibT_eX]

[DOI]

J. Algorithms, 2008

Connecting the Dots: Molecular Machinery for Distributed Robotics.

[BibT_eX]

[DOI]

Dustin Reishus

Proceedings of the DNA Computing, 14th International Meeting on DNA Computing, 2008

Building Biologically-Inspired Self-Adapting Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

2007

Arithmetic computation in the tile assembly model: Addition and multiplication.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Fault and adversary tolerance as an emergent property of distributed systems' software architectures.

[BibT_eX]

[DOI]

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

An Architectural Style for Solving Computationally Intensive Problems on Large Networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

2006

Toward In Vivo Disease Diagnosis and Treatment Using DNA.

[BibT_eX]

Manoj Gopalkrishnan

Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology, 2006

2004

Finding Latent Code Errors via Machine Learning over Program Executions.

[BibT_eX]

[DOI]