Publications

Below is a list of the publications by our lab members:

2024

A Deep Dive Into Large Language Models For Automated Bug Localization And Repair - View paper

Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, WenHao Chiang, Yingjun Lyu, Hoan Nguyen and Omer Tripp

Algorithm Selection For Software Verification Using Graph Neural Networks - View paper

Will Leeson and Matthew B Dwyer

Cit4Dnn: Generating Diverse And Rare Inputs For Neural Networks Using Latent Space Combinatorial Testing - View paper

Swaroopa Dola, Rory McDaniel, Matthew B Dwyer and Mary Lou Soffa
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024

Ensuring Critical Properties Of Test Oracles For Effective Bug Detection - View paper

Soneya Binta Hossain
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024

Harnessing Neuron Stability To Improve Dnn Verification - View paper

Hai Duong, Dong Xu, ThanhVu Nguyen and Matthew B Dwyer

Measuring Feature Dependency Of Neural Networks By Collapsing Feature Dimensions In The Data Manifold - View paper

Yinzhu Jin, Matthew B Dwyer and P Thomas Fletcher

S3C: Spatial Semantic Scene Coverage For Autonomous Vehicles - View paper

Trey Woodlief, Felipe Toledo, Sebastian G Elbaum and Matthew B Dwyer
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024

Software Engineering For Robotics: Future Research Directions; Report From The 2023 Workshop On Software Engineering For Robotics - View paper

Claire Le Goues, Sebastian G Elbaum, David J Anthony, Z Berkay Celik, Mauricio CastilloEffen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor and Qi Zhu

Training For Verification: Increasing Neuron Stability To Scale Dnn Verification - View paper

Dong Xu, Nusrat Jahan Mozumder, Hai Duong and Matthew B Dwyer
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2023

A Dpll(T) Framework For Verifying Deep Neural Networks - View paper

Hai Duong, Linhan Li, ThanhVu Nguyen and Matthew B Dwyer

A Framework For The Unsupervised Inference Of Relations Between Sensed Object Spatial Distributions And Robot Behaviors - View paper

Christopher Morse, Lu Feng, Matthew B Dwyer and Sebastian G Elbaum
IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023

Artifact: Measuring And Mitigating Gaps In Structural Testing - View paper

Soneya Binta Hossain, Matthew B Dwyer, Sebastian G Elbaum and Anh NguyenTuong

Carna: Characterizing Advanced Heart Failure Risk And Hemodynamic Phenotypes Using Learned Multi-Valued Decision Diagrams - View paper

Josephine Lamp, Yuxin Wu, Steven Lamp, Prince Afriyie, Kenneth Bilchick, Lu Feng and Sula Mazimba

Deeper Notions Of Correctness In Image-Based Dnns: Lifting Properties From Pixel To Entities - View paper

Felipe Toledo, David Shriver, Sebastian G Elbaum and Matthew B Dwyer
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023

Deepmaneuver: Adversarial Test Generation For Trajectory Manipulation Of Autonomous Vehicles - View paper

Meriel von Stein, David Shriver and Sebastian G Elbaum

Distributional Probabilistic Model Checking - View paper

Ingy ElsayedAly, David Parker and Lu Feng

Explainable Multi-Agent Reinforcement Learning For Temporal Queries - View paper

Kayla Boggess, Sarit Kraus and Lu Feng
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China

Formal Methods In Unmanned Aerial Vehicle Swarm Control For Wildfire Detection And Monitoring - View paper

Negin Moghadasi, Amar Kulkarni, Dustin Crayton, Robert J Grissom, James H Lambert and Lu Feng
IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023

Generating Realistic And Diverse Tests For Lidar-Based Perception Systems - View paper

Garrett Christian, Trey Woodlief and Sebastian G Elbaum
45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023

Glucosynth: Generating Differentially-Private Synthetic Glucose Traces - View paper

Josephine Lamp, Mark Derdzinski, Christopher Hannemann, Joost van der Linden, Lu Feng, Tianhao Wang and David Evans

Helix++: A Platform For Efficiently Securing Software - View paper

Jack W Davidson, Jason D Hiser and Anh NguyenTuong

Input Distribution Coverage: Measuring Feature Interaction Adequacy In Neural Network Testing - View paper

Swaroopa Dola, Matthew B Dwyer and Mary Lou Soffa

Introduction To The Special Issue On Runtime Verification - View paper

Lu Feng and Dana Fisman

Measuring And Mitigating Gaps In Structural Testing - View paper

Soneya Binta Hossain, Matthew B Dwyer, Sebastian G Elbaum and Anh NguyenTuong
45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023

Mimicking Real Forces On A Drone Through A Haptic Suit To Enable Cost-Effective Validation - View paper

Carl Hildebrandt, Wen Ying, Seongkook Heo and Sebastian G Elbaum
IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023

Neural-Based Test Oracle Generation: A Large-Scale Evaluation And Lessons Learned - View paper

Soneya Binta Hossain, Antonio Filieri, Matthew B Dwyer, Sebastian G Elbaum and Willem Visser

Pcv: A Point Cloud-Based Network Verifier - View paper

Arup Kumar Sarker, Farzana Yasmin Ahmad and Matthew B Dwyer

Physcov: Physical Test Coverage For Autonomous Vehicles - View paper

Carl Hildebrandt, Meriel von Stein and Sebastian G Elbaum
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023

Pitfalls In Experiments With Dnn4Se: An Analysis Of The State Of The Practice - View paper

Sira Vegas and Sebastian G Elbaum

Safe Pomdp Online Planning Via Shielding - View paper

Shili Sheng, David Parker and Lu Feng

Sibyl: Improving Software Engineering Tools With Smt Selection - View paper

Will Leeson, Matthew B Dwyer and Antonio Filieri
45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023

Trust-Aware Motion Planning For Human-Robot Collaboration Under Distribution Temporal Logic Specifications - View paper

Pian Yu, Shuyang Dong, Shili Sheng, Lu Feng and Marta Kwiatkowska

Zipr: A High-Impact, Robust, Open-Source, Multi-Platform, Static Binary Rewriter - View paper

Jason D Hiser, Anh NguyenTuong and Jack W Davidson

2022

A Brief Survey On Oracle-Based Test Adequacy Metrics - View paper

Soneya Binta Hossain and Matthew B Dwyer

A Study On Learning And Simulating Personalized Car-Following Driving Style - View paper

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang and Lu Feng
25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022

Algorithm Selection For Software Verification Using Graph Attention Networks

Will Leeson and Matthew B Dwyer

Dazzle-Attack: Anti-Forensic Server-Side Attack Via Fail-Free Dynamic State Machine - View paper

Bora Lee, Kyungchan Lim, JiHo Lee, Chijung Jung, Doowon Kim, Kyu Hyung Lee, Haehyun Cho and Yonghwi Kwon
Information Security Applications - 23rd International Conference, WISA 2022, Jeju Island, South Korea, August 24-26, 2022, Revised Selected Papers

Drivefuzz: Discovering Autonomous Driving Bugs Through Driving Quality-Guided Fuzzing - View paper

Seulbae Kim, Major Liu, Junghwan John Rhee, Yuseok Jeon, Yonghwi Kwon and Chung Hwan Kim
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022

Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-Event Network Simulations - View paper

Minh Vu, Lisong Xu, Sebastian G Elbaum, Wei Sun and Kevin Qiao

Enjoy The Ride Consciously With Cawa: Context-Aware Advisory Warnings For Automated Driving - View paper

Erfan Pakdamanian, Erzhen Hu, Shili Sheng, Sarit Kraus, Seongkook Heo and Lu Feng
AutomotiveUI '22: 14th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seoul, Republic of Korea, September 17 - 20, 2022

Finding Property Violations Through Network Falsification: Challenges, Adaptations And Lessons Learned From Openpilot - View paper

Meriel von Stein and Sebastian G Elbaum
37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022

Graves-Cpa: A Graph-Attention Verifier Selector (Competition Contribution) - View paper

Will Leeson and Matthew B Dwyer
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

Hiding Critical Program Components Via Ambiguous Translation - View paper

Chijung Jung, Doowon Kim, An Chen, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee and Yonghwi Kwon
44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022

Logic-Based Reward Shaping For Multi-Agent Reinforcement Learning - View paper

Ingy ElsayedAly and Lu Feng

Message From The Icse 2022 General Chair - View paper

Matthew B Dwyer
44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, Pittsburgh, PA, USA, May 22-24, 2022

Optimal Finite-State Monitoring Of Partial Traces - View paper

Peeyush Kushwaha, Rahul Purandare and Matthew B Dwyer
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings

Planning For Automated Vehicles With Human Trust - View paper

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker and Lu Feng

Poster: Automated Discovery Of Sensor Spoofing Attacks On Robotic Vehicles - View paper

Kyeongseok Yang, Sudharssan Mohan, Yonghwi Kwon, Heejo Lee and Chung Hwan Kim
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022

Preparing Software Engineers To Develop Robot Systems - View paper

Carl Hildebrandt, Meriel von Stein, Trey Woodlief and Sebastian G Elbaum
2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2022, Pittsburgh, PA, USA, May 22-24, 2022

Semantic Image Fuzzing Of Ai Perception Systems - View paper

Trey Woodlief, Sebastian G Elbaum and Kevin Sullivan
44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022

Start: A Framework For Trusted And Resilient Autonomous Vehicles (Practical Experience Report) - View paper

Kevin Leach, Christopher Steven Timperley, Kevin Angstadt, Anh NguyenTuong, Jason Hiser, Aaron Paulos, Partha P Pal, Patrick Hurley, Carl Thomas, Jack W Davidson, Stephanie Forrest, Claire Le Goues and Westley Weimer
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022

Swarmflawfinder: Discovering And Exploiting Logic Flaws Of Swarm Algorithms - View paper

Chijung Jung, Ali Ahad, Yuseok Jeon and Yonghwi Kwon
43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022

Toward Policy Explanations For Multi-Agent Reinforcement Learning - View paper

Kayla Boggess, Sarit Kraus and Lu Feng

Towards Developing Safety Assurance Cases For Learning-Enabled Medical Cyber-Physical Systems - View paper

Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu Feng and Homa Alemzadeh

White-Box Testing Of Nlp Models With Mask Neuron Coverage - View paper

Arshdeep Sekhon, Yangfeng Ji, Matthew B Dwyer and Yanjun Qi

2021

A Graduate Curriculum In Cyber-Physical Systems - View paper

John A Stankovic, Homa Alemzadeh, Brad Campbell, John C Lach, Lu Feng, Cody Fleming, Jonathan L Goodall, Toluwalogo Odumosu, Daniel Quinn, Yuan Tian and Kelley Tobler

A Novel Spatial-Temporal Specification-Based Monitoring System For Smart Cities - View paper

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A Stankovic and Lu Feng

A Smart City Simulation Platform With Uncertainty - View paper

Shuyang Dong, Meiyi Ma and Lu Feng
ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021

An Empirical Study Of Bugs In Webassembly Compilers - View paper

Alan Romano, Xinyue Liu, Yonghwi Kwon and Weihang Wang
36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021

Artifact: Distribution-Aware Testing Of Neural Networks Using Generative Models - View paper

Swaroopa Dola, Matthew B Dwyer and Mary Lou Soffa
43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021

Artifact: Reducing Dnn Properties To Enable Falsification With Adversarial Attacks - View paper

David Shriver, Sebastian G Elbaum and Matthew B Dwyer
43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021

Automated Environment Reduction For Debugging Robotic Systems - View paper

Meriel von Stein and Sebastian G Elbaum
IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021

Bigmap: Future-Proofing Fuzzers With Efficient Large Maps - View paper

Alif Ahmed, Jason D Hiser, Anh NguyenTuong, Jack W Davidson and Kevin Skadron
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021

Breaking Through Binaries: Compiler-Quality Instrumentation For Better Binary-Only Fuzzing

Stefan Nagy, Anh NguyenTuong, Jason D Hiser, Jack W Davidson and Matthew Hicks
30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021

C^2Sr: Cybercrime Scene Reconstruction For Post-Mortem Forensic Analysis

Yonghwi Kwon, Weihang Wang, Jinho Jung, Kyu Hyung Lee and Roberto Perdisci
28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021

Deeptake: Prediction Of Driver Takeover Behavior Using Multimodal Data - View paper

Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus and Lu Feng
CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama, Japan, May 8-13, 2021

Defeating Program Analysis Techniques Via Ambiguous Translation - View paper

Chijung Jung, Doowon Kim, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee and Yonghwi Kwon
36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021

Distribution Models for Falsification and Verification of DNNs

Felipe Toledo, David Shriver, Sebastian G Elbaum and Matthew B Dwyer
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Distribution-Aware Testing Of Neural Networks Using Generative Models

Swaroopa Dola, Matthew B Dwyer and Mary Lou Soffa

Dnnv: A Framework For Deep Neural Network Verification

David Shriver, Sebastian G Elbaum and Matthew B Dwyer

Freyja: A Full Multirotor System For Agile & Precise Outdoor Flights - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler
IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021

Fuzzing Mobile Robot Environments For Fast Automated Crash Detection - View paper

Trey Woodlief, Sebastian G Elbaum and Kevin Sullivan
IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021

Medirl: Predicting The Visual Attention Of Drivers Via Maximum Entropy Deep Inverse Reinforcement Learning - View paper

Sonia Baee, Erfan Pakdamanian, Inki Kim, Lu Feng, Vicente Ordonez and Laura E Barnes
2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021

Message From The Program Chairs - View paper

Mary Lou Soffa and Ayal Zaks
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2021, Seoul, South Korea, February 27 - March 3, 2021

Multi-Objective Controller Synthesis With Uncertain Human Preferences

Shenghui Chen, Kayla Boggess, David Parker and Lu Feng

Osprey: Recovery Of Variable And Data Structure Via Probabilistic Analysis For Stripped Binary - View paper

Zhuo Zhang, Yapeng Ye, Wei You, Guanhong Tao, WenChuan Lee, Yonghwi Kwon, Yousra Aafer and Xiangyu Zhang
42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021

Physframe: Type Checking Physical Frames Of Reference For Robotic Systems - View paper

Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang and Sebastian G Elbaum
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021

Reducing Dnn Properties To Enable Falsification With Adversarial Attacks - View paper

David Shriver, Sebastian G Elbaum and Matthew B Dwyer
43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021

Safe Multi-Agent Reinforcement Learning Via Shielding

Ingy ElsayedAly, Suda Bharadwaj, Christopher Amato, Rudiger Ehlers, Ufuk Topcu and Lu Feng
AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021

