Sasa Misailovic

20072019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2007 2019

  • 32 Conference contribution
  • 9 Article
  • 1 Review article
Filter
Conference contribution
2019

Gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis

Venkatagiri, R., Ahmed, K., Mahmoud, A., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 214-221 8 p. 8809540. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Error analysis
Redundancy
Simulators
Costs
Experiments

Minotaur: Adapting Software Testing Techniques for Hardware Errors

Mahmoud, A., Venkatagiri, R., Ahmed, K., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 1087-1103 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Software testing
Computer hardware
Hardware

Replica: A Wireless Manycore for Communication-Intensive and Approximate Data

Fernando, V., Franques, A., Abadal, S., Misailovic, S. & Torrellas, J., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 849-863 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Communication
Synchronization
Energy utilization
Automation

Resurgence of Regression Test Selection for C++

Fu, B., Misailovic, S. & Gligoric, M., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 323-334 12 p. 8730161. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Static analysis
Industry

Special Session: Does Approximation Make Testing Harder (or Easier)?

Bahar, R. I., Karpuzcu, U. & Misailovic, S., Apr 2019, 2019 IEEE 37th VLSI Test Symposium, VTS 2019. IEEE Computer Society, 8758649. (Proceedings of the IEEE VLSI Test Symposium; vol. 2019-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Learning systems
Energy conservation
Hardware

Statistical Algorithmic Profiling for Randomized Approximate Programs

Joshi, K., Fernando, V. & Misailovic, S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 608-618 11 p. 8811971. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Data storage equipment
Linear algebra
Statistical tests
Processing

Storm: Program reduction for testing and debugging probabilistic programming systems

Dutta, S., Zhang, W., Huang, Z. & Misailovic, S., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 729-739 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer debugging
Computer systems programming
Testing
Computer programming languages
2018

Approximate Transformations as Mutation Operators

Hariri, F., Shi, A., Legunsen, O., Gligoric, M., Khurshid, S. & Misailovic, S., May 25 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018. Institute of Electrical and Electronics Engineers Inc., p. 285-296 12 p. (Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Testing

Bayonet: Probabilistic inference for networks

Gehr, T., Misailovic, S., Tsankov, P., Vanbever, L., Wiesmann, P. & Vechev, M., Jun 11 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). Association for Computing Machinery, p. 586-602 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Topology

Language semantics driven design and formal analysis for distributed cyber-physical systems

Ghosh, R., Misailovic, S. & Mitra, S., Jul 23 2018, ApPLIED 2018 - Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, Co-located with PODC 2018. Association for Computing Machinery, p. 41-44 4 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Computer programming
Application programs
Interfaces (computer)
Actuators

PSense: Automatic Sensitivity Analysis for Probabilistic Programs

Huang, Z., Wang, Z. & Misailovic, S., Jan 1 2018, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Proceedings. Wang, C. & Lahiri, S. K. (eds.). Springer-Verlag, p. 387-403 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11138 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensitivity analysis
Sensitivity Analysis
Metric
Prior distribution
Calculate

Testing probabilistic programming systems

Dutta, S., Legunsen, O., Huang, Z. & Misailovic, S., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 574-586 13 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer systems programming
Testing
Stochastic models
Application programming interfaces (API)
2017

Mutation testing meets approximate computing

Gligoric, M., Khurshid, S., Misailovic, S. & Shi, A., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, ICSE-NIER 2017. Institute of Electrical and Electronics Engineers Inc., p. 3-6 4 p. 7966867

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Software testing
Syntactics
Costs
Mutation

Phase-aware optimization in approximate computing

Mitra, S., Gupta, M. K., Misailovic, S. & Bagchi, S., Feb 23 2017, CGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization. Reddi, V. J., Smith, A. & Tang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 185-196 12 p. 7863739. (CGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optimization
Computing
Approximation
Tolerance
Benchmark
2016

PSI: Exact symbolic inference for probabilistic programs

Gehr, T., Misailovic, S. & Vechev, M., Jan 1 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer-Verlag, p. 62-83 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Exact Inference
Random variables
Algebra
Probabilistic Inference
Posterior distribution
2015

Accuracy-aware optimization of approximate programs

Misailovic, S., Nov 10 2015, 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2015. Institute of Electrical and Electronics Engineers Inc., p. 37-38 2 p. 7324543. (2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Energy efficiency
Learning systems
Processing
Big data

Software Engineering Meets Control Theory

Filieri, A., Maggio, M., Angelopoulos, K., D'Ippolito, N., Gerostathopoulos, I., Hempel, A. B., Hoffmann, H., Jamshidi, P., Kalyvianaki, E., Klein, C., Krikava, F., Misailovic, S., Papadopoulos, A. V., Ray, S., Sharifloo, A. M., Shevtsov, S., Ujma, M. & Vogel, T., Aug 12 2015, Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015. Institute of Electrical and Electronics Engineers Inc., p. 71-82 12 p. 7194659. (Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Control theory
Software engineering
Controllers
Adaptive systems
Learning systems
2014

Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels

Misailovic, S., Carbin, M., Achour, S., Qi, Z. & Rinard, M., Oct 15 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Association for Computing Machinery, p. 309-328 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Energy utilization
Specifications
Hardware
Natural sciences computing
Energy conservation
2013

Verified integrity properties for safe approximate program transformations

Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., Feb 12 2013, PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013. p. 63-66 4 p. (PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning systems
Image processing
Semantics

Verifying quantitative reliability for programs that execute on unreliable hardware

Carbin, M., Misailovic, S. & Rinard, M. C., Nov 28 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 33-52 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardware
Reliability analysis
Specifications
Computer programming languages
Learning systems
2012

Bolt: On-demand infinite loop escape in unmodified binaries

Kling, M., Misailovic, S., Carbin, M. & Rinard, M., Nov 27 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 431-450 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bolts

Dancing with uncertainty

Misailovic, S., Sidiroglou, S. & Rinard, M. C., Dec 1 2012, SPLASH 2012: RACES 2012 - Proceedings of the 2012 ACM Workshop on Relaxing Synchronization for Multicore and Manycore Scalability. p. 51-60 10 p. (SPLASH 2012: RACES 2012 - Proceedings of the 2012 ACM Workshop on Relaxing Synchronization for Multicore and Manycore Scalability).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Mathematical transformations
Uncertainty

Proving acceptability properties of relaxed nondeterministic approximate programs

Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., Jul 9 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 169-180 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Knobs
Computer programming languages
Synchronization
Acoustic waves

Randomized accuracy-aware program transformations for efficient approximate computations

Zhu, Z. A., Misailovic, S., Kelner, J. A. & Rinard, M., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 441-454 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer science
Substitution reactions
Semantics
Sampling
Specifications
2011

Detecting and escaping infinite loops with jolt

Carbin, M., Misailovic, S., Kling, M. & Rinard, M. C., Aug 10 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 609-633 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Iteration
Output
Benchmark
Potential Problems
Consecutive

Dynamic knobs for responsive power-aware computing

Hoffmann, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A. & Rinard, M., Mar 31 2011, ASPLOS XVI - 16th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 199-212 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knobs
Control systems
Power management
Costs

Managing performance vs. accuracy trade-offs with loop perforation

Sidiroglou, S., Misailovic, S., Hoffmann, H. & Rinard, M., Sep 30 2011, SIGSOFT/FSE'11 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. p. 124-134 11 p. (SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning algorithms
Learning systems
Testing
Monte Carlo simulation

Probabilistically accurate program transformations

Misailovic, S., Roy, D. M. & Rinard, M. C., Sep 28 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 316-333 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Program Transformation
Justify
Probabilistic Reasoning
Semantics
Probabilistic Approach
2010

Patterns and statistical analysis for understanding reduced resource computing

Rinard, M., Hoffmann, H., Misailovic, S. & Sidiroglou, S., Dec 20 2010, OOPSLA'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. p. 806-821 16 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Statistical methods
Forms (concrete)
Concretes

Quality of service profiling

Misailovic, S., Sidiroglou, S., Hoffmann, H. & Rinard, M., Jul 23 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 25-34 10 p. (Proceedings - International Conference on Software Engineering; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quality of service
2007

Korat: A tool for generating structurally complex test inputs

Milićević, A., Misailović, S., Marinov, D. & Khurshid, S., Sep 25 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007. p. 771-774 4 p. 4222644. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Structural integrity
Testing

Parallel test generation and execution with Korat

Misailovic, S., Milicevic, A., Petrovic, N., Khurshid, S. & Marinov, D., Dec 1 2007, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. p. 135-144 10 p. (6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing