Sasa Misailovic

Filter
Conference contribution

Search results

  • 2023

    AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference

    Zhou, Z., Huang, Z. & Misailovic, S., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer, p. 288-301 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

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

  • Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests

    Xia, C. S., Dutta, S., Misailovic, S., Marinov, D. & Zhang, L., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 1801-1813 13 p. (Proceedings - International Conference on Software Engineering).

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

  • ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference

    Misra, A., Laurel, J. & Misailovic, S., 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2023-April).

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

  • 2022

    SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning

    Dutta, S., Huang, Z. & Misailovic, S., 2022, Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Johnsen, E. B. & Wimmer, M. (eds.). Springer, p. 123-144 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13241 LNCS).

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

    Open Access
  • To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects

    Dutta, S., Arunachalam, A. & Misailovic, S., 2022, Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022. Institute of Electrical and Electronics Engineers Inc., p. 151-161 11 p. (Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022).

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

  • 2021

    ApproxTuner: A compiler and runtime system for adaptive approximations

    Sharif, H., Zhao, Y., Kotsifakou, M., Kothari, A., Schreiber, B., Wang, E., Sarita, Y., Zhao, N., Joshi, K., Adve, V. S., Misailovic, S. & Adve, S., Feb 17 2021, PPoPP 2021 - Proceedings of the 2021 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 262-277 16 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

    Open Access
  • AQUA: Automated Quantized Inference for Probabilistic Programs

    Huang, Z., Dutta, S. & Misailovic, S., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, p. 229-246 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).

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

  • Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs

    Fernando, V., Joshi, K., Laurel, J. & Misailovic, S., 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer, p. 184-206 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12974 LNCS).

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

  • FLEX: Fixing flaky tests in machine learning projects by updating assertion bounds

    Dutta, S., Shi, A. & Misailovic, S., Aug 20 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 603-614 12 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

  • Statheros: Compiler for Efficient Low-Precision Probabilistic Programming

    Laurel, J., Yang, R., Sehgal, A., Ugare, S. & Misailovic, S., Dec 5 2021, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. Institute of Electrical and Electronics Engineers Inc., p. 787-792 6 p. (Proceedings - Design Automation Conference; vol. 2021-December).

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

  • TERA: Optimizing stochastic regression tests in machine learning projects

    Dutta, S., Selvam, J., Jain, A. & Misailovic, S., Jul 11 2021, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Cadar, C. & Zhang, X. (eds.). Association for Computing Machinery, p. 413-426 14 p. 3464844. (ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

  • WiDir: A Wireless-Enabled Directory Cache Coherence Protocol

    Franques, A., Kokolis, A., Abadal, S., Fernando, V., Misailovic, S. & Torrellas, J., Feb 2021, Proceeding - 27th IEEE International Symposium on High Performance Computer Architecture, HPCA 2021. IEEE Computer Society, p. 304-317 14 p. 9407196. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2021-February).

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

    Open Access
  • 2020

    Aloe: Verifying reliability of approximate programs in the presence of recovery mechanisms

    Joshi, K., Fernando, V. & Misailovic, S., Feb 22 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). Association for Computing Machinery, p. 56-67 12 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

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

    Open Access
  • Continualization of Probabilistic Programs With Correction

    Laurel, J. & Misailovic, S., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 366-393 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

    Open Access
  • Detecting flaky tests in probabilistic and machine learning applications

    Dutta, S., Shi, A., Choudhary, R., Zhang, Z., Jain, A. & Misailovic, S., Jul 18 2020, ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 211-224 14 p. (ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

    Open Access
  • Predictive constraint solving and analysis

    Almaawi, A., Dini, N., Yelen, C., Gligoric, M., Misailovic, S. & Khurshid, S., Jun 27 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020. IEEE Computer Society, p. 109-112 4 p. 3381740. (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • V-Combiner: Speeding-up iterative graph processing on a shared-memory platform with vertex merging

    Heidarshenas, A., Yesil, S., Skarlatos, D., Misailovic, S., Morrison, A. & Torrellas, J., Jun 29 2020, Proceedings of the 34th ACM International Conference on Supercomputing, ICS 2020. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing).

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

  • VIDEOCHEF: Efficient approximation for streaming video processing pipelines

    Xu, R., Koo, J., Kumar, R., Bai, P., Mitra, S., Misailovic, S. & Bagchi, S., 2020, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018. USENIX Association, p. 43-55 13 p. (Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference 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

  • 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
  • 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
  • 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

  • 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

  • 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

  • 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, 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

    Open Access
  • 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

  • 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

  • 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

  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 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. (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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • 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

    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 proceedingConference contribution

    Open Access
  • 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

  • 2013

    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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 2012

    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 proceedingConference 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 proceedingConference contribution

  • 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 proceedingConference 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 proceedingConference contribution

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
  • 2010

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access