Same Coverage, Less Bloat: Accelerating Binary-Only Fuzzing With Coverage-Preserving Coverage-Guided Tracing - View paper

Stefan Nagy, Anh NguyenTuong, Jason D Hiser, Jack W Davidson and Matthew Hicks
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021

Security Analysis On Practices Of Certificate Authorities In The Https Phishing Ecosystem - View paper

Doowon Kim, Haehyun Cho, Yonghwi Kwon, Adam Doupe, Sooel Son, GailJoon Ahn and Tudor Dumitras
ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021

Self-Checking Deep Neural Networks In Deployment

Yan Xiao, Ivan Beschastnikh, David S Rosenblum, Changsheng Sun, Sebastian G Elbaum, Yun Lin and Jin Song Dong

Softmark: Software Watermarking Via A Binary Function Relocation - View paper

Honggoo Kang, Yonghwi Kwon, Sangjin Lee and Hyungjoon Koo
ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6 - 10, 2021

Spinner: Automated Dynamic Command Subsystem Perturbation

Meng Wang, Chijung Jung, Ali Ahad and Yonghwi Kwon

Swarmbug: Debugging Configuration Bugs In Swarm Robotics - View paper

Chijung Jung, Ali Ahad, Jinho Jung, Sebastian G Elbaum and Yonghwi Kwon
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021

Tls 1.3 In Practice: How Tls 1.3 Contributes To The Internet - View paper

Hyunwoo Lee, Doowon Kim and Yonghwi Kwon
WWW '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021

Toward Formal Methods For Smart Cities - View paper

Meiyi Ma, John A Stankovic and Lu Feng

Trace: Enterprise-Wide Provenance Tracking For Real-Time Apt Detection - View paper

Hassaan Irshad, Gabriela F Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Kyu Hyung Lee, Jignesh Patel, Somesh Jha, Yonghwi Kwon, Dongyan Xu and Xiangyu Zhang

Trust-Based Route Planning For Automated Vehicles - View paper

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman and Lu Feng
ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021

Using Symbolic States to Infer Numerical Invariants - View paper

Thanhvu Nguyen, Kim Hao Nguyen, Matthew B Dwyer
IEEE Transactions on Software Engineering, USA, August 24, 2021

World-In-The-Loop Simulation For Autonomous Systems Validation - View paper

Carl Hildebrandt and Sebastian G Elbaum
IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021

2020

A Language For Autonomous Vehicles Testing Oracles

Ana Nora Evans, Mary Lou Soffa and Sebastian Elbaum

Blending Kinematic And Software Models For Tighter Reachability Analysis - View paper

Carl Hildebrandt, Sebastian G Elbaum and Nicola Bezzo
ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020

Characterizing User Responses To Failures In Aerial Autonomous Systems - View paper

Siya Kunde, Sebastian G Elbaum and Brittany A Duncan

Citypm: Predictive Monitoring With Logic-Calibrated Uncertainty For Smart Cities

Meiyi Ma, John A Stankovic, Ezio Bartocci and Lu Feng

Conditional Quantitative Program Analysis - View paper

Mitchell Gerrard, Mateus Borges, Matthew B Dwyer, Antonio Fillier
IEEE Transactions on Software Engineering, USA, August 14, 2020

Deep Learning & Software Engineering: State Of Research And Future Directions

Prem Devanbu, Matthew B Dwyer, Sebastian G Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh and Xiangyu Zhang

Deep Learning & Software Engineering: State Of Research And Future Directions

Prem Devanbu, Matthew B Dwyer, Sebastian G Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh and Xiangyu Zhang

Dynamic Path Generation For Multirotor Aerial Docking In Forward Flight - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler
59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020

Fast Eco Leakage Optimization Using Graph Convolutional Network - View paper

Wonjae Lee, Yonghwi Kwon and Youngsoo Shin
GLSVLSI '20: Great Lakes Symposium on VLSI 2020, Virtual Event, China, September 7-9, 2020

Feasible And Stressful Trajectory Generation For Mobile Robots - View paper

Carl Hildebrandt, Sebastian G Elbaum, Nicola Bezzo and Matthew B Dwyer
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020

Investigating Controller Evolution And Divergence Through Mining And Mutation(^Mbox*) - View paper

Balaji Balasubramaniam, Hamid Bagheri, Sebastian G Elbaum and Justin M Bradley
11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020

Is Rust Used Safely By Software Developers?

Ana Nora Evans, Bradford Campbell and Mary Lou Soffa

Multirotor Docking With An Airborne Platform - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler
Experimental Robotics - The 17th International Symposium, ISER 2020, La Valletta, Malta, November 9-12, 2020 (postponed to 2021)

Optimal Runtime Verification Of Finite State Properties Over Lossy Event Streams

Peeyush Kushwaha, Rahul Purandare and Matthew B Dwyer

Pmp: Cost-Effective Forced Execution With Probabilistic Memory Pre-Planning - View paper

Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Harmon and Xiangyu Zhang
2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020

Pre-Layout Clock Tree Estimation And Optimization Using Artificial Neural Network - View paper

Sunwha Koh, Yonghwi Kwon and Youngsoo Shin
ISLPED '20: ACM/IEEE International Symposium on Low Power Electronics and Design, Boston, Massachusetts, August 10-12, 2020

Predictive Monitoring With Uncertainty For Deep Learning Enabled Smart Cities: Poster Abstract - View paper

Meiyi Ma, Ezio Bartocci, John A Stankovic and Lu Feng
SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020

Probabilistic Conditional System Invariant Generation With Bayesian Inference

Meriel Stein, Sebastian G Elbaum, Lu Feng and Shili Sheng

Sastl: Spatial Aggregation Signal Temporal Logic For Runtime Monitoring In Smart Cities - View paper

Meiyi Ma, Ezio Bartocci, Eli Lifland, John A Stankovic and Lu Feng
11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020

Stlnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks

Meiyi Ma, Ji Gao, Lu Feng and John A Stankovic
Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual

Systematic Generation Of Diverse Benchmarks For Dnn Verification - View paper

Dong Xu, David Shriver, Matthew B Dwyer and Sebastian G Elbaum
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Tardis: Rolling Back The Clock On Cms-Targeting Cyber Attacks - View paper

Ranjita Pai Kasturi, Yiting Sun, Ruian Duan, Omar Alrawi, Ehsan Asdar, Victor Zhu, Yonghwi Kwon and Brendan Saltaformaggio
2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020

Testing Deep Neural Networks (Keynote) - View paper

Mary Lou Soffa
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume

Toward Minimum Startle After Take-Over Request: A Preliminary Study Of Physiological Data - View paper

Erfan Pakdamanian, Nauder Namaky, Shili Sheng, Inki Kim, James Arthur Coan and Lu Feng
Adjunct Proceedings of the 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2020, Virtual Event, Washington, DC, USA, September 21-22, 2020

Towards In-Flight Transfer Of Payloads Between Multirotors - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler

Towards Personalized Explanation Of Robotic Planning Via User Feedback

Kayla Boggess, Shenghui Chen and Lu Feng

Towards Transparent Robotic Planning Via Contrastive Explanations - View paper

Shenghui Chen, Kayla Boggess and Lu Feng
IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021

2019

A Case Study Of Trust On Autonomous Driving - View paper

Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim and Lu Feng
2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019

A Logic-Based Learning Approach To Explore Diabetes Patient Behaviors - View paper

Josephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi and Lu Feng
Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings

A Statistics-Based Performance Testing Methodology For Cloud Applications - View paper

Sen He, Glenna Manns, John Saunders, Wei Wang, Lori L Pollock and Mary Lou Soffa
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019

Alpaca: A Large Portfolio-Based Alternating Conditional Analysis - View paper

Mitchell J Gerrard and Matthew B Dwyer
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019

Bda: Practical Dependence Analysis For Binary Executables By Unbiased Whole-Program Path Sampling And Per-Path Abstract Interpretation - View paper

Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon and Xiangyu Zhang

Clock Gating Synthesis Of Netlist With Cyclic Logic Paths - View paper

Yonghwi Kwon, Inhak Han and Youngsoo Shin
Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019

Conex: Efficient Exploration Of Big-Data System Configurations For Better Performance

Rahul Krishna, Chong Tang, Kevin J Sullivan and Baishakhi Ray

Cubismo: Decloaking Server-Side Malware Via Cubist Program Analysis - View paper

Abbas NaderiAfooshteh, Yonghwi Kwon, Anh NguyenTuong, Mandana BagheriMarzijarani and Jack W Davidson
Proceedings of the 35th Annual Computer Security Applications Conference, ACSAC 2019, San Juan, PR, USA, December 09-13, 2019

Determining Timing Parameters For The Code Generation From Platform-Independent Timed Models - View paper

BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee

Efficient Systematic Testing Of Network Protocols With Temporal Uncertain Events - View paper

Minh Vu, Lisong Xu, Sebastian G Elbaum, Wei Sun and Kevin Qia
2019 IEEE Conference on Computer Communications, INFOCOM 2019, Paris, France, April 29 - May 2, 2019

Evaluating Recommender System Stability With Influence-Guided Fuzzing - View paper

David Shriver, Sebastian G Elbaum, Matthew B Dwyer and David S Rosenblum
The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019

Eyecar: Modeling The Visual Attention Allocation Of Drivers In Semi-Autonomous Vehicles

Sonia Baee, Erfan Pakdamanian, Vicente Ordonez, Inki Kim, Lu Feng and Laura E Barnes

Faster Biclique Mining In Near-Bipartite Graphs - View paper

Blair D Sullivan, Andrew van der Poel and Trey Woodlief
Analysis of Experimental Algorithms - Special Event, SEA(^2) 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers

Formal Language Constraints For Markov Decision Processes

Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott and Matthew B Dwyer

Malmax: Multi-Aspect Execution For Automated Dynamic Web Server Malware Analysis - View paper

Abbas NaderiAfooshteh, Yonghwi Kwon, Anh NguyenTuong, Ali RazmjooQalaei, MohammadReza ZamiriGourabi and Jack W Davidson
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019

Model-Agnostic And Efficient Exploration Of Numerical State Space Of Real-World Tcp Congestion Control Implementations

Wei Sun, Lisong Xu, Sebastian G Elbaum and Di Zhao
16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019

Performance Modeling And Verification Of Load Balancing In Cloud Systems Using Formal Methods - View paper

Shenghui Chen, Zhiming Fan, Haiying Shen and Lu Feng
16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems Workshops, MASS Workshops 2019, Monterey, CA, USA, November 4-7, 2019

Probabilistic Disassembly - View paper

Kenneth A Miller, Yonghwi Kwon, Yi Sun, Zhuo Zhang, Xiangyu Zhang and Zhiqiang Lin
Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019

Refactoring Neural Networks For Verification

David Shriver, Dong Xu, Sebastian G Elbaum and Matthew B Dwyer

Syminfer: Inferring Program Invariants Using Symbolic States

ThanhVu Nguyen, Matthew B Dwyer and Willem Visser

The State Of Icse - View paper

Sebastian G Elbaum

2018

A Drone By Any Other Name: Purposes, End-User Trustworthiness, And Framing, But Not Terminology, Affect Public Support For Drones - View paper

Lisa M PytlikZillig, Brittany A Duncan, Sebastian G Elbaum and Carrick Detweiler

Adbudgetkiller: Online Advertising Budget Draining Attack - View paper

I Luk Kim, Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, Weijie Meng and Xiangyu Zhang
Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018

Assessing The Type Annotation Burden - View paper

JohnPaul Ore, Sebastian G Elbaum, Carrick Detweiler and Lambros Karkazis
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018

Attack-Resilient Sensor Fusion For Cooperative Adaptive Cruise Control - View paper

Pengyuan Lu, Limin Zhang, B Brian Park and Lu Feng
21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018

Black-Box Generation Of Adversarial Text Sequences To Evade Deep Learning Classifiers - View paper

Ji Gao, Jack Lanchantin, Mary Lou Soffa and Yanjun Qi
2018 IEEE Security and Privacy Workshops, SP Workshops 2018, San Francisco, CA, USA, May 24, 2018

Cityresolver: A Decision Support System For Conflict Resolution In Smart Cities - View paper

Meiyi Ma, John A Stankovic and Lu Feng
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018

Counterexamples For Robotic Planning Explained In Structured Language - View paper

Lu Feng, Mahsa Ghasemi, KaiWei Chang and Ufuk Topcu
2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018

Damon: A Data Authenticity Monitoring System For Diabetes Management - View paper

William Young, John Corbett, Matthew S Gerber, Stephen Patek and Lu Feng
2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, IoTDI 2018, Orlando, FL, USA, April 17-20, 2018

Fire-Aware Planning Of Aerial Trajectories And Ignitions - View paper

Evan Beachly, Carrick Detweiler, Sebastian G Elbaum, Brittany A Duncan, Carl Hildebrandt, Dirac Twidwell and Craig Allen
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018

In-Air Exchange Of Small Payloads Between Multirotor Aerial Systems - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler
Proceedings of the 2018 International Symposium on Experimental Robotics, ISER 2018, Buenos Aires, Argentina, November 5-8, 2018

Investigation Of Communicative Flight Paths For Small Unmanned Aerial Systems * This Work Was Supported By Nsf Nri 1638099 - View paper

Brittany A Duncan, Evan Beachly, Alisha Bevins, Sebastian G Elbaum and Carrick Detweiler
2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018

Kernel-Supported Cost-Effective Audit Logging For Causality Tracking

Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu and Somesh Jha
2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018

Limitations Of Emulating Realistic Network Environments For Correctness Testing Of Internet Applications - View paper

Wei Sun, Lisong Xu and Sebastian G Elbaum
2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018

Lprov: Practical Library-Aware Provenance Tracing - View paper

Fei Wang, Yonghwi Kwon, Shiqing Ma, Xiangyu Zhang and Dongyan Xu
Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018

Mci : Modeling-Based Causality Inference In Audit Logging For Attack Investigation

Yonghwi Kwon, Fei Wang, Weihang Wang, Kyu Hyung Lee, WenChuan Lee, Shiqing Ma, Xiangyu Zhang, Dongyan Xu, Somesh Jha, Gabriela F Ciocarlie, Ashish Gehani and Vinod Yegneswaran
25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018

Phys: Probabilistic Physical Unit Assignment And Inconsistency Detection - View paper

Sayali Kate, JohnPaul Ore, Xiangyu Zhang, Sebastian G Elbaum and Zhaogui Xu
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018

Redefining Prioritization: Continuous Prioritization For Continuous Integration - View paper

Jingjing Liang, Sebastian G Elbaum and Gregg Rothermel
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018

Scalably Testing Congestion Control Algorithms Of Real-World Tcp Implementations - View paper

