Sasa Misailovic

According to our database, Sasa Misailovic authored at least 89 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Int. J. Softw. Tools Technol. Transf., June, 2024

Mobiprox: Supporting Dynamic Approximate Computing on Mobiles.

Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic

IEEE Internet Things J., May, 2024

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs.

Yuchen Yang, Shubham Ugare, Yifan Zhao, Gagandeep Singh, Sasa Misailovic

CoRR, 2024

IterGen: Iterative Structured LLM Generation.

Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic

CoRR, 2024

FastFlip: Compositional Error Injection Analysis.

Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic

CoRR, 2024

Improving LLM Code Generation with Grammar Augmentation.

Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

CoRR, 2024

GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems.

Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Quantizing Large-Language Models for Predicting Flaky Tests.

Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Incremental Randomized Smoothing Certification.

Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Is Watermarking LLM-Generated Code Robust?

Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024

Felix: Optimizing Tensor Programs with Gradient Descent.

Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Synthesizing Precise Static Analyzers for Automatic Differentiation.

Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., October, 2023

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic

Int. J. Softw. Tools Technol. Transf., August, 2023

Incremental Verification of Neural Networks.

Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh

Proc. ACM Program. Lang., 2023

ASTRA: Understanding the practical impact of robustness for probabilistic programs.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Proceedings of the Uncertainty in Artificial Intelligence, 2023

ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization.

Yifan Zhao, Hashim Sharif, Peter Pao-Huang, Vatsin Shah, Arun Narenthiran Sivakumar, Mateus Valverde Gasparino, Abdulrahman Mahmoud, Nathan Zhao, Sarita V. Adve, Girish Chowdhary, Sasa Misailovic, Vikram S. Adve

Proceedings of the Sixth Conference on Machine Learning and Systems, 2023

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

Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Provable Defense Against Geometric Transformations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

Proceedings of the Eleventh International Conference on Learning Representations, 2023

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

Ashitabh Misra, Jacob Laurel, Sasa Misailovic

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference.

Zitong Zhou, Zixin Huang, Sasa Misailovic

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Proof transfer for fast certification of multiple approximate neural networks.

Shubham Ugare, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

A general construction for abstract interpretation of higher-order automatic differentiation.

Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

A dual number abstraction for static analysis of Clarke Jacobians.

Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems.

Adel Ejjeh, Aaron Councilman, Akash Kothari, Maria Kotsifakou, Leon Medvinsky, Abdul Rafae Noor, Hashim Sharif, Yifan Zhao, Sarita V. Adve, Sasa Misailovic, Vikram S. Adve

IEEE Micro, 2022

Automated quantized inference for probabilistic programs with AQUA.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Innov. Syst. Softw. Eng., 2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.

Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

CoRR, 2022

Training Certifiably Robust Neural Networks Against Semantic Perturbations.

Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

CoRR, 2022

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

Saikat Dutta, Anshul Arunachalam, Sasa Misailovic

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

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

Saikat Dutta, Zixin Huang, Sasa Misailovic

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

ACM Comput. Surv., 2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.

Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra

CoRR, 2021

FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.

Saikat Dutta, August Shi, Sasa Misailovic

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

ApproxTuner: a compiler and runtime system for adaptive approximations.

Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

TERA: optimizing stochastic regression tests in machine learning projects.

Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

WiDir: A Wireless-Enabled Directory Cache Coherence Protocol.

Antonio Franques, Apostolos Kokolis, Sergi Abadal, Vimuth Fernando, Sasa Misailovic, Josep Torrellas

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.

Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

AQUA: Automated Quantized Inference for Probabilistic Programs.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Koord: a language for programming and verifying distributed robotics application.

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

Proc. ACM Program. Lang., 2020

Augmented example-based synthesis using relational perturbation properties.

Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta

Proc. ACM Program. Lang., 2020

Detecting flaky tests in probabilistic and machine learning applications.

Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Predictive constraint solving and analysis.

Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

V-Combiner: speeding-up iterative graph processing on a shared-memory platform with vertex merging.

