Below is a list of the publications by our lab members:
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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