Wei Sun, Lisong Xu and Sebastian G Elbaum
2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018

Searching For High-Performing Software Configurations With Metaheuristic Algorithms - View paper

Chong Tang, Kevin J Sullivan and Baishakhi Ray
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018

Software Fault Isolation For Robust Compilation

Ana Nora Evans

Structurally Defined Conditional Data-Flow Static Analysis - View paper

Elena Sherman and Matthew B Dwyer
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Testing Cloud Applications Under Cloud-Uncertainty Performance Effects - View paper

Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet Srivastava, Mary Lou Soffa and Lori L Pollock
11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, V'asteraas, Sweden, April 9-13, 2018

The Effect Of Whole-Body Haptic Feedback On Driver'S Perception In Negotiating A Curve

Erfan Pakdamanian, Lu Feng and Inki Kim

Toward The Development Of Richer Properties For Recommender Systems - View paper

David Shriver
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018

Towards Aerial Recovery Of Parachute-Deployed Payloads - View paper

Ajay Shankar, Sebastian G Elbaum and Carrick Detweiler
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018

Towards Code-Aware Robotic Simulation: Vision Paper - View paper

JohnPaul Ore, Carrick Detweiler and Sebastian G Elbaum
Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, Gothenburg, Sweden, May 28, 2018

Transient Clock Power Estimation Of Pre-Cts Netlist - View paper

Yonghwi Kwon, Jinwook Jung, Inhak Han and Youngsoo Shin
IEEE International Symposium on Circuits and Systems, ISCAS 2018, 27-30 May 2018, Florence, Italy

Unmanned Aerial Auger For Underground Sensor Installation - View paper

Yue Sun, Adam Plowcha, Mark Nail, Sebastian G Elbaum, Benjamin Terry and Carrick Detweiler
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise - View paper

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Theo Laurent, Benjamin C Pierce, Marco Stronati and Andrew Tolmach
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018

Xandra: An Autonomous Cyber Battle System For The Cyber Grand Challenge - View paper

Anh NguyenTuong, David Melski, Jack W Davidson, Michele Co, William H Hawkins, Jason D Hiser, Derek Morris, Ducson Nguyen and Eric F Rizzi

2017

At The End Of Synthesis: Narrowing Program Candidates - View paper

David Shriver, Sebastian G Elbaum and Kathryn T Stolee
39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, ICSE-NIER 2017, Buenos Aires, Argentina, May 20-28, 2017

Automated Synthesis And Dynamic Analysis Of Tradeoff Spaces For Object-Relational Mapping - View paper

Hamid Bagheri, Chong Tang and Kevin J Sullivan

Comprehensive Failure Characterization - View paper

Mitchell J Gerrard and Matthew B Dwyer
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017

Cpr: Cross Platform Binary Code Reuse Via Platform Independent Trace Program - View paper

Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang and Dongyan Xu
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017

Dimensional Inconsistencies In Code And Ros Messages: A Study Of 5.9M Lines Of Code - View paper

JohnPaul Ore, Sebastian G Elbaum and Carrick Detweiler
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017

Formally Secure Compilation Of Unsafe Low-Level Components (Extended Abstract)

Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Theo Laurent, Arthur Azevedo de Amorim, Benjamin C Pierce and Andrew Tolmach

Improving The Cost-Effectiveness Of Symbolic Testing Techniques For Transport Protocol Implementations Under Packet Dynamics - View paper

Wei Sun, Lisong Xu and Sebastian G Elbaum
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017

Improving Timeliness And Visibility In Publishing Software Engineering Research - View paper

Matthew B Dwyer

Inferring And Monitoring Invariants In Robotic Systems - View paper

Hengle Jiang, Sebastian G Elbaum and Carrick Detweiler

Interpreted Formalisms For Configurations

Chong Tang, Kevin J Sullivan, Jian Xiang, Trent Weiss and Baishakhi Ray

Is My Software Consistent With The Real World? - View paper

Jian Xiang, John C Knight and Kevin J Sullivan
18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017

J-Force: Forced Execution On Javascript - View paper

Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang and Dongyan Xu
Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017

Lightweight Detection Of Physical Unit Inconsistencies Without Program Annotations - View paper

JohnPaul Ore, Carrick Detweiler and Sebastian G Elbaum
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017

Mixr: Flexible Runtime Rerandomization For Binaries - View paper

William H Hawkins, Anh NguyenTuong, Jason D Hiser, Michele Co and Jack W Davidson
Proceedings of the 2017 Workshop on Moving Target Defense, MTD@CCS 2017, Dallas, TX, USA, October 30, 2017

Online Control Adaptation For Safe And Secure Autonomous Vehicle Operations - View paper

Mahmoud Elnaggar, Jason D Hiser, Tony X Lin, Anh NguyenTuong, Michele Co, Jack W Davidson and Nicola Bezzo
2017 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2017, Pasadena, CA, USA, July 24-27, 2017

Pad: Programming Third-Party Web Advertisement Censorship - View paper

Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, WenChuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang and Patrick Eugster
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017

Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool - View paper

JohnPaul Ore, Carrick Detweiler and Sebastian G Elbaum
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017

Rate Impact Analysis In Robotic Systems - View paper

Nishant Sharma, Sebastian G Elbaum and Carrick Detweiler
2017 IEEE International Conference on Robotics and Automation, ICRA 2017, Singapore, Singapore, May 29 - June 3, 2017

Revarm: A Platform-Agnostic Arm Binary Rewriter For Security Applications - View paper

Taegyu Kim, Chung Hwan Kim, Hongjun Choi, Yonghwi Kwon, Brendan Saltaformaggio, Xiangyu Zhang and Dongyan Xu
Proceedings of the 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, December 4-8, 2017

Runtime Monitoring Of Safety And Performance Requirements In Smart Cities - View paper

Meiyi Ma, John A Stankovic and Lu Feng
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, SafeThings@SenSys 2017, Delft, The Netherlands, November 5, 2017

Securing Binary Code - View paper

William H Hawkins, Jason D Hiser, Anh NguyenTuong, Michele Co and Jack W Davidson

Self Destructing Exploit Executions Via Input Perturbation

Yonghwi Kwon, Brendan Saltaformaggio, I Luk Kim, Kyu Hyung Lee, Xiangyu Zhang and Dongyan Xu
24th Annual Network and Distributed System Security Symposium, NDSS 2017, San Diego, California, USA, February 26 - March 1, 2017

Towards Designing Effective Data Persistence Through Tradeoff Space Analysis - View paper

Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk and Kevin J Sullivan
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume

Towards Self-Verification In Finite Difference Code Generation - View paper

Jan Huckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F Siegel, Matthew B Dwyer and Paul D Hovland
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017

Uas-Rx Interface For Mission Planning, Fire Tracking, Fire Ignition, And Real-Time Updating - View paper

Evan Beachly, Carrick Detweiler, Sebastian G Elbaum, Dirac Twidwell and Brittany A Duncan
IEEE International Symposium on Safety, Security and Rescue Robotics, SSRR 2017, Shanghai, China, October 11-13, 2017

Zipr++: Exceptional Binary Rewriting - View paper

Jason Hiser, Anh NguyenTuong, William H Hawkins, Matthew McGill, Michele Co and Jack W Davidson
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, FEAST@CCS 2017, Dallas, TX, USA, November 3, 2017

Zipr: Efficient Static Binary Rewriting For Security - View paper

William H Hawkins, Jason D Hiser, Michele Co, Anh NguyenTuong and Jack W Davidson
47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017

2016

A Micro-Uas To Start Prescribed Fires - View paper

Evan Beachly, James Higgins, Christian Laney, Sebastian G Elbaum, Carrick Detweiler, Craig Allen and Dirac Twidwell
International Symposium on Experimental Robotics, ISER 2016, Tokyo, Japan, October 3-6, 2016

A System For The Security Protection Of Embedded Binary Programs - View paper

Jack W Davidson, Jason D Hiser, Anh NguyenTuong, Clark L Coleman, William H Hawkins, John C Knight, Benjamin D Rodes and Ashlie B Hocking
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016

Apex: Automatic Programming Assignment Error Explanation - View paper

Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang and Gustavo RodriguezRivera
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016

Civl: Applying A General Concurrency Verification Framework To C/Pthreads Programs (Competition Contribution) - View paper

Manchun Zheng, John G Edenhofner, Ziqing Luo, Mitchell J Gerrard, Michael S Rogers, Matthew B Dwyer and Stephen F Siegel
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Co-Diagnosing Configuration Failures In Co-Robotic Systems - View paper

Adam Taylor, Sebastian G Elbaum and Carrick Detweiler
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016

Code Search With Input/Output Queries: Generalizing, Ranking, And Assessment - View paper

Kathryn T Stolee, Sebastian G Elbaum and Matthew B Dwyer

Connecting And Serving The Software Engineering Community - View paper

Matthew B Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, A J Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F Siegel, Tao Xie and Charles Zhang

Diversity In Cybersecurity - View paper

John C Knight, Jack W Davidson, Anh NguyenTuong, Jason Hiser and Michele Co

Double Helix And Raven: A System For Cyber Fault Tolerance And Recovery - View paper

Michele Co, Jack W Davidson, Jason D Hiser, John C Knight, Anh NguyenTuong, Westley Weimer, Jonathan Burket, Gregory L Frazier, Tiffany M Frazier, Bruno Dutertre, Ian A Mason, Natarajan Shankar and Stephanie Forrest
Proceedings of the 11th Annual Cyber and Information Security Research Conference, CISRC 2016, Oak Ridge, TN, USA, April 5-7, 2016

Eavesdropping On Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic

Brendan Saltaformaggio, Hongjun Choi, Kristen Johnson, Yonghwi Kwon, Qi Zhang, Xiangyu Zhang, Dongyan Xu and John Qian
10th USENIX Workshop on Offensive Technologies, WOOT 16, Austin, TX, USA, August 8-9, 2016

Finding Flaws In Natural Language Requirements - View paper

Matthew B Dwyer

Human-Interpretable Diagnostic Information For Robotic Planning Systems - View paper

Lu Feng, Laura R Humphrey, Insup Lee and Ufuk Topcu
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016

Ldx: Causality Inference By Lightweight Dual Execution - View paper

Yonghwi Kwon, Dohyeong Kim, William N Sumner, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang and Dongyan Xu
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, Atlanta, GA, USA, April 2-6, 2016

Model-Driven Synthesis Of Formally Precise, Stylized Software Architectures - View paper

Hamid Bagheri and Kevin J Sullivan

On The Techniques We Create, The Tools We Build, And Their Misalignments: A Study Of Klee - View paper

Eric F Rizzi, Sebastian G Elbaum and Matthew B Dwyer
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016

Our Journey To Becoming Agile: Experiences With Agile Transformation In Samsung Electronics - View paper

Suhyun Kim, Hyungjong Lee, Yonghwi Kwon, Myeongsang Yu and Hyeeun Jo
23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016

Synthesis Of Human-In-The-Loop Control Protocols For Autonomous Systems - View paper

Lu Feng, Clemens Wiltsche, Laura R Humphrey and Ufuk Topcu

Synthesis Of Logic Interpretations - View paper

Jian Xiang, John C Knight and Kevin J Sullivan
17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016

Webranz: Web Page Randomization For Better Advertisement Delivery And Web-Bot Prevention - View paper

Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang and Patrick Th Eugster
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016

2015

A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps - View paper

Sanjian Chen, Lu Feng, Michael R Rickels, Amy Peleckis, Oleg Sokolsky and Insup Lee
2015 International Conference on Healthcare Informatics, ICHI 2015, Dallas, TX, USA, October 21-23, 2015

Autonomous Aerial Water Sampling - View paper

JohnPaul Ore, Sebastian G Elbaum, Amy Burgin and Carrick Detweiler

Civl: Formal Verification Of Parallel Programs - View paper

Manchun Zheng, Michael S Rogers, Ziqing Luo, Matthew B Dwyer and Stephen F Siegel
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

Civl: The Concurrency Intermediate Verification Language - View paper

Stephen F Siegel, Manchun Zheng, Ziqing Luo, Timothy K Zirkel, Andre V Marianiello, John G Edenhofner, Matthew B Dwyer and Michael S Rogers
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2015, Austin, TX, USA, November 15-20, 2015

Controller Synthesis For Autonomous Systems Interacting With Human Operators - View paper

Lu Feng, Clemens Wiltsche, Laura R Humphrey and Ufuk Topcu
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS 2015, Seattle, WA, USA, April 14-16, 2015

Deciding Type-Based Partial-Order Constraints For Path-Sensitive Analysis - View paper

Elena Sherman, Brady J Garvin and Matthew B Dwyer

Dual Execution For On The Fly Fine Grained Execution Comparison - View paper

Dohyeong Kim, Yonghwi Kwon, William N Sumner, Xiangyu Zhang and Dongyan Xu
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015

Editorial Journal-First Publication For The Software Engineering Community - View paper

Matthew B Dwyer and David S Rosenblum

Exploiting Domain And Program Structure To Synthesize Efficient And Precise Data Flow Analyses (T) - View paper

Elena Sherman and Matthew B Dwyer
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

How Developers Search For Code: A Case Study - View paper

Caitlin Sadowski, Kathryn T Stolee and Sebastian G Elbaum
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015

Joza: Hybrid Taint Inference For Defeating Web Application Sql Injection Attacks - View paper

Abbas NaderiAfooshteh, Anh NguyenTuong, Mandana BagheriMarzijarani, Jason D Hiser and Jack W Davidson
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015

P2C: Understanding Output Data Files Via On-The-Fly Transformation From Producer To Consumer Executions

Yonghwi Kwon, Fei Peng, Dohyeong Kim, Kyungtae Kim, Xiangyu Zhang, Dongyan Xu, Vinod Yegneswaran and John Qian
22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, February 8-11, 2015

Platform-Specific Code Generation From Platform-Independent Timed Models - View paper

BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee
2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015

Platform-Specific Timing Verification Framework In Model-Based Implementation

BaekGyu Kim, Lu Feng, Linh T X Phan, Oleg Sokolsky and Insup Lee
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015

Probabilistic Program Analysis - View paper

Matthew B Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J Gerrard, Corina S Pasareanu and Willem Visser
Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Real-World Types And Their Application - View paper

Jian Xiang, John C Knight and Kevin J Sullivan
Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings

Spd: Automatically Test Unmodified Network Programs With Symbolic Packet Dynamics - View paper

Wei Sun, Lisong Xu and Sebastian G Elbaum
2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015

State Of The Journal Editorial - View paper

Matthew B Dwyer

Test Analysis: Searching For Faults In Tests (N) - View paper

