Sasa Misailovic

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 71

Top Venues

CoRR

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

ATVA

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
Incremental Randomized Smoothing Certification. ICLR (2024)
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Is Watermarking LLM-Generated Code Robust? CoRR (2024)
Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
Improving LLM Code Generation with Grammar Augmentation. CoRR (2024)
Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
FastFlip: Compositional Error Injection Analysis. CoRR (2024)
Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic
Felix: Optimizing Tensor Programs with Gradient Descent. ASPLOS (3) (2024)
Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic
Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. IEEE Internet Things J. 11 (9) (2024)
Zixin Huang, Saikat Dutta, Sasa Misailovic
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Is Watermarking LLM-Generated Code Robust? Tiny Papers @ ICLR (2024)
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
Incremental Verification of Neural Networks. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE (2023)
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
Provable Defense Against Geometric Transformations. ICLR (2023)
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
Synthesizing Precise Static Analyzers for Automatic Differentiation. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
Incremental Randomized Smoothing Certification. CoRR (2023)
Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic
Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. CoRR (2023)
Ashitabh Misra, Jacob Laurel, Sasa Misailovic
ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. DATE (2023)
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Zixin Huang, Saikat Dutta, Sasa Misailovic
ASTRA: Understanding the practical impact of robustness for probabilistic programs. UAI (2023)
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
Incremental Verification of Neural Networks. CoRR (2023)
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
ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization. MLSys (2023)
Zitong Zhou, Zixin Huang, Sasa Misailovic
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ATVA (2023)
Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Proof transfer for fast certification of multiple approximate neural networks. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Saikat Dutta, Anshul Arunachalam, Sasa Misailovic
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects. ICST (2022)
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
A general construction for abstract interpretation of higher-order automatic differentiation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
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
HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems. IEEE Micro 42 (5) (2022)
Zixin Huang, Saikat Dutta, Sasa Misailovic
Automated quantized inference for probabilistic programs with AQUA. Innov. Syst. Softw. Eng. 18 (3) (2022)
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR (2022)
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
A dual number abstraction for static analysis of Clarke Jacobians. Proc. ACM Program. Lang. 6 (POPL) (2022)
Saikat Dutta, Zixin Huang, Sasa Misailovic
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. FASE (2022)
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
Training Certifiably Robust Neural Networks Against Semantic Perturbations. CoRR (2022)
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV (2021)
Antonio Franques, Apostolos Kokolis, Sergi Abadal, Vimuth Fernando, Sasa Misailovic, Josep Torrellas
WiDir: A Wireless-Enabled Directory Cache Coherence Protocol. HPCA (2021)
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. DAC (2021)
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR (2021)
Zixin Huang, Saikat Dutta, Sasa Misailovic
AQUA: Automated Quantized Inference for Probabilistic Programs. ATVA (2021)
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
ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP (2021)
Saikat Dutta, August Shi, Sasa Misailovic
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds. ESEC/SIGSOFT FSE (2021)
Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
TERA: optimizing stochastic regression tests in machine learning projects. ISSTA (2021)
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. CGO (2020)
Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Predictive constraint solving and analysis. ICSE (NIER) (2020)
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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Jacob Laurel, Sasa Misailovic
Continualization of Probabilistic Programs With Correction. ESOP (2020)
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic
Detecting flaky tests in probabilistic and machine learning applications. ISSTA (2020)
Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
Augmented example-based synthesis using relational perturbation properties. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Azin Heidarshenas, Serif Yesil, Dimitrios Skarlatos, Sasa Misailovic, Adam Morrison, Josep Torrellas
V-Combiner: speeding-up iterative graph processing on a shared-memory platform with vertex merging. ICS (2020)
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
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. 53 (3) (2020)
Vimuth Fernando, Keyur Joshi, Sasa Misailovic
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
Statistical algorithmic profiling for randomized approximate programs. ICSE (2019)
Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic
Storm: program reduction for testing and debugging probabilistic programming systems. ESEC/SIGSOFT FSE (2019)
Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. DSN (2019)
R. Iris Bahar, Ulya R. Karpuzcu, Sasa Misailovic
Special Session: Does Approximation Make Testing Harder (or Easier)? VTS (2019)
Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Ben Fu, Sasa Misailovic, Milos Gligoric
Resurgence of Regression Test Selection for C++. ICST (2019)
Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
Minotaur: Adapting Software Testing Techniques for Hardware Errors. ASPLOS (2019)
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, Josep Torrellas
Replica: A Wireless Manycore for Communication-Intensive and Approximate Data. ASPLOS (2019)
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
Bayonet: probabilistic inference for networks. PLDI (2018)
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
Testing probabilistic programming systems. ESEC/SIGSOFT FSE (2018)
Zixin Huang, Zhenbang Wang, Sasa Misailovic
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. ATVA (2018)
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
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. CoRR (2018)
Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi
VideoChef: Efficient Approximation for Streaming Video Processing Pipelines. USENIX Annual Technical Conference (2018)
Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
Approximate Transformations as Mutation Operators. ICST (2018)
Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC (2018)
Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi
Phase-aware optimization in approximate computing. CGO (2017)
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
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
Mutation Testing Meets Approximate Computing. ICSE-NIER (2017)
Sasa Misailovic
Probabilistic reasoning for analysis of approximate computations. CASES (2017)
Michael Carbin, Sasa Misailovic, Martin C. Rinard
Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM 59 (8) (2016)
Timon Gehr, Sasa Misailovic, Martin T. Vechev
PSI: Exact Symbolic Inference for Probabilistic Programs. CAV (1) (2016)
Sasa Misailovic
Accuracy-aware optimization of approximate programs. CASES (2015)
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
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5 (11) (2015)
Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA (2014)
Michael Carbin, Sasa Misailovic, Martin C. Rinard
Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA (2013)
Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Verified integrity properties for safe approximate program transformations. PEPM (2013)
Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard
Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA (2012)
Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard
Randomized accuracy-aware program transformations for efficient approximate computations. POPL (2012)
Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard
Dancing with uncertainty. RACES@SPLASH (2012)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI (2012)
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard
Dynamic knobs for responsive power-aware computing. ASPLOS (2011)
Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
Probabilistically Accurate Program Transformations. SAS (2011)
Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard
Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE (2011)
Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
Detecting and Escaping Infinite Loops with Jolt. ECOOP (2011)
Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou
Patterns and statistical analysis for understanding reduced resource computing. OOPSLA (2010)
Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard
Quality of service profiling. ICSE (1) (2010)
Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE (2007)
Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE (2007)

Sasa Misailovic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sasa Misailovic