Sasa Misailovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
57
Venues
30
Active years
2007–2025
Best venue rank
A*
Where they publish
- A*ICSE7 papers
- AOOPSLA5 papers
- A*ICLR4 papers
- A*ASPLOS4 papers
- AICST4 papers
- ACGO3 papers
- BATVA3 papers
- BSAS2 papers
- AISSTA2 papers
- A*PLDI2 papers
- Journal PublishedCASES2 papers
- A*ICML1 paper
- AISSRE1 paper
- ADATE1 paper
- AUAI1 paper
- BFASE1 paper
- A*DAC1 paper
- A*HPCA1 paper
- BPPoPP1 paper
- BRV1 paper
- AESOP1 paper
- AICS1 paper
- ADSN1 paper
- NationalVTS1 paper
- A*PODC1 paper
- AUSENIX1 paper
- A*CAV1 paper
- CPEPM1 paper
- A*POPL1 paper
- AECOOP1 paper
Papers
57 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CGO | FastFlip: Compositional SDC Resiliency Analysis. | Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic |
| 2025 | ICLR | IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking. | Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic |
| 2025 | ICML | CRANE: Reasoning with constrained LLM generation. | Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh |
| 2025 | SAS | AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty. | Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic |
| 2024 | ASPLOS | Felix: Optimizing Tensor Programs with Gradient Descent. | Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic |
| 2024 | ICLR | Is Watermarking LLM-Generated Code Robust? | Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic |
| 2024 | ICLR | Incremental Randomized Smoothing Certification. | Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic |
| 2024 | ICST | Quantizing Large-Language Models for Predicting Flaky Tests. | Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi |
| 2024 | ISSRE | GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. | Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic |
| 2023 | ATVA | AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. | Zitong Zhou, Zixin Huang, Sasa Misailovic |
| 2023 | DATE | ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. | Ashitabh Misra, Jacob Laurel, Sasa Misailovic |
| 2023 | ICLR | Provable Defense Against Geometric Transformations. | Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh |
| 2023 | ICSE | Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. | Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang |
| 2023 | UAI | ASTRA: Understanding the practical impact of robustness for probabilistic programs. | Zixin Huang, Saikat Dutta, Sasa Misailovic |
| 2022 | FASE | SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. | Saikat Dutta, Zixin Huang, Sasa Misailovic |
| 2022 | ICST | 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 |
| 2021 | ATVA | AQUA: Automated Quantized Inference for Probabilistic Programs. | Zixin Huang, Saikat Dutta, Sasa Misailovic |
| 2021 | DAC | Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. | Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic |
| 2021 | HPCA | WiDir: A Wireless-Enabled Directory Cache Coherence Protocol. | Antonio Franques, Apostolos Kokolis, Sergi Abadal, Vimuth Fernando, Sasa Misailovic, Josep Torrellas |
| 2021 | ISSTA | TERA: optimizing stochastic regression tests in machine learning projects. | Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic |
| 2021 | PPoPP | 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 |
| 2021 | RV | Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. | Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic |
| 2020 | CGO | Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. | Keyur Joshi, Vimuth Fernando, Sasa Misailovic |
| 2020 | ESOP | Continualization of Probabilistic Programs With Correction. | Jacob Laurel, Sasa Misailovic |
| 2020 | ICS | 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 |
| 2020 | ICSE | Predictive constraint solving and analysis. | Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid |
| 2020 | ISSTA | Detecting flaky tests in probabilistic and machine learning applications. | Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic |
| 2019 | ASPLOS | Replica: A Wireless Manycore for Communication-Intensive and Approximate Data. | Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, Josep Torrellas |
| 2019 | ASPLOS | Minotaur: Adapting Software Testing Techniques for Hardware Errors. | Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve |
| 2019 | DSN | 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 |
| 2019 | ICSE | Statistical algorithmic profiling for randomized approximate programs. | Keyur Joshi, Vimuth Fernando, Sasa Misailovic |
| 2019 | ICST | Resurgence of Regression Test Selection for C++. | Ben Fu, Sasa Misailovic, Milos Gligoric |
| 2019 | VTS | Special Session: Does Approximation Make Testing Harder (or Easier)? | R. Iris Bahar, Ulya R. Karpuzcu, Sasa Misailovic |
| 2018 | ATVA | PSense: Automatic Sensitivity Analysis for Probabilistic Programs. | Zixin Huang, Zhenbang Wang, Sasa Misailovic |
| 2018 | ICST | Approximate Transformations as Mutation Operators. | Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic |
| 2018 | PLDI | Bayonet: probabilistic inference for networks. | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | PODC | Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. | Ritwika Ghosh, Sasa Misailovic, Sayan Mitra |
| 2018 | USENIX | VideoChef: Efficient Approximation for Streaming Video Processing Pipelines. | Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi |
| 2017 | CASES | Probabilistic reasoning for analysis of approximate computations. | Sasa Misailovic |
| 2017 | CGO | Phase-aware optimization in approximate computing. | Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi |
| 2017 | ICSE | Mutation Testing Meets Approximate Computing. | Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi |
| 2016 | CAV | PSI: Exact Symbolic Inference for Probabilistic Programs. | Timon Gehr, Sasa Misailovic, Martin T. Vechev |
| 2015 | CASES | Accuracy-aware optimization of approximate programs. | Sasa Misailovic |
| 2015 | ICSE | Software Engineering Meets Control Theory. | Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicols 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 |
| 2014 | OOPSLA | Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. | Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard |
| 2013 | OOPSLA | Verifying quantitative reliability for programs that execute on unreliable hardware. | Michael Carbin, Sasa Misailovic, Martin C. Rinard |
| 2013 | PEPM | Verified integrity properties for safe approximate program transformations. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2012 | OOPSLA | Bolt: on-demand infinite loop escape in unmodified binaries. | Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard |
| 2012 | OOPSLA | Dancing with uncertainty. | Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard |
| 2012 | PLDI | Proving acceptability properties of relaxed nondeterministic approximate programs. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2012 | POPL | Randomized accuracy-aware program transformations for efficient approximate computations. | Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard |
| 2011 | ASPLOS | Dynamic knobs for responsive power-aware computing. | Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard |
| 2011 | ECOOP | Detecting and Escaping Infinite Loops with Jolt. | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
| 2011 | SAS | Probabilistically Accurate Program Transformations. | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
| 2010 | ICSE | Quality of service profiling. | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
| 2010 | OOPSLA | Patterns and statistical analysis for understanding reduced resource computing. | Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
| 2007 | ICSE | Korat: A Tool for Generating Structurally Complex Test Inputs. | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |