No photo of Sasa Misailovic

View Scopus Profile

Sasa Misailovic

Search results

  • 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 proceeding › Conference contribution

  • Bayonet: Probabilistic inference for networks

    Gehr, T., Misailovic, S., Tsankov, P., Vanbever, L., Wiesmann, P. & Vechev, M., Jun 11 2018, In: ACM SIGPLAN Notices. 53, 4, p. 586-602 17 p.

    Research output: Contribution to journal › Article › peer-review

  • 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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • PSense: Automatic Sensitivity Analysis for Probabilistic Programs

    Huang, Z., Wang, Z. & Misailovic, S., 2018, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Proceedings. Wang, C. & Lahiri, S. K. (eds.). Springer, 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 proceeding › Conference contribution

  • 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, 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 proceeding › Conference contribution

    Open Access
  • 2017

    Control strategies for self-adaptive software systems

    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., Feb 2017, In: ACM Transactions on Autonomous and Adaptive Systems. 11, 4, 24.

    Research output: Contribution to journal › Review article › peer-review

    Open Access

  • 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. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, ICSE-NIER 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • 2016

    PSI: Exact symbolic inference for probabilistic programs

    Gehr, T., Misailovic, S. & Vechev, M., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer, 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 proceeding › Conference contribution

  • Verifying quantitative reliability for programs that execute on unreliable hardware

    Carbin, M., Misailovic, S. & Rinard, M. C., Aug 2016, In: Communications of the ACM. 59, 8, p. 83-91 9 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 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 proceeding › Conference contribution

    Open Access

  • 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 proceeding › Conference contribution

    Open Access
  • 2014

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

    Misailovic, S., Carbin, M., Achour, S., Qi, Z. & Rinard, M., Dec 31 2014, In: ACM SIGPLAN Notices. 49, 10, p. 309-328 20 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • 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 proceeding › Conference contribution

  • 2013

    Parallelizing sequential programs with statistical accuracy tests

    Misailovic, S., Kim, D. & Rinard, M., May 2013, In: Transactions on Embedded Computing Systems. 12, 2 SUPPL., 88.

    Research output: Contribution to journal › Article › peer-review

  • Verified integrity properties for safe approximate program transformations

    Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., 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 proceeding › Conference contribution

    Open Access

  • Verifying quantitative reliability for programs that execute on unreliable hardware

    Carbin, M., Misailovic, S. & Rinard, M. C., 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 proceeding › Conference contribution

    Open Access

  • Verifying quantitative reliability for programs that execute on unreliable hardware

    Carbin, M., Misailovic, S. & Rinard, M. C., Oct 2013, In: ACM SIGPLAN Notices. 48, 10, p. 33-52 20 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 2012

    Bolt: On-demand infinite loop escape in unmodified binaries

    Kling, M., Misailovic, S., Carbin, M. & Rinard, M., Oct 2012, In: ACM SIGPLAN Notices. 47, 10, p. 431-450 20 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Bolt: On-demand infinite loop escape in unmodified binaries

    Kling, M., Misailovic, S., Carbin, M. & Rinard, M., 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 proceeding › Conference contribution

  • Dancing with uncertainty

    Misailovic, S., Sidiroglou, S. & Rinard, M. C., 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 proceeding › Conference contribution

  • Dynamic knobs for responsive power-aware computing

    Hoffmann, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A. & Rinard, M., Jun 2012, In: ACM SIGPLAN Notices. 47, 4, p. 199-212 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Proving acceptability properties of relaxed nondeterministic approximate programs

    Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., Aug 2012, In: ACM SIGPLAN Notices. 47, 6, p. 169-180 12 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Proving acceptability properties of relaxed nondeterministic approximate programs

    Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., 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 proceeding › Conference contribution

    Open Access

  • Randomized accuracy-aware program transformations for efficient approximate computations

    Zhu, Z. A., Misailovic, S., Kelner, J. A. & Rinard, M., 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 proceeding › Conference contribution

    Open Access

  • Randomized accuracy-aware program transformations for efficient approximate computations

    Zhu, Z. A., Misailovic, S., Kelner, J. A. & Rinard, M., Jan 2012, In: ACM SIGPLAN Notices. 47, 1, p. 441-454 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 2011

    Detecting and escaping infinite loops with jolt

    Carbin, M., Misailovic, S., Kling, M. & Rinard, M. C., 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 proceeding › Conference contribution

    Open Access

  • Dynamic knobs for responsive power-aware computing

    Hoffmann, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A. & Rinard, M., 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 proceeding › Conference contribution

    Open Access

  • Managing performance vs. accuracy trade-offs with loop perforation

    Sidiroglou, S., Misailovic, S., Hoffmann, H. & Rinard, M., 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 proceeding › Conference contribution

    Open Access

  • Probabilistically accurate program transformations

    Misailovic, S., Roy, D. M. & Rinard, M. C., 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 proceeding › Conference contribution

  • 2010

    Patterns and statistical analysis for understanding reduced resource computing

    Rinard, M., Hoffmann, H., Misailovic, S. & Sidiroglou, S., Oct 2010, In: ACM SIGPLAN Notices. 45, 10, p. 806-821 16 p.

    Research output: Contribution to journal › Article › peer-review

  • Patterns and statistical analysis for understanding reduced resource computing

    Rinard, M., Hoffmann, H., Misailovic, S. & Sidiroglou, S., 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 proceeding › Conference contribution

    Open Access

  • Quality of service profiling

    Misailovic, S., Sidiroglou, S., Hoffmann, H. & Rinard, M., 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 proceeding › Conference contribution

    Open Access
  • 2007

    Korat: A tool for generating structurally complex test inputs

    Milićević, A., Misailović, S., Marinov, D. & Khurshid, S., 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 proceeding › Conference contribution

    Open Access

  • Parallel test generation and execution with Korat

    Misailovic, S., Milicevic, A., Petrovic, N., Khurshid, S. & Marinov, D., 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 proceeding › Conference contribution

    Open Access