Matias Waterloo, Suzette Person and Sebastian G Elbaum
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

Towards Assurance For Plug & Play Medical Systems - View paper

Andrew L King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff and Insup Lee
Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings

2014

A Framework For Creating Binary Rewriting Tools (Short Paper) - View paper

Jason Hiser, Anh NguyenTuong, Michele Co, Benjamin D Rodes, Matthew Hall, Clark L Coleman, John C Knight and Jack W Davidson
2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014

A Framework To Advise Tests Using Tests - View paper

Yurong Wang, Suzette Person, Sebastian G Elbaum and Matthew B Dwyer
36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014

A Safety Argument Strategy For Pca Closed-Loop Systems: A Preliminary Proposal - View paper

Lu Feng, Andrew L King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky and Insup Lee
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014

Beyond The Rainbow: Self-Adaptive Failure Avoidance In Configurable Systems - View paper

Jacob Swanson, Myra B Cohen, Matthew B Dwyer, Brady J Garvin and Justin Firestone
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014

Development Context Driven Change Awareness And Analysis Framework - View paper

Anita Sarma, Joshua Branchaud, Matthew B Dwyer, Suzette Person and Neha Rungta
36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014

Dramon: Predicting Memory Bandwidth Usage Of Multi-Threaded Programs With High Accuracy And Low Overhead - View paper

Wei Wang, Tanima Dey, Jack W Davidson and Mary Lou Soffa
20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014

Exact And Approximate Probabilistic Symbolic Execution For Nondeterministic Programs - View paper

Kasper Soe Luckow, Corina S Pasareanu, Matthew B Dwyer, Antonio Filieri and Willem Visser
ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014

Exploring The Twin Peaks Using Probabilistic Verification Techniques - View paper

Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W Whalen and Insup Lee
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014

Known Unknowns: Testing In The Presence Of Uncertainty - View paper

Sebastian G Elbaum and David S Rosenblum
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014

On Crop Height Estimation With Uavs - View paper

David J Anthony, Sebastian G Elbaum, Aaron Lorenz and Carrick Detweiler
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014

Privacy And Security In A Networked World - View paper

Steven D Fraser, Djenana Campara, Michael C Fanning, Gary McGraw and Kevin J Sullivan
Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '14, Portland, OR, USA, October 20-24, 2014 - Companion Volume

Programmers' Build Errors: A Case Study (At Google) - View paper

Hyunmin Seo, Caitlin Sadowski, Sebastian G Elbaum, Edward Aftandilian and Robert W Bowdidge
36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014

Safely Reducing The Cost Of Unit Level Symbolic Execution Through Read/Write Analysis - View paper

Eric F Rizzi, Matthew B Dwyer and Sebastian G Elbaum

Solving The Search For Source Code - View paper

Kathryn T Stolee, Sebastian G Elbaum and Daniel Dobos

Techniques For Improving Regression Testing In Continuous Integration Development Environments - View paper

Sebastian G Elbaum, Gregg Rothermel and John Penix
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014

The Past, Present, And Future Of Moocs And Their Relevance To Software Engineering - View paper

Balakrishnan Dasarathy, Kevin J Sullivan, Douglas C Schmidt, Douglas H Fisher and Adam A Porter
Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014

To B Or Not To B: Blessing Os Commands With Software Dna Shotgun Sequencing - View paper

Anh NguyenTuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W Davidson and John C Knight
2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014

Trademaker: Automated Dynamic Analysis Of Synthesized Tradespaces - View paper

Hamid Bagheri, Chong Tang and Kevin J Sullivan
36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014

2013

A Modal Specification Approach For On-Demand Medical Systems - View paper

Andrew L King, Lu Feng, Oleg Sokolsky and Insup Lee
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

An Automated Analysis Methodology To Detect Inconsistencies In Web Services With Wsdl Interfaces - View paper

Marc Fisher II, Sebastian G Elbaum and Gregg Rothermel

Assuring The Safety Of On-Demand Medical Cyber-Physical Systems - View paper

Andrew L King, Lu Feng, Oleg Sokolsky and Insup Lee
1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, August 19-20, 2013

Bottom-Up Model-Driven Development - View paper

Hamid Bagheri and Kevin J Sullivan
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013

Cascading Verification: An Integrated Method For Domain-Specific Model Checking - View paper

Fokion Zervoudakis, David S Rosenblum, Sebastian G Elbaum and Anthony Finkelstein
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013

Discovering How End-User Programmers And Their Communities Use Public Repositories: A Study On Yahoo! Pipes - View paper

Kathryn T Stolee, Sebastian G Elbaum and Anita Sarma

Educating Diverse Computing Students At The University Of Virginia - View paper

James P Cohoon, Joanne McGrath Cohoon and Mary Lou Soffa

Identification, Impact, And Refactoring Of Smells In Pipe-Like Web Mashups - View paper

Kathryn T Stolee and Sebastian G Elbaum

Marple: Detecting Faults In Path Segments Using Automatically Generated Analyses - View paper

Wei Le and Mary Lou Soffa

On The Use Of Input/Output Queries For Code Search - View paper

Kathryn T Stolee and Sebastian G Elbaum
2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Baltimore, Maryland, USA, October 10-11, 2013

Optimizing Monitoring Of Finite State Properties Through Monitor Compaction - View paper

Rahul Purandare, Matthew B Dwyer and Sebastian G Elbaum
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013

Pietrace: Platform Independent Executable Trace - View paper

Yonghwi Kwon, Xiangyu Zhang and Dongyan Xu
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

Reducing Failure Rates Of Robotic Systems Though Inferred Invariants Monitoring - View paper

Hengle Jiang, Sebastian G Elbaum and Carrick Detweiler
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013

Reqos: Reactive Static/Dynamic Compilation For Qos In Warehouse Scale Computers - View paper

Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey and Mary Lou Soffa
Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013

Resense: Mapping Dynamic Workloads Of Colocated Multithreaded Applications Using Resource Sensitivity - View paper

Tanima Dey, Wei Wang, Jack W Davidson and Mary Lou Soffa

2012

Amplifying Tests To Validate Exception Handling Code - View paper

Pingyu Zhang and Sebastian G Elbaum
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland

Compiling For Niceness: Mitigating Contention For Qos In Warehouse Scale Computers - View paper

Lingjia Tang, Jason Mars and Mary Lou Soffa
10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2012, San Jose, CA, USA, March 31 - April 04, 2012

Compositional Load Test Generation For Software Pipelines - View paper

Pingyu Zhang, Sebastian G Elbaum and Matthew B Dwyer
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012

Defense Against Stack-Based Attacks Using Speculative Stack Layout Transformation - View paper

Benjamin D Rodes, Anh NguyenTuong, Jason Hiser, John C Knight, Michele Co and Jack W Davidson
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Detecting Problematic Message Sequences And Frequencies In Distributed Systems - View paper

Charles Lucas, Sebastian G Elbaum and David S Rosenblum
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012

Extracting Conditional Component Dependence For Distributed Robotic Systems - View paper

Rahul Purandare, Javier Darsie, Sebastian G Elbaum and Matthew B Dwyer
2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012

Green: Reducing, Reusing And Recycling Constraints In Program Analysis - View paper

Willem Visser, Jaco Geldenhuys and Matthew B Dwyer
20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012

Ilr: Where'D My Gadgets Go? - View paper

Jason Hiser, Anh NguyenTuong, Michele Co, Matthew Hall and Jack W Davidson
IEEE Symposium on Security and Privacy, SP 2012, 21-23 May 2012, San Francisco, California, USA

Increasing Utilization In Modern Warehouse-Scale Computers Using Bubble-Up - View paper

Jason Mars, Lingjia Tang, Kevin Skadron, Mary Lou Soffa and Robert Hundt

Integration Testing Of Software Product Lines Using Compositional Symbolic Execution - View paper

Jiangfan Shi, Myra B Cohen and Matthew B Dwyer
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Memory Optimization Of Dynamic Binary Translators For Embedded Systems - View paper

Apala Guha, Kim M Hazelwood and Mary Lou Soffa

Performance Analysis Of Thread Mappings With A Holistic View Of The Hardware Resources - View paper

Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack W Davidson and Mary Lou Soffa
2012 IEEE International Symposium on Performance Analysis of Systems & Software, New Brunswick, NJ, USA, April 1-3, 2012

Pol: Specification-Driven Synthesis Of Architectural Code Frameworks For Platform-Based Applications - View paper

Hamid Bagheri and Kevin J Sullivan
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012

Probabilistic Symbolic Execution - View paper

Jaco Geldenhuys, Matthew B Dwyer and Willem Visser
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012

Reeact: A Customizable Virtual Execution Manager For Multicore Platforms - View paper

Wei Wang, Tanima Dey, Ryan W Moore, Mahmut Aktasoglu, Bruce R Childers, Jack W Davidson, Mary Jane Irwin, Mahmut T Kandemir and Mary Lou Soffa
Proceedings of the 8th International Conference on Virtual Execution Environments, VEE 2012, London, UK, March 3-4, 2012 (co-located with ASPLOS 2012)

Sensing Through The Continent: Towards Monitoring Migratory Birds Using Cellular Sensor Networks - View paper

David J Anthony, William P Bennett, Mehmet C Vuran, Matthew B Dwyer, Sebastian G Elbaum, Anne Lacy, Mike Engels and Walter Wehtje
The 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), IPSN 2012, Beijing, China, April 16-19, 2012

Spacemaker: Practical Formal Synthesis Of Tradeoff Spaces For Object-Relational Mapping

Hamid Bagheri, Kevin J Sullivan and Sang H Son
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012

The Hidden Models Of Model Checking - View paper

Willem Visser, Matthew B Dwyer and Michael W Whalen

Theme: A System For Testing By Hardware Monitoring Events - View paper

Kristen WalcottJustice, Jason Mars and Mary Lou Soffa
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012

Toward Semantic Search Via Smt Solver - View paper

Kathryn T Stolee and Sebastian G Elbaum
20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012

2011

A Formal Approach For Incorporating Architectural Tactics Into The Software Architecture

Hamid Bagheri and Kevin J Sullivan
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011

Automated Learning Of Probabilistic Assumptions For Compositional Reasoning - View paper

Lu Feng, Marta Z Kwiatkowska and David Parker
Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr'ucken, Germany, March 26-April 3, 2011. Proceedings

Automatic Generation Of Load Tests - View paper

Pingyu Zhang, Sebastian G Elbaum and Matthew B Dwyer
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

Bringing White-Box Testing To Service Oriented Architectures Through A Service Oriented Approach - View paper

Cesare Bartolini, Antonia Bertolino, Sebastian G Elbaum and Eda Marchetti

Bubble-Up: Increasing Utilization In Modern Warehouse Scale Computers Via Sensible Co-Locations - View paper

Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron and Mary Lou Soffa
44rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2011, Porto Alegre, Brazil, December 3-7, 2011

Characterizing Multi-Threaded Applications Based On Shared-Resource Contention - View paper

Tanima Dey, Wei Wang, Jack W Davidson and Mary Lou Soffa
IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2011, 10-12 April, 2011, Austin, TX, USA

Component-Oriented Monitoring Of Binaries For Security - View paper

Raghavendra Rajkumar, Andrew Wang, Jason Hiser, Anh NguyenTuong, Jack W Davidson and John C Knight
44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA

Directly Characterizing Cross Core Interference Through Contention Synthesis - View paper

Jason Mars, Lingjia Tang and Mary Lou Soffa
High Performance Embedded Architectures and Compilers, 6th International Conference, HiPEAC 2011, Heraklion, Crete, Greece, January 24-26, 2011. Proceedings

End-User Programmers And Their Communities: An Artifact-Based Analysis - View paper

Kathryn T Stolee, Sebastian G Elbaum and Anita Sarma
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September 22-23, 2011

Evaluating Improvements To A Meta-Heuristic Search For Constrained Interaction Testing - View paper

Brady J Garvin, Myra B Cohen and Matthew B Dwyer

Exploiting Hardware Advances For Software Testing And Debugging - View paper

Mary Lou Soffa, Kristen R Walcott and Jason Mars
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011

Focusing High School Teachers On Attracting Diverse Students To Computer Science And Engineering - View paper

James P Cohoon, Joanne McGrath Cohoon and Mary Lou Soffa
2011 Frontiers in Education Conference, FIE 2011, Rapid City, SD, USA, October 12-15, 2011

Generating Analyses For Detecting Faults In Path Segments - View paper

Wei Le and Mary Lou Soffa
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011

Jazz2: A Flexible And Extensible Framework For Structural Testing In A Java Vm - View paper

Jonathan Misurda, Bruce R Childers and Mary Lou Soffa
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011

Lattice-Based Sampling For Path Property Monitoring - View paper

Madeline Diep, Matthew B Dwyer and Sebastian G Elbaum

Lazy Preemption To Enable Path-Based Analysis Of Interrupt-Driven Code - View paper

Wei Le, Jing Yang, Mary Lou Soffa and Kamin Whitehouse
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, Waikiki, Honolulu, HI, USA, May 22, 2011

Learning-Based Compositional Verification For Synchronous Probabilistic Systems - View paper

Lu Feng, Tingting Han, Marta Z Kwiatkowska and David Parker
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Monitoring Finite State Properties: Algorithmic Approaches And Their Relative Strengths - View paper

Rahul Purandare, Matthew B Dwyer and Sebastian G Elbaum
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Peasoup: Preventing Exploits Against Software Of Uncertain Provenance (Position Paper) - View paper

Michele Co, Jack W Davidson, Jason D Hiser, John C Knight, Anh NguyenTuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde and Brian Mastropietro
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011, Waikiki, Honolulu, HI, USA, May 22, 2011

Refactoring Pipe-Like Mashups For End-User Programmers - View paper

Kathryn T Stolee and Sebastian G Elbaum
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011

Response Time Analysis Of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach - View paper

Haitao Zhu, Steve Goddard and Matthew B Dwyer
Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011

Sos: Saving Time In Dynamic Race Detection With Stationary Analysis - View paper

Du Li, Witawas Srisaan and Matthew B Dwyer
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011

Unifying Testing And Analysis Through Behavioral Coverage - View paper

Matthew B Dwyer
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011

Using Feature Locality: Can We Leverage History To Avoid Failures During Reconfiguration? - View paper

Brady J Garvin, Myra B Cohen and Matthew B Dwyer
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011

2010

A Slice-Based Decision Procedure For Type-Based Partial Orders - View paper

Elena Sherman, Brady J Garvin and Matthew B Dwyer
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Architectural Style As An Independent Variable - View paper