Azin Heidarshenas, Serif Yesil, Dimitrios Skarlatos, Sasa Misailovic, Adam Morrison, Josep Torrellas

Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Continualization of Probabilistic Programs With Correction.

Jacob Laurel, Sasa Misailovic

Proceedings of the Programming Languages and Systems, 2020

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.

Keyur Joshi, Vimuth Fernando, Sasa Misailovic

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Quantifying the Exploration of the Korat Solver for Imperative Constraints.

Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2019

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.

Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proc. ACM Program. Lang., 2019

Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.

Vimuth Fernando, Keyur Joshi, Sasa Misailovic

Proc. ACM Program. Lang., 2019

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

R. Iris Bahar, Ulya R. Karpuzcu, Sasa Misailovic

Proceedings of the 37th IEEE VLSI Test Symposium, 2019

Storm: program reduction for testing and debugging probabilistic programming systems.

Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Resurgence of Regression Test Selection for C++.

Ben Fu, Sasa Misailovic, Milos Gligoric

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Statistical algorithmic profiling for randomized approximate programs.

Keyur Joshi, Vimuth Fernando, Sasa Misailovic

Proceedings of the 41st International Conference on Software Engineering, 2019

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

Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Minotaur: Adapting Software Testing Techniques for Hardware Errors.

Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

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

Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, Josep Torrellas

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

A Progress Bar for the JPF Search Using Program Executions.

Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2018

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

CoRR, 2018

VideoChef: Efficient Approximation for Streaming Video Processing Pipelines.

Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Testing probabilistic programming systems.

Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].

Ritwika Ghosh, Sasa Misailovic, Sayan Mitra

Proceedings of the 2018 Workshop on Advanced Tools, 2018

Bayonet: probabilistic inference for networks.

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Approximate Transformations as Mutation Operators.

Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

PSense: Automatic Sensitivity Analysis for Probabilistic Programs.

Zixin Huang, Zhenbang Wang, Sasa Misailovic

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Control Strategies for Self-Adaptive Software Systems.

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

ACM Trans. Auton. Adapt. Syst., 2017

Mutation Testing Meets Approximate Computing.

Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Phase-aware optimization in approximate computing.

Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Probabilistic reasoning for analysis of approximate computations.

Sasa Misailovic

Proceedings of the 2017 International Conference on Compilers, 2017

2016

Verifying quantitative reliability for programs that execute on unreliable hardware.

Michael Carbin, Sasa Misailovic, Martin C. Rinard

Commun. ACM, 2016

PSI: Exact Symbolic Inference for Probabilistic Programs.

Timon Gehr, Sasa Misailovic, Martin T. Vechev

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Accuracy-aware optimization of approximate programs.

Sasa Misailovic

PhD thesis, 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz

Dagstuhl Reports, 2015

Software Engineering Meets Control Theory.

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Accuracy-aware optimization of approximate programs.

Sasa Misailovic

Proceedings of the 2015 International Conference on Compilers, 2015

2014

Chisel: reliability- and accuracy-aware optimization of approximate computational kernels.

Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Parallelizing Sequential Programs with Statistical Accuracy Tests.

Sasa Misailovic, Deokhwan Kim, Martin C. Rinard

ACM Trans. Embed. Comput. Syst., 2013

Verified integrity properties for safe approximate program transformations.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Randomized accuracy-aware program transformations for efficient approximate computations.

Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Proving acceptability properties of relaxed nondeterministic approximate programs.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dancing with uncertainty.

Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard

Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Bolt: on-demand infinite loop escape in unmodified binaries.

Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

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

Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Probabilistically Accurate Program Transformations.

Sasa Misailovic, Daniel M. Roy, Martin C. Rinard

Proceedings of the Static Analysis - 18th International Symposium, 2011

Detecting and Escaping Infinite Loops with Jolt.

Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Dynamic knobs for responsive power-aware computing.

Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Patterns and statistical analysis for understanding reduced resource computing.

Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Quality of service profiling.

Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2007

Parallel test generation and execution with Korat.

Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Korat: A Tool for Generating Structurally Complex Test Inputs.

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007