Hamid Bagheri, Yuanyuan Song and Kevin J Sullivan
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010

Architecture As An Independent Variable For Aspect-Oriented Application Descriptions - View paper

Hamid Bagheri and Kevin J Sullivan
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Balancing Memory And Performance Through Selective Flushing Of Software Code Caches - View paper

Apala Guha, Kim M Hazelwood and Mary Lou Soffa
Proceedings of the 2010 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2010, Scottsdale, AZ, USA, October 24-29, 2010

Better Science Through Art - View paper

Richard P Gabriel and Kevin J Sullivan
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA

Compositional Verification Of Probabilistic Systems Using Learning - View paper

Lu Feng, Marta Z Kwiatkowska and David Parker
QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010

Contention Aware Execution: Online Contention Detection And Response - View paper

Jason Mars, Neil Vachharajani, Robert Hundt and Mary Lou Soffa
Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010

Context-Aware Adaptive Applications: Fault Patterns And Their Automated Identification - View paper

Michele Sama, Sebastian G Elbaum, Franco Raimondi, David S Rosenblum and Zhimin Wang

Dbt Path Selection For Holistic Memory Efficiency And Performance - View paper

Apala Guha, Kim M Hazelwood and Mary Lou Soffa
Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010

Detecting Bugs In Register Allocation - View paper

Yuqiang Huang, Bruce R Childers and Mary Lou Soffa

Environment Generation For Validating Event-Driven Software Using Model Checking - View paper

Oksana Tkachuk and Matthew B Dwyer

Exploiting Partial Success In Applying Automated Formal Methods - View paper

Matthew B Dwyer
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Exploring The Use Of Crowdsourcing To Support Empirical Studies In Software Engineering - View paper

Kathryn T Stolee and Sebastian G Elbaum
Proceedings of the International Symposium on Empirical Software Engineering and Measurement, ESEM 2010, 16-17 September 2010, Bolzano/Bozen, Italy

Managing Technical Debt In Software-Reliant Systems - View paper

Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten, Erin Lim, Alan MacCormack, Robert L Nord, Ipek Ozkaya, Raghvinder S Sangwan, Carolyn B Seaman, Kevin J Sullivan and Nico Zazworka
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010

Modular Aspect-Oriented Design With Xpis - View paper

Kevin J Sullivan, William G Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle and Nishit Tewari

Monarch: Model-Based Development Of Software Architectures - View paper

Hamid Bagheri and Kevin J Sullivan
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

Monitor Optimization Via Stutter-Equivalent Loop Transformation - View paper

Rahul Purandare, Matthew B Dwyer and Sebastian G Elbaum
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA

On The Effectiveness Of The Metamorphic Shield - View paper

Anh NguyenTuong, Andrew Wang, Jason Hiser, John C Knight and Jack W Davidson
Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume

Path-Based Fault Correlations - View paper

Wei Le and Mary Lou Soffa
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010

Runtime Verification In Context: Can Optimizing Error Detection Improve Fault Diagnosis? - View paper

Matthew B Dwyer, Rahul Purandare and Suzette Person
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Selecting Server Parameters For Predictable Runtime Monitoring - View paper

Haitao Zhu, Steve Goddard and Matthew B Dwyer
16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010

Simulating And Testing Mobile Wireless Sensor Networks - View paper

David J Anthony, William P Bennett, Mehmet C Vuran, Matthew B Dwyer, Sebastian G Elbaum and Felipe ChavezRamirez
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010

Unifying Verification And Validation Techniques: Relating Behavior And Properties Through Partial Evidence - View paper

Matthew B Dwyer and Sebastian G Elbaum
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010

2009

3Rd Workshop On Assessment Of Contemporary Modularization Techniques (Acom 2009) - View paper

Phil Greenwood, Alessandro Garcia, Yuanfang Cai, Claudio SantAnna, Kevin J Sullivan, Thomas Cottenier and James Noble
Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA

Carving And Replaying Differential Unit Test Cases From System Test Cases - View paper

Sebastian G Elbaum, Hui Nee Chin, Matthew B Dwyer and Matthew Jorde

Extravagaria V: Photographing Conferences (Advanced) - View paper

Richard P Gabriel and Kevin J Sullivan
Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA

Generalized Abstract Symbolic Summaries For Differencing Heap-Manipulating Programs

Suzette Person and Matthew B Dwyer
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009

Predictable Runtime Monitoring - View paper

Haitao Zhu, Matthew B Dwyer and Steve Goddard
21st Euromicro Conference on Real-Time Systems, ECRTS 2009, Dublin, Ireland, July 1-3, 2009

Regression Model Checking - View paper

Guowei Yang, Matthew B Dwyer and Gregg Rothermel
25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada

Revealing The Copy And Paste Habits Of End Users - View paper

Kathryn T Stolee, Sebastian G Elbaum and Gregg Rothermel
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings

Saturation-Based Testing Of Concurrent Programs - View paper

Elena Sherman, Matthew B Dwyer and Sebastian G Elbaum
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009

Transparent Debugging Of Dynamically Optimized Code - View paper

Naveen Kumar, Bruce R Childers and Mary Lou Soffa
Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009

Unifying Aspect- And Object-Oriented Design - View paper

Hridesh Rajan and Kevin J Sullivan

Whitening Soa Testing - View paper

Cesare Bartolini, Antonia Bertolino, Sebastian G Elbaum and Eda Marchetti
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009

2008

08441 Abstracts Collection - Emerging Uses And Paradigms For Dynamic Binary Translation

Bruce R Childers, Jack W Davidson, Koen De Bosschere and Mary Lou Soffa
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008

08441 Final Report - Emerging Uses And Paradigms For Dynamic Binary Translation

Erik R Altman, Bruce R Childers, Robert S Cohn, Jack W Davidson, Koen De Bosschere, Bjorn De Sutter, M Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, WeiChung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Troger and Christopher A Vick
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008

2Nd Workshop On Assessment Of Contemporary Modularization Techniques (Acom 2008) - View paper

Phil Greenwood, Alessandro Garcia, Elisa L A Baniassad, Kevin J Sullivan, Yuanfang Cai and Alan MacCormack
Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA

Adaptation Architectures Cross Levels - View paper

Yuanyuan Song, Devendra Rai and Kevin J Sullivan
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May 10-11, 2008

Automatic Modularity Conformance Checking - View paper

Sunny Huynh, Yuanfang Cai, Yuanyuan Song and Kevin J Sullivan
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008

Collaboration And Communication: Growing And Sustaining Ultra Large Scale (Uls) Systems - View paper

Steven Fraser, Ricardo Lopez, Pradeep Kathail, Douglas C Schmidt, Mary Shaw, Kevin J Sullivan and Dave A Thomas
Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA

Constructing Interaction Test Suites For Highly-Configurable Systems In The Presence Of Constraints: A Greedy Approach - View paper

Myra B Cohen, Matthew B Dwyer and Jiangfan Shi

Database-Aware Test Coverage Monitoring - View paper

Gregory M Kapfhammer and Mary Lou Soffa
Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008

Differential Symbolic Execution - View paper

Suzette Person, Matthew B Dwyer, Sebastian G Elbaum and Corina S Pasareanu
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008

Extravagaria Iv: Photographing Conferences - View paper

Richard P Gabriel and Kevin J Sullivan
Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA

Increasing Test Granularity By Aggregating Unit Tests - View paper

Matthew Jorde, Sebastian G Elbaum and Matthew B Dwyer
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy

Marple: A Demand-Driven Path-Sensitive Buffer Overflow Detector - View paper

Wei Le and Mary Lou Soffa
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008

Model-Based Fault Detection In Context-Aware Adaptive Applications - View paper

Michele Sama, David S Rosenblum, Zhimin Wang and Sebastian G Elbaum
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008

Multi-Layer Faults In The Architectures Of Mobile, Context-Aware Adaptive Applications: A Position Paper - View paper

Michele Sama, David S Rosenblum, Zhimin Wang and Sebastian G Elbaum
Proceedings of the 1st International Workshop on Software Architectures and Mobility, SAM '08, Leipzig, Germany, May 10, 2008

Path Sensitive Analysis For Security Flaws - View paper

Mary Lou Soffa
11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008

Predicting Accurate And Actionable Static Analysis Warnings: An Experimental Approach - View paper

Joseph R Ruthruff, John Penix, J David Morgenthaler, Sebastian G Elbaum and Gregg Rothermel
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008

Reducing The Cost Of Path Property Monitoring Through Sampling - View paper

Matthew B Dwyer, Madeline Diep and Sebastian G Elbaum
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy

Residual Checking Of Safety Properties - View paper

Matthew B Dwyer and Rahul Purandare
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Second International Workshop On Ultra-Large-Scale Software-Intensive Systems (Ulssis 2008) - View paper

Kevin J Sullivan and Rick Kazman
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume

Security Through Redundant Data Diversity - View paper

Anh NguyenTuong, David Evans, John C Knight, Benjamin Cox and Jack W Davidson
The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings

Trace Normalization - View paper

Madeline Diep, Sebastian G Elbaum and Matthew B Dwyer
19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA

Using Assertions To Help End-User Programmers Create Dependable Web Macros - View paper

Andhy Koesnandar, Sebastian G Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi and Kathryn T Stolee
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008

Using Scenario-Based Requirements To Direct Research On Web Macro Tools - View paper

Christopher Scaffidi, Allen Cypher, Sebastian G Elbaum, Andhy Koesnandar and Brad A Myers

Using Topes To Validate And Reformat Data In End-User Programming Tools - View paper

Christopher Scaffidi, Allen Cypher, Sebastian G Elbaum, Andhy Koesnandar, James Lin, Brad A Myers and Mary Shaw
Proceedings of the 4th international workshop on End-user software engineering, WEUSE '08, Leipzig, Germany, May 12, 2008

2007

Adaptive Online Program Analysis - View paper

Matthew B Dwyer, Alex Kinneer and Sebastian G Elbaum
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007

Automated Generation Of Context-Aware Tests - View paper

Zhimin Wang, Sebastian G Elbaum and David S Rosenblum
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007

Bug Hunt: Making Early Software Testing Lessons Engaging And Affordable - View paper

Sebastian G Elbaum, Suzette Person, Jonathan Dokulil and Matthew Jorde
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007

Clairvoyant: A Comprehensive Source-Level Debugger For Wireless Sensor Networks - View paper

Jing Yang, Mary Lou Soffa, Leo Selavo and Kamin Whitehouse
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9, 2007

Dependability In Web Software

Sebastian G Elbaum, Marc Fisher II and Gregg Rothermel
End-User Software Engineering, 18.02. - 23.02.2007

Dynamic Characterization Of Web Application Interfaces - View paper

Marc Fisher II, Sebastian G Elbaum and Gregg Rothermel
Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Dynamic System-Wide Reconfiguration Of Grid Deployments In Response To Intrusion Detections - View paper

Jonathan C Rowanhill, Glenn S Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C Knight, Anh NguyenTuong, Andrew S Grimshaw and Marty Humphrey
High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings

Effective Source-Level Debugging Of Wireless Sensor Networks - View paper

Jing Yang, Mary Lou Soffa and Kamin Whitehouse
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9, 2007

Formal Software Analysis Emerging Trends In Software Model Checking - View paper

Matthew B Dwyer, John Hatcliff, Robby, Corina S Pasareanu and Willem Visser
International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA

Interaction Testing Of Highly-Configurable Systems In The Presence Of Constraints - View paper

Myra B Cohen, Matthew B Dwyer and Jiangfan Shi
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007

Meeting Virtual Organization Performance Goals Through Adaptive Grid Reconfiguration - View paper

Zach Hill, Jonathan C Rowanhill, Anh NguyenTuong, Glenn S Wasson, John C Knight, Jim Basney and Marty Humphrey
8th IEEE/ACM International Conference on Grid Computing (GRID 2007), September 19-21, 2007, Austin, Texas, USA, Proceedings

Most Cited Journal Articles In Software Engineering - View paper

Claes Wohlin, Sebastian G Elbaum and Martin J Shepperd

Parallel Randomized State-Space Search - View paper

Matthew B Dwyer, Sebastian G Elbaum, Suzette Person and Rahul Purandare
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007

Program Representations For Testing Wireless Sensor Network Applications - View paper

Nguyet T M Nguyen and Mary Lou Soffa
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007

Reducing Exit Stub Memory Consumption In Code Caches - View paper

Apala Guha, Kim M Hazelwood and Mary Lou Soffa
High Performance Embedded Architectures and Compilers, Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings

Reducing Irrelevant Trace Variations - View paper

Madeline Diep, Sebastian G Elbaum and Matthew B Dwyer
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA

Refining Buffer Overflow Detection Via Demand-Driven Path-Sensitive Analysis - View paper

Wei Le and Mary Lou Soffa
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007

Residual Dynamic Typestate Analysis Exploiting Static Analysis: Results To Reformulate And Reduce The Cost Of Dynamic Analysis - View paper

Matthew B Dwyer and Rahul Purandare
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA

Scaling Up Sla Monitoring In Pervasive Environments - View paper

Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta and Sebastian G Elbaum
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, Dubrovnik, Croatia, September 4, 2007

Scenario-Based Requirements For Web Macro Tools - View paper

Christopher Scaffidi, Allen Cypher, Sebastian G Elbaum, Andhy Koesnandar and Brad A Myers
2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA

Sofya: Supporting Rapid Development Of Dynamic Program Analyses For Java - View paper

Alex Kinneer, Matthew B Dwyer and Gregg Rothermel
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume

Supporting End-Users In The Creation Of Dependable Web Clips - View paper

Sandeep Lingam and Sebastian G Elbaum
Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007

Test Suite Reduction And Prioritization With Call Trees - View paper

Adam M Smith, Joshua Geiger, Gregory M Kapfhammer and Mary Lou Soffa
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA

Trace Anomalies As Precursors Of Field Failures: An Empirical Study - View paper

Sebastian G Elbaum, Satya Kanduri and Anneliese Amschler Andrews

Virtual Execution Environments: Support And Tools - View paper

Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R Childers, Jack W Davidson, Kim M Hazelwood and Mary Lou Soffa
21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA

Workshop On Software Technologies For Ultra-Large Scale Systems - View paper

Richard P Gabriel, Rick Kazman, Linda M Northrop, Douglas C Schmidt and Kevin J Sullivan
29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume

2006

Aspects And/Versus Modularity The Grand Debate - View paper

Richard P Gabriel, Guy L Steele Jr, Friedrich Steimann, Jim Waldo, Gregor Kiczales and Kevin J Sullivan
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA

Bogor: A Flexible Framework For Creating Software Model Checkers - View paper

Robby, Matthew B Dwyer and John Hatcliff
Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom

Carving Differential Unit Test Cases From System Test Cases - View paper

Sebastian G Elbaum, Hui Nee Chin, Matthew B Dwyer and Jonathan Dokulil
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006

Catching And Identifying Bugs In Register Allocation - View paper

Yuqiang Huang, Bruce R Childers and Mary Lou Soffa
Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Checking Jml Specifications Using An Extensible Software Model Checking Framework - View paper

Robby, Edwin Rodriguez, Matthew B Dwyer and John Hatcliff

Controlling Factors In Evaluating Path-Sensitive Error Detection Techniques - View paper

Matthew B Dwyer, Suzette Person and Sebastian G Elbaum
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006

Coverage And Adequacy In Software Product Line Testing - View paper

Myra B Cohen, Matthew B Dwyer and Jiangfan Shi
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006

Domain-Specific Model Checking Using The Bogor Framework - View paper

Robby, Matthew B Dwyer and John Hatcliff
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

Empirically Driven Se Research: State Of The Art And Required Maturity - View paper

Victor R Basili and Sebastian G Elbaum
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006

Evaluating The Effectiveness Of Slicing For Model Reduction Of Concurrent Object-Oriented Programs - View paper

Matthew B Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby and Todd Wallentine
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Experimental Program Analysis: A New Program Analysis Paradigm - View paper

Joseph R Ruthruff, Sebastian G Elbaum and Gregg Rothermel
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006

Gender, Achievement, And Persistence In An Undergraduate Computer Science Program - View paper

Sandra Katz, David Allbritton, John M Aronis, Christine Wilson and Mary Lou Soffa

Leveraging Disposable Instrumentation To Reduce Coverage Collection Overhead - View paper

KalyanRam Chilakamarri and Sebastian G Elbaum

Modular Software Design With Crosscutting Interfaces - View paper

William G Griswold, Kevin J Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai and Hridesh Rajan

Modularity Analysis Of Logical Design Models - View paper

Yuanfang Cai and Kevin J Sullivan
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan

Probe Distribution Techniques To Profile Events In Deployed Software - View paper

Madeline Diep, Myra B Cohen and Sebastian G Elbaum
17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA

Secure And Practical Defense Against Code-Injection Attacks Using Software Dynamic Translation - View paper

Wei Hu, Jason Hiser, Daniel W Williams, Adrian Filipi, Jack W Davidson, David Evans, John C Knight, Anh NguyenTuong and Jonathan C Rowanhill
Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006

Techniques And Tools For Dynamic Optimization - View paper

Jason Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R Childers, Jack W Davidson and Mary Lou Soffa
20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece

The 8Th International Workshop On Economics-Driven Software Engineering Research - View paper

Rick Kazman and Kevin J Sullivan
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006

The Ultra Challenge: Software Systems Beyond Big - View paper

Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G Neumann, Linda M Northrop, Martin C Rinard, Douglas C Schmidt and Kevin J Sullivan
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA

Timeaware Test Suite Prioritization - View paper

Kristen R Walcott, Mary Lou Soffa, Gregory M Kapfhammer and Robert S Roos
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006

Ultra-Large-Scale Systems - View paper

Richard P Gabriel, Linda M Northrop, Douglas C Schmidt and Kevin J Sullivan
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA

2005

7Th International Workshop On Economics-Driven Software Engineering Research - View paper

Kevin J Sullivan
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA

A New Foundation For Control-Dependence And Slicing For Modern Program Structures - View paper

Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B Dwyer and John Hatcliff
Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

A Value-Oriented Theory Of Modularity In Design - View paper

Yuanfang Cai and Kevin J Sullivan

Aspect Language Features For Concern Coverage Profiling - View paper

Hridesh Rajan and Kevin J Sullivan
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005

Automatically Hardening Web Applications Using Precise Tainting

Anh NguyenTuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley and David Evans
Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan

Building Your Own Software Model Checker Using The Bogor Extensible Model Checking Framework - View paper

Matthew B Dwyer, John Hatcliff, Matthew Hoosier and Robby
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Classpects: Unifying Aspect- And Object-Oriented Language Design - View paper

Hridesh Rajan and Kevin J Sullivan
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA

Compile-Time Planning For Overhead Reduction In Software Dynamic Translators - View paper

Naveen Kumar, Bruce R Childers, Daniel W Williams, Jack W Davidson and Mary Lou Soffa

Demand-Driven Structural Testing With Dynamic Instrumentation - View paper

Jonathan Misurda, James A Clause, Juliya L Reed, Bruce R Childers and Mary Lou Soffa
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA

Extending Jml For Modular Specification And Verification Of Multi-Threaded Programs - View paper

Edwin Rodriguez, Matthew B Dwyer, Cormac Flanagan, John Hatcliff, Gary T Leavens and Robby
ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings

Fault Patterns In Matlab - View paper

Fidel Nkwocha and Sebastian G Elbaum

Garbage Collection In The Presence Of Remote Objects: An Empirical Study - View paper

Witawas Srisaan, Mulyadi Oey and Sebastian G Elbaum
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II

Helping End-Users 'Engineer' Dependable Web Applications - View paper

Sebastian G Elbaum, KalyanRam Chilakamarri, Bhuvana Gopal and Gregg Rothermel
16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA

Information Hiding Interfaces For Aspect-Oriented Design - View paper

Kevin J Sullivan, William G Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari and Hridesh Rajan
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005

Jazz: A Tool For Demand-Driven Structural Testing - View paper

Jonathan Misurda, James A Clause, Juliya L Reed, Bruce R Childers and Mary Lou Soffa
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Leveraging User-Session Data To Support Web Application Testing - View paper

Sebastian G Elbaum, Gregg Rothermel, Srikanth Karre and Marc Fisher II

Low Overhead Program Monitoring And Profiling - View paper

Naveen Kumar, Bruce R Childers and Mary Lou Soffa
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005

Model-Based Framework: An Approach For Profit-Driven Optimization - View paper

Min Zhao, Bruce R Childers and Mary Lou Soffa
3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 20-23 March 2005, San Jose, CA, USA

Planning For Code Buffer Management In Distributed Virtual Execution Environments - View paper

Shukang Zhou, Bruce R Childers and Mary Lou Soffa
Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005

Profiling Deployed Software: Assessing Strategies And Testing Opportunities - View paper

Sebastian G Elbaum and Madeline Diep

Science Of Design - View paper

Kevin J Sullivan and Jeff Magee
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA

Simon: Modeling And Analysis Of Design Space Structures - View paper

Yuanfang Cai and Kevin J Sullivan
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA

Software Assurance By Bounded Exhaustive Testing - View paper

David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le and Kevin J Sullivan

Supporting Controlled Experimentation With Testing Techniques: An Infrastructure And Its Potential Impact - View paper

Hyunsook Do, Sebastian G Elbaum and Gregg Rothermel

Tdb: A Source-Level Debugger For Dynamically Translated Programs - View paper

Naveen Kumar, Bruce R Childers and Mary Lou Soffa
Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005

Testing In Resource Constrained Execution Environments - View paper

Gregory M Kapfhammer, Mary Lou Soffa and Daniel Mosse
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA

The Development Of Dependable And Survivable Grids - View paper

Andrew S Grimshaw, Marty A Humphrey, John C Knight, Anh NguyenTuong, Jonathan C Rowanhill, Glenn S Wasson and Jim Basney
Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II

The First Workshop On End-User Software Engineering - View paper

Gregg Rothermel and Sebastian G Elbaum
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA

The Impact Of Software Engineering Research On Modern Programming Languages - View paper

Barbara G Ryder, Mary Lou Soffa and Margaret M Burnett

Translating Java For Multiple Model Checkers: The Bandera Back-End - View paper

Radu Iosif, Matthew B Dwyer and John Hatcliff

2004

A Case Study In Domain-Customized Model Checking For Real-Time Component Software - View paper

Matthew Hoosier, Matthew B Dwyer, Robby and John Hatcliff
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Analyzing Interaction Orderings With Model Checking - View paper

Matthew B Dwyer, Robby, Oksana Tkachuk and Willem Visser
19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria

Building An Infrastructure To Support Experimentation With Software Testing Techniques - View paper

Hyunsook Do, Sebastian G Elbaum and Gregg Rothermel

Checking Strong Specifications Using An Extensible Software Model Checking Framework - View paper

Robby, Edwin Rodriguez, Matthew B Dwyer and John Hatcliff
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Developing A Foundation For Code Optimization - View paper

Mary Lou Soffa
Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Exploiting Object Escape And Locking Information In Partial-Order Reductions For Concurrent Object-Oriented Programs - View paper

Matthew B Dwyer, John Hatcliff, Robby and Venkatesh Prasad Ranganath

Flow Analysis For Verifying Properties Of Concurrent Software Systems - View paper

Matthew B Dwyer, Lori A Clarke, Jamieson M Cobleigh and Gleb Naumovich

Increasing Diversity In The Information Technology Workforce: Implications From A Study Of Factors That Predict Achievement In Cs

Sandra Katz, David Allbritton, John M Aronis, Christine Wilson and Mary Lou Soffa
Embracing Diversity in the Learning Sciences: Proceedings of the 6th International Conference for the Learning Sciences, ICLS 2004, Los Angeles, CA, USA, June 22-26, 2004

Infrastructure Support For Controlled Experimentation With Software Testing And Regression Testing Techniques - View paper

Hyunsook Do, Sebastian G Elbaum and Gregg Rothermel
2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA

Instrumentation In Software Dynamic Translators For Self-Managed Systems - View paper

Naveen Kumar, Jonathan Misurda, Bruce R Childers and Mary Lou Soffa
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004

Introductory Paper - View paper

Matthew B Dwyer and Stefan Leue

On Test Suite Composition And Cost-Effective Regression Testing - View paper

Gregg Rothermel, Sebastian G Elbaum, Alexey G Malishevsky, Praveen Kallakuri and Xuemei Qiu

Overhead Reduction Techniques For Software Dynamic Translation - View paper

Kevin Scott, Naveen Kumar, Bruce R Childers, Jack W Davidson and Mary Lou Soffa
18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA

Reducing Coverage Collection Overhead With Disposable Instrumentation - View paper

KalyanRam Chilakamarri and Sebastian G Elbaum
15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France

Selecting A Cost-Effective Test Case Prioritization Technique - View paper

Sebastian G Elbaum, Gregg Rothermel, Satya Kanduri and Alexey G Malishevsky

Supporting Model Checking Education Using Bogor/Eclipse - View paper

Matthew B Dwyer, John Hatcliff and Matthew Hoosier
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, ETX 2004, Vancouver, British Columbia, Canada, October 24, 2004

Syncgen: An Aspect-Oriented Framework For Synchronization - View paper

Xianghua Deng, Matthew B Dwyer, John Hatcliff and Masaaki Mizuno
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Understanding Aspects Via Implicit Invocation - View paper

Jia Xu, Hridesh Rajan and Kevin J Sullivan
19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria

Verifying Atomicity Specifications For Concurrent Object-Oriented Software Using Model-Checking - View paper

John Hatcliff, Robby and Matthew B Dwyer
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings

2003

A Family Of Test Adequacy Criteria For Database-Driven Applications - View paper

Gregory M Kapfhammer and Mary Lou Soffa
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

A Study To Identify Predictors Of Achievement In An Introductory Computer Science Course - View paper

Sandra Katz, John M Aronis, David Allbritton, Christine Wilson and Mary Lou Soffa
Proceedings of the 2003 SIGMIS Conference on Computer Personnel Research: Freedom in Philadelphia - Leveraging Differences and Diversity in the IT Workforce, CPR 2003, Philadelphia, Pennsylvania, USA, April 10-12, 2003

Adapting Side Effects Analysis For Modular Program Model Checking - View paper

Oksana Tkachuk and Matthew B Dwyer
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

Anomalies As Precursors Of Field Failures - View paper

Sebastian G Elbaum, Satya Kanduri and Anneliese Amschler Andrews
14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA

Automated Environment Generation For Software Model Checking - View paper

Oksana Tkachuk, Matthew B Dwyer and Corina S Pasareanu
18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada

Bogor: An Extensible And Highly-Modular Software Model Checking Framework - View paper

Robby, Matthew B Dwyer and John Hatcliff
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

Cadena: An Integrated Development, Analysis, And Verification Environment For Component-Based Systems - View paper

John Hatcliff, Xianghua Deng, Matthew B Dwyer, Georg Jung and Venkatesh Prasad Ranganath
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA

Cadena: Enabling Ccm-Based Application Development In Eclipse - View paper

Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B Dwyer, John Hatcliff and Gurdip Singh
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA

Continuous Compilation: A New Approach To Aggressive And Adaptive Code Transformation - View paper

Bruce R Childers, Jack W Davidson and Mary Lou Soffa
17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings

Editorial - View paper

Carlo Ghezzi, Jeff Magee, H Dieter Rombach and Mary Lou Soffa

Empheos: Instance-Level Aspects For Integrated System Design - View paper

Hridesh Rajan and Kevin J Sullivan
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

Gender And Race In Predicting Achievement In Computer Science - View paper

Sandra Katz, John M Aronis, David Allbritton, Christine Wilson and Mary Lou Soffa

Improving Web Application Testing With User Session Data - View paper

Sebastian G Elbaum, Srikanth Karre and Gregg Rothermel
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA

Influences On The Design Of Exception Handling Acm Sigsoft Project On The Impact Of Software Engineering Research On Programming Language Design - View paper

Barbara G Ryder and Mary Lou Soffa

Predicting The Impact Of Optimizations For Embedded Systems - View paper

Min Zhao, Bruce R Childers and Mary Lou Soffa
Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003

Putting Your Best Tests Forward - View paper

Gregg Rothermel and Sebastian G Elbaum

Quality Assurance Under The Open Source Development Model - View paper

Luyin Zhao and Sebastian G Elbaum

Regression Testing Of Guis - View paper

Atif M Memon and Mary Lou Soffa
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

Report On The Icse 2003 Doctoral Symposium - View paper

Dick Hamlet and Mary Lou Soffa
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA

Retargetable And Reconfigurable Software Dynamic Translation - View paper

Kevin Scott, Naveen Kumar, S Velusamy, Bruce R Childers, Jack W Davidson and Mary Lou Soffa
1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 23-26 March 2003, San Francisco, CA, USA

Shared Semantic Domains For Computational Reliability Engineering - View paper

David Coppit, Robert R Painter and Kevin J Sullivan
14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA

Slicing And Partial Evaluation Of Corba Component Model Designs For Avionics System - View paper

John Hatcliff, William Deng, Matthew B Dwyer, Georg Jung, Venkatesh Prasad Ranganath and Robby
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003

Softtest: A Framework For Software Testing Of Java Programs - View paper

Bruce R Childers, Mary Lou Soffa, Jon Beaver, Lidiya Ber, Kevin Cammarata, Tom Kane, Juliya Litman and Jonathan Misurda
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA

Sound Methods And Effective Tools For Engineering Modeling And Analysis - View paper

David Coppit and Kevin J Sullivan
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA

Space Reductions For Model Checking Quasi-Cyclic Systems - View paper

Matthew B Dwyer, Robby, Xianghua Deng and John Hatcliff
Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Space-Reduction Strategies For Model Checking Dynamic Software - View paper

Robby, Matthew B Dwyer, John Hatcliff and Radu Iosif

Support For Extensibility And Site Autonomy In The Legion Grid System Object Model - View paper

Michael J Lewis, Adam Ferrari, Marty Humphrey, John F Karpovich, Mark M Morgan, Anand Natrajan, Anh NguyenTuong, Glenn S Wasson and Andrew S Grimshaw

The Limits Of Speculative Trace Reuse On Deeply Pipelined Processors - View paper

Mauricio L Pilla, Amarildo T da Costa, Felipe M G Francca, Bruce R Childers and Mary Lou Soffa
15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 10-12 November 2003, Sao Paulo, Brazil

Towards A Rigorous Definition Of Information System Survivability - View paper

John C Knight, Elisabeth A Strunk and Kevin J Sullivan
3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA

Understanding The Effects Of Changes On The Cost-Effectiveness Of Regression Testing Techniques - View paper

Sebastian G Elbaum, Praveen Kallakuri, Alexey G Malishevsky, Gregg Rothermel and Satya Kanduri

2002

An Empirical Study Of Tracing Techniques From A Failure Analysis Perspective - View paper

Satya Kanduri and Sebastian G Elbaum
13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA

Can Fault-Exposure-Potential Estimates Improve The Fault Detection Abilities Of Test Suites? - View paper

Wei Chen, Roland H Untch, Gregg Rothermel, Sebastian G Elbaum and Jeffery von Ronne

Debugging And Testing Optimizers Through Comparison Checking - View paper

Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa

Expressing Checkable Properties Of Dynamic Systems: The Bandera Specification Language - View paper

James C Corbett, Matthew B Dwyer, John Hatcliff and Robby

Foundations Of The Bandera Abstraction Tools - View paper

John Hatcliff, Matthew B Dwyer, Corina S Pasareanu and Robby
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]

Invariant-Based Specification, Synthesis, And Verification Of Synchronization In Concurrent Programs - View paper

Xianghua Deng, Matthew B Dwyer, John Hatcliff and Masaaki Mizuno
Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software - View paper

Xianghua Deng, Matthew B Dwyer, John Hatcliff, Georg Jung, Robby and Gurdip Singh
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Modeling The Cost-Benefits Tradeoffs For Regression Testing Techniques - View paper

Alexey G Malishevsky, Gregg Rothermel and Sebastian G Elbaum
18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada

Non-Modularity In Aspect-Oriented Languages: Integration As A Crosscutting Concern For Emphaspectj - View paper

Kevin J Sullivan, Lin Gu and Yuanfang Cai
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, AOSD 2002, University of Twente, Enschede, The Netherlands, April 22-26, 2002

Shortchanging The Future Of Information Technology: The Untapped Resource - View paper

Angela M Balcita, Doris L Carver and Mary Lou Soffa

Software Engineering Economics: Background, Current Practices, And Future Directions - View paper

M Hakan Erdogmus, Barry W Boehm, Warren Harrison, Donald J Reifer and Kevin J Sullivan
Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA

Software Model Checking: The Bandera Approach

Matthew B Dwyer
Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands

Test Case Prioritization: A Family Of Empirical Studies - View paper

Sebastian G Elbaum, Alexey G Malishevsky and Gregg Rothermel

The Legion Grid Portal - View paper

Anand Natrajan, Anh NguyenTuong, Marty Humphrey, Michael Herrick, Brian P Clarke and Andrew S Grimshaw

Web Services Engineering: Promises And Challenges - View paper

Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A Szyperski, Kevin J Sullivan and Doug Lea
Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA

2001

A Web-Oriented Architectural Aspect For The Emerging Computational Tapestry - View paper

Kevin J Sullivan and Avneesh Saxena
Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada

Coverage Criteria For Gui Testing - View paper

Atif M Memon, Mary Lou Soffa and Martha E Pollack
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001

Finding Feasible Counter-Examples When Model Checking Abstracted Java Programs - View paper

Corina S Pasareanu, Matthew B Dwyer and Willem Visser
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Hierarchical Gui Test Case Generation Using Automated Planning - View paper

Atif M Memon, Martha E Pollack and Mary Lou Soffa

Incorporating Varying Test Costs And Fault Severities Into Test Case Prioritization - View paper

Sebastian G Elbaum, Alexey G Malishevsky and Gregg Rothermel
Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada

The Impact Of Software Evolution On Code Coverage Information - View paper

Sebastian G Elbaum, David Gable and Gregg Rothermel
2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001

The Structure And Value Of Modularity In Software Design - View paper

Kevin J Sullivan, William G Griswold, Yuanfang Cai and Ben Hallen
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001

Third International Workshop On Economics-Driven Software Engineering Research - View paper

Kevin J Sullivan, Mary Shaw, Barry W Boehm, David Notkin and Warren Harrison
Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada

Tool-Supported Program Abstraction For Finite-State Verification - View paper

Matthew B Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S Pasareanu, Robby, Hongjun Zheng and Willem Visser
Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada

Understanding And Measuring The Sources Of Variation In The Prioritization Of Regression Test Suites - View paper

Sebastian G Elbaum, David Gable and Gregg Rothermel
7th IEEE International Software Metrics Symposium (METRICS 2001), 4-6 April 2001, London, England, UK

Using Component Metacontent To Support The Regression Testing Of Component-Based Software - View paper

Alessandro Orso, Mary Jean Harrold, David S Rosenblum, Gregg Rothermel, Mary Lou Soffa and Hyunsook Do
2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001

Using The Bandera Tool Set To Model-Check Properties Of Concurrent Java Software - View paper

John Hatcliff and Matthew B Dwyer
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings

2000

1999 Sigplan Awards

Mary Lou Soffa

A Language Framework For Expressing Checkable Properties Of Dynamic Software - View paper

James C Corbett, Matthew B Dwyer, John Hatcliff and Robby
SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings

A Survey On Quality Related Activities In Emphopen Source - View paper

Luyin Zhao and Sebastian G Elbaum

Adapting Programming Languages Technologies For Finite-State Verification - View paper

Matthew B Dwyer and John Hatcliff

Bandera: A Source-Level Interface For Model Checking Java Programs - View paper

James C Corbett, Matthew B Dwyer, John Hatcliff and Robby
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000

Bandera: Extracting Finite-State Models From Java Source Code - View paper

James C Corbett, Matthew B Dwyer, John Hatcliff, Shawn Laubach, Corina S Pasareanu, Robby and Hongjun Zheng
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000

Benchmarking Finite-State Verifiers - View paper

George S Avrunin, James C Corbett and Matthew B Dwyer

Com Revisited: Tool-Assisted Modelling Of An Architectural Framework

Daniel Jackson and Kevin J Sullivan
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings

Evaluating Regression Test Suites Based On Their Fault Exposure Capability - View paper

Sebastian G Elbaum and John C Munson

Formal Semantics For Computational Engineering: A Case Study On Dynamic Fault Trees - View paper

David Coppit, Kevin J Sullivan and Joanne Bechta Dugan
11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA

Fulldoc: A Full Reporting Debugger For Optimized Code - View paper

Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings

Galileo: A Tool Built From Mass-Market Applications - View paper

David Coppit and Kevin J Sullivan
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000

Generating Test Data For Branch Coverage - View paper

Neelam Gupta, Aditya P Mathur and Mary Lou Soffa
The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000

Grid-Based File Access: The Legion I/O Model - View paper

Brian S White, Andrew S Grimshaw and Anh NguyenTuong
Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, HPDC'00, Pittsburgh, Pennsylvania, USA, August 1-4, 2000

Multiple Mass-Market Applications As Components - View paper

David Coppit and Kevin J Sullivan
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000

Plan Generation For Gui Testing

Atif M Memon, Martha E Pollack and Mary Lou Soffa
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000

Prioritizing Test Cases For Regression Testing - View paper

Sebastian G Elbaum, Alexey G Malishevsky and Gregg Rothermel
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000

Slicing Software For Model Construction - View paper

John Hatcliff, Matthew B Dwyer and Hongjun Zheng

Software Black Box: An Alternative Mechanism For Failure Analysis - View paper

Sebastian G Elbaum and John C Munson
11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA

The 2Nd International Workshop On Economics-Driven Software Engineering Research - View paper

Kevin J Sullivan
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000

1999

A Formal Study Of Slicing For Multi-Threaded Programs With Jvm Concurrency Primitives - View paper

John Hatcliff, James C Corbett, Matthew B Dwyer, Stefan Sokolowski and Hongjun Zheng
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings

Analysis Of A Conflict Between Aggregation And Interface Negotiation In Microsoft'S Component Object Model - View paper

Kevin J Sullivan, Mark Marchukov and John Socha

Assume-Guarantee Model Checking Of Software: A Comparative Case Study - View paper

Corina S Pasareanu, Matthew B Dwyer and Michael Huth
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings

Comparison Checking: An Approach To Avoid Debugging Of Optimized Code - View paper

Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa
Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings

Developing A High-Quality Software Tool For Fault Tree Analysis - View paper

Joanne Bechta Dugan, Kevin J Sullivan and David Coppit
10th International Symposium on Software Reliability Engineering, ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999

Exploration Harnesses: Tool-Supported Interactive Discovery Of Commercial Component Properties - View paper

Michael A Copenhafer and Kevin J Sullivan
The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999

First Workshop On Economics-Driven Software Engineering Research - View paper

Kevin J Sullivan, David Notkin, Alfonso Fuggetta and John M Favaro
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999

Global Context-Based Value Prediction - View paper

Tarun Nakra, Rajiv Gupta and Mary Lou Soffa
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999

Information Survivability Control Systems - View paper

Kevin J Sullivan, John C Knight, Xing Du and Steve Geist
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999

Intrusion Detection Through Dynamic Software Measurement

Sebastian G Elbaum and John C Munson
Proceedings of the Workshop on Intrusion Detection and Network Monitoring, Santa Clara, CA, USA, April 9-12, 1999

Load-Reuse Analysis: Design And Evaluation - View paper

Rastislav Bodik, Rajiv Gupta and Mary Lou Soffa
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999

Patterns In Property Specifications For Finite-State Verification - View paper

Matthew B Dwyer, George S Avrunin and James C Corbett
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999

Software Economics: Status And Prospects - View paper

Barry W Boehm and Kevin J Sullivan

Software Evolution And The Code Fault Introduction Process

Sebastian G Elbaum and John C Munson

Software Reliability As A Function Of User Execution Patterns - View paper

John C Munson and Sebastian G Elbaum
32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA

The Galileo Fault Tree Analysis Tool - View paper

Kevin J Sullivan, Joanne Bechta Dugan and David Coppit
Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999

Tutorial: Techniques To Improve The Scalability And Precision Of Data Flow Analysis - View paper

Mary Lou Soffa
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings

Una Based Iterative Test Data Generation And Its Evaluation - View paper

Neelam Gupta, Aditya P Mathur and Mary Lou Soffa
The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999

Using A Goal-Driven Approach To Generate Test Cases For Guis - View paper

Atif M Memon, Martha E Pollack and Mary Lou Soffa
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999

Using Reflection For Incorporating Fault-Tolerance Techniques Into Distributed Applications - View paper

Anh NguyenTuong and Andrew S Grimshaw

Value Prediction In Vliw Machines - View paper

Tarun Nakra, Rajiv Gupta and Mary Lou Soffa
Proceedings of the 26th Annual International Symposium on Computer Architecture, ISCA 1999, Atlanta, Georgia, USA, May 2-4, 1999

1998

1998 Sigplan Awards

Mary Lou Soffa

Automated Test Data Generation Using An Iterative Relaxation Method - View paper

Neelam Gupta, Aditya P Mathur and Mary Lou Soffa
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998

Capturing The Effects Of Code Improving Transformations - View paper

Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998

Code Churn: A Measure For Estimating The Impact Of Code Change - View paper

John C Munson and Sebastian G Elbaum
1998 International Conference on Software Maintenance, ICSM 1998, Bethesda, Maryland, USA, November 16-19, 1998

Combining Various Solution Techniques For Dynamic Fault Tree Analysis Of Computer Systems - View paper

Ragavan Manian, Joanne Bechta Dugan, David Coppit and Kevin J Sullivan
3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings

Complete Removal Of Redundant Expressions (With Retrospective) - View paper

Rastislav Bodik, Rajiv Gupta and Mary Lou Soffa
20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection

Data Flow Analysis Driven Dynamic Data Partitioning - View paper

Jodi Tims, Rajiv Gupta and Mary Lou Soffa
Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers

Extending Metasystem Functionality Using Reflection - View paper

Anh NguyenTuong, Steve J Chapin and Andrew S Grimshaw
Proceedings of the Seventh IEEE International Symposium on High Performance Distributed Computing, HPDC '98, Chicago, Illinois, USA, July 28-31, 1998

Filter-Based Model Checking Of Partial Systems - View paper

Matthew B Dwyer and Corina S Pasareanu
SIGSOFT '98, Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, November 3-5, 1998

Formal Specification In Collaborative Design Of Critical Software Tools - View paper

David Coppit and Kevin J Sullivan
3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings

Getting A Handle On The Fault Injection Process: Validation Of Measurement Tools - View paper

Sebastian G Elbaum and John C Munson
5th IEEE International Software Metrics Symposium (METRICS 1998), March 20-21, 1998, Bethesda, Maryland, USA

Integrated Instruction Scheduling And Register Allocation Techniques - View paper

David A Berson, Rajiv Gupta and Mary Lou Soffa
Languages and Compilers for Parallel Computing, 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings

Mediators In Infrastructure Survivability Enhancement - View paper

Kevin J Sullivan, Steve Geist and Paul Shaw
Proceedings of the Third International Workshop on Software Architecture, ISAW '98, Orlando, Florida, USA

Property Specification Patterns For Finite-State Verification - View paper

Matthew B Dwyer, George S Avrunin and James C Corbett
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA

Sigplan And Sigsoft Joint Efforts

Mary Lou Soffa and David Notkin

Staging Static Analyses Using Abstraction-Based Program Specialization - View paper

John Hatcliff, Matthew B Dwyer and Shawn Laubach
Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings

Using Partial Evaluation To Enable Verification Of Concurrent Software - View paper

Matthew B Dwyer, John Hatcliff and Muhammad Nanda

1997

A Framework For Parallel Adaptive Grid Simulations - View paper

Matthew B Dwyer and Virgil Wallentine

Campus-Wide Computing : Early Results Using Legion At The University Of Virginia - View paper

Andrew S Grimshaw, Anh NguyenTuong, Michael J Lewis and Mark Hyett

Enabling Flexibility In The Legion Run-Time Library

Charles L Viles, Michael J Lewis, Adam Ferrari, Anh NguyenTuong and Andrew S Grimshaw
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA

Interprocedural Conditional Branch Elimination - View paper

Rastislav Bodik, Rajiv Gupta and Mary Lou Soffa
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997

Model Checking Graphical User Interfaces Using Abstractions - View paper

Matthew B Dwyer, Vicki Carr and Laura Hines
Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings

Modular Flow Analysis For Concurrent Software - View paper

Matthew B Dwyer
1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997

Object-Oriented Coordination Abstractions For Parallel Software

Matthew B Dwyer and Virgil Wallentine
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA

Package-Oriented Programming Of Engineering Tools - View paper

Kevin J Sullivan, Jake Cockrell, Shengtong Zhang and David Coppit
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997

Refining Data Flow Information Using Infeasible Paths - View paper

Rastislav Bodik, Rajiv Gupta and Mary Lou Soffa
Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings

Using Formal Methods To Reason About Architectural Standards - View paper

Kevin J Sullivan, John Socha and Mark Marchukov
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997

Verification Of Concurrent Software With Flavers - View paper

Gleb Naumovich, Lori A Clarke, Leon J Osterweil and Matthew B Dwyer
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997

1996

A Demand-Driven Analyzer For Data Flow Testing At The Integration Level

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings

A Flexible Architecture For Building Data Flow Analyzers

Matthew B Dwyer and Lori A Clarke
18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings

An Application-Independent Concurrency Skeleton In Ada 95 - View paper

Matthew B Dwyer, Matthew J Craig and Eric Runquist
The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA

Evaluating The Mediator Method: Prism As A Case Study - View paper

Kevin J Sullivan, Ira Kalet and David Notkin

Experience Assessing An Architectural Approach To Large-Scale Systematic Reuse

Kevin J Sullivan and John C Knight
18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings

Exploiting Data-Flow For Fault-Tolerance In A Wide-Area Parallel System - View paper

Anh NguyenTuong, Andrew S Grimshaw and Mark Hyett
The 15th Symposium on Reliable Distributed Systems, SRDS 1996, Niagara-on-the-Lake, Ontario, Canada, October 23-25, 1996, Proceedings

Integrating Program Optimizations And Transformations With The Scheduling Of Instruction Level Parallelism - View paper

David A Berson, Pohua P Chang, Rajiv Gupta and Mary Lou Soffa
Languages and Compilers for Parallel Computing, 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings

Program Slicing-Based Regression Testing Techniques - View paper

Rajiv Gupta, Mary Jean Harrold and Mary Lou Soffa

Rapid Development Of Simple, Custom Program Analysis Tools - View paper

Kevin J Sullivan
4th International Workshop on Program Comprehension (WPC '96), March 29-31, 1996, Berlin, Germany

Software Design: The Options Approach - View paper

Kevin J Sullivan
Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA

1995

A Compact Petri Net Representation For Concurrent Programs - View paper

Matthew B Dwyer, Lori A Clarke and Kari A Nies
17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings

Demand-Driven Computation Of Interprocedural Data Flow - View paper

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995

Fault Tolerance Via Replication In Coarse Grain Data-Flow - View paper

Anh NguyenTuong, Andrew S Grimshaw and John F Karpovich
Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings

Gurrr: A Global Unified Resource Requirements Representation - View paper

David A Berson, Rajiv Gupta and Mary Lou Soffa
Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995

Hybrid Slicing: An Approach For Refining Static Slices Using Dynamic Information - View paper

Rajiv Gupta and Mary Lou Soffa
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995

Introduction To The Special Section - View paper

Henri E Bal, Boumediene Belkhouche and Mary Lou Soffa

Practical Approach To Single Assignment Code

Patricia Prather Pineo and Mary Lou Soffa
Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, PACT '95, Limassol, Cyprus, June 27-29, 1995

Priority Based Data Flow Testing - View paper

Rajiv Gupta and Mary Lou Soffa
Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995

Software Reflexion Models: Bridging The Gap Between Source And High-Level Models - View paper

Gail C Murphy, David Notkin and Kevin J Sullivan
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, Washington, DC, USA, October 10-13, 1995

1994

A Framework For Partial Data Flow Analysis - View paper

Rajiv Gupta and Mary Lou Soffa
Proceedings of the International Conference on Software Maintenance, ICSM 1994, Victoria, BC, Canada, September 1994

An Efficient Technique To Remove Transformations - View paper

ChyiRen Dow, Mary Lou Soffa and ShiKuo Chang
Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China

Data Flow Analysis For Verifying Properties Of Concurrent Programs - View paper

Matthew B Dwyer and Lori A Clarke
SIGSOFT '94, Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, Louisiana, USA, December 6-9, 1994

Debugging Optimized Code Via Tailoring (Abstract) - View paper

Lori L Pollock, Mary P Bivens and Mary Lou Soffa
Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994

Efficient Computation Of Interprocedural Definition-Use Chains - View paper

Mary Jean Harrold and Mary Lou Soffa

Efficient Register Allocation Via Coloring Using Clique Separators - View paper

Rajiv Gupta, Mary Lou Soffa and Denise Ombres

Reducing The Cost Of Data Flow Analysis By Congruence Partitioning - View paper

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings

Resource Spackling: A Framework For Integrating Register Allocation In Local And Global Schedulers

David A Berson, Rajiv Gupta and Mary Lou Soffa
Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montr'eal, Canada, 24-26 August, 1994

Scheduling Dag'S For Asynchronous Multiprocessor Execution - View paper

Brian A Malloy, Errol L Lloyd and Mary Lou Soffa

The Design And Implementation Of Genesis - View paper

Deborah Whitfield and Mary Lou Soffa

Undoing Code Transformations In An Independent Order - View paper

ChyiRen Dow, Mary Lou Soffa and ShiKuo Chang
Proceedings of the 1994 International Conference on Parallel Processing, North Carolina State University, NC, USA, August 15-19, 1994. Volume II: Software

1993

A Methodology For Controlling The Size Of A Test Suite - View paper

Mary Jean Harrold, Rajiv Gupta and Mary Lou Soffa

A Practical Data Flow Framework For Array Reference Analysis And Its Use In Optimizations - View paper

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993

Adding Implicit Invocation To Languages: Three Approaches - View paper

David Notkin, David Garlan, William G Griswold and Kevin J Sullivan
Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings

Employing Static Information In The Generation Of Test Cases - View paper

Rajiv Gupta and Mary Lou Soffa

Investigating Properties Of Code Transformations - View paper

Deborah Whitfield and Mary Lou Soffa
Proceedings of the 1993 International Conference on Parallel Processing, Syracuse University, NY, USA, August 16-20, 1993. Volume II: Software

Ursa: A Unified Resource Allocator For Registers And Functional Units In Vliw Architectures

David A Berson, Rajiv Gupta and Mary Lou Soffa
Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, PACT 1993, Orlando, Florida, USA, January 20-22, 1993

1992

A Fine-Grained Approach To Scheduling Asynchronous Multiprocessors

Brian A Malloy, Errol L Lloyd and Mary Lou Soffa
Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings

A Shape Matching Approach For Scheduling Fine-Grained Parallelism - View paper

Brian A Malloy, Rajiv Gupta and Mary Lou Soffa
Proceedings of the 25th Annual International Symposium on Microarchitecture, Portland, Oregon, USA, November 1992

A Visual Optimization Specification Language

ChyiRen Dow, Mary Lou Soffa and ShiKuo Chang
Advanced Visual Interfaces - Proceedings of the International Workshop, AVI 1992, Rome, Italy, May 27-29, 1992

A Visualization System For Parallelizing Programs - View paper

ChyiRen Dow, ShiKuo Chang and Mary Lou Soffa
Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20, 1992

Distributed Slicing And Partial Re-Execution For Distributed Programs - View paper

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
Languages and Compilers for Parallel Computing, 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings

Parallel Task Assignment By Graph Partitioning - View paper

Shan Fan Liu and Mary Lou Soffa
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings

Register Pipelining: An Integrated Approach To Register Allocation For Scalar And Subscripted Variables - View paper

Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa
Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings

Techniques For Integrating Parallelizing Transformations And Compiler-Based Scheduling Methods - View paper

Tia M Watts, Mary Lou Soffa and Rajiv Gupta
Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20, 1992

The Combining Dag: A Technique For Parallel Datamow Analysis - View paper

Robert Kramer, Rajiv Gupta and Mary Lou Soffa
Proceedings of the 6th International Parallel Processing Symposium, Beverly Hills, CA, USA, March 1992

1991

Automatic Generation Of Global Optimizers - View paper

Deborah Whitfield and Mary Lou Soffa
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991

Concurrency Analysis In The Presence Of Procedures Using A Data-Flow Framework - View paper

Evelyn Duesterwald and Mary Lou Soffa
Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, British Columbia, Canada, October 8-10, 1991

Debugging Parallelized Code Using Code Liberation Techniques - View paper

Patricia Prather Pineo and Mary Lou Soffa
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, USA, May 20-21, 1991

Parallel Generational Garbage Collection - View paper

Ravi Sharma and Mary Lou Soffa
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'91), Sixth Annual Conference, Phoenix, Arizona, USA, October 6-11, 1991, Proceedings

Selecting And Using Data Fro Integration Testing - View paper

Mary Jean Harrold and Mary Lou Soffa

1990

A Transportable Programming Language (Tpl) System-Ii: The Bifunctional Compiler System - View paper

Soklei Leong, Stephen M Jodis, Kevin J Sullivan, Oliver Jiang and Paul A D de Maine

An Approach To Ordering Optimizing Transformations - View paper

Deborah Whitfield and Mary Lou Soffa
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990

Architectural Support For Register Allocation In The Presence Of Aliasing - View paper

Ben Heggy and Mary Lou Soffa
Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990

Computation Of Interprocedural Definition And Use Dependencies - View paper

Mary Jean Harrold and Mary Lou Soffa
1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA

Conversion Of Simulation Processes To Pascal Constructs - View paper

Brian A Malloy and Mary Lou Soffa

Incremental Global Optimization For Faster Recompilations - View paper

Lori L Pollock and Mary Lou Soffa
1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA

Incremental Register Reallocation - View paper

Mary P Bivens and Mary Lou Soffa

Reconciling Environment Integration And Component Independence - View paper

Kevin J Sullivan and David Notkin
SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA, December 3-5, 1990

Region Scheduling: An Approach For Detecting And Redistributing Parallelism - View paper

Rajiv Gupta and Mary Lou Soffa

1989

Compilation Techniques For A Reconfigurable Liw Architecture - View paper

Rajiv Gupta and Mary Lou Soffa

Interprocedual Data Flow Testing - View paper

Mary Jean Harrold and Mary Lou Soffa
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989

Register Allocation Via Clique Separators - View paper

Rajiv Gupta, Mary Lou Soffa and Tim Steele
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989

Reuse Of Compiler Analysis In A Programming Environment - View paper

M P Blivens and Mary Lou Soffa
Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989

1988

An Incremental Approach To Unit Testing During Maintenance - View paper

Mary Jean Harrold and Mary Lou Soffa
Proceedings of the Conference on Software Maintenance, ICSM 1988, Scottsdale, AZ, USA, 24-27 October, 1988

Compile-Time Techniques For Efficient Utilization Of Parallel Memories - View paper

Rajiv Gupta and Mary Lou Soffa
Proceedings of the ACM/SIGPLAN PPEALS 1988, Parallel Programming: Experience with Applications, Languages and Systems, New Haven, Connecticut, USA, July 19-21, 1988

On Locating Minimum Feedback Vertex Sets - View paper

Errol L Lloyd and Mary Lou Soffa

1987

A Reconfigurable Liw Architecture

Rajiv Gupta and Mary Lou Soffa
International Conference on Parallel Processing, ICPP'87, University Park, PA, USA, August 1987

1986

Shape: A Highly Adaptable And Parallel System - View paper

Rajiv Gupta and Mary Lou Soffa
Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986

Simcal: The Merger Of Simula And Pascal - View paper

Brian A Malloy and Mary Lou Soffa
Proceedings of the 18th conference on Winter simulation, WSC 1986, Washington, DC, USA, December 8-10, 1986

1985

An Optimistic Implementation Of The Stack-Heap - View paper

Jean R S Blair, Phil Kearns and Mary Lou Soffa

Eager Reclamation - View paper

ChingChy Wang and Mary Lou Soffa

Efficient Storage Management For Temporary Values In Concurrent Programming Languages - View paper

Donna J Quammen, John P Kearns and Mary Lou Soffa

Feedback Vertex Sets And Cyclically Reducible Graphs - View paper

ChingChy Wang, Errol L Lloyd and Mary Lou Soffa

Incremental Compilation Of Locally Optimized Code - View paper

Lori L Pollock and Mary Lou Soffa
Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985

The Efficiency Of Storage Management Schemes For Ada Programs - View paper

Rajiv Gupta and Mary Lou Soffa

1984

Reverse Execution In A Generalized Control Regime - View paper

Fernando Lafora and Mary Lou Soffa

1983

The Contraction Of Control Implementations - View paper

Lawrence A Coon, John P Kearns and Mary Lou Soffa

The Implementation Of Retention In A Coroutine Environment - View paper

John P Kearns and Mary Lou Soffa

1982

Control Discipline Necessity: Making The Language As General As The Implementation - View paper

Mary Lou Soffa

The Performance Evaluation Of Control Implementations - View paper

John P Kearns, Carol J Meier and Mary Lou Soffa

1981

Referencing And Retention In Block-Structured Coroutines - View paper

Gary Lindstrom and Mary Lou Soffa

1980

An Instructional Aid For Student Programs - View paper

Sally S Robinson and Mary Lou Soffa
Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1980, Kansas City, MO, USA, February 14-15, 1980

Coroutine Behaviour And Implementation - View paper

W Pauli and Mary Lou Soffa

1977

Control Separation In Programming Languages - View paper

Michael J Lemon, Gary Lindstrom and Mary Lou Soffa
Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977