misailo@illinois.edu


 Associate Professor
 Department of Computer Science
 University of Illinois
 4110 Siebel Center
 201 N Goodwin Avenue
 Urbana, IL 61801, USA

  Scholar    LinkedInLinkedIn
  DBLP      Facebook Facebook

 

 Publications:     
 2024        2023        2022
 2021        2020        2019
 2018        2017        2016
 2015        2014        2013
 before

 

 Software:     
 Repositories      

 

 

Sasa Misailovic

Pronunciation: /Sa-sha Mee-sail-oveech/

I am an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. I received my PhD from MIT in Summer 2015.

My research interests include programming languages, compilers, and software engineering, with an emphasis on improving performance, energy efficiency, and resilience in the face of software errors and approximation opportunities. Read More >>

News   

  • New: Papers accepted to ASPLOS'24, ICLR'24, ICST'24, IEEE IoT Journal, and STTT Journal.

  • New: Jacob Laurel is on the academic job market this year!

  • Saikat completed his PhD dissertation. He will continue as an Assistant Professor at Cornell.

  • Papers accepted to OOPSLA'23, ATVA'23, UAI'23, PLDI'23, MLSYS'23, ICLR'23, ICSE'23, DATE'23.

  • Sasa has been promoted to Associate Professor with Tenure.

   Previous News
  • Vimuth completed his PhD dissertation.

  • Papers accepted to POPL'22, ICST'22, FASE'22, EMSOFT'22, and OOPSLA'22 (x2).

  • Papers accepted to DAC'21, HPCA'21, PPOPP'21, ATVA'21, FSE'21, ISSTA'21, and RV'21.

  • ApproxTuner and ApproxHPVM are avaliable as a part of HPVM release.

  • Papers accepted to POPL'20, CGO'20, ESOP'20, ICS'20, ISSTA'20, and OOPSLA'20.

  • Two papers accepted to OOPSLA'19, and one to FSE'19.

  • Received the NSF CAREER award.

  • The source code of AxProf is now available at axprof.org.

  • Two papers accepted to ASPLOS'19, one to ICSE'19, and one to ICST'19.

  • The source code of ProbFuzz is now available at probfuzz.com.

  • Our paper on ProbFuzz, "Testing probabilistic programming systems" has been accepted to FSE 2018.

  • PSense: Automatic Sensitivity Analysis for Probabilistic Programs has been accepted to ATVA 2018.

  • Bayonet: Probabilistic Inference for Networks has been accepted to PLDI 2018.

  • The source code of PSI probabilistic solver is now available at psisolver.org

  • Our review article on verifying quantiative reliability in Rely appears in the Communications of the ACM.

  • Chisel wins a Best Paper Award at OOPSLA '14 and appears on Gizmodo, Reddit, and MITNews.

  • Rely makes Slashdot and MITNews.

  • Rely wins a Best Paper Award at OOPSLA '13 and gets recognized as a SIGPLAN Research Highlight.

  • Bolt appears on Slashdot, Ars Technica, and MITnews.

  • Loop Perforation makes Dr Dobb's Journal and MITNews.


Teaching  

   Previous Courses

Students  

Current PhD students:

Graduated PhD students:

Graduated Master-level students: Eric Zhao (MEng; Spring 2022-Spring 2023; next position: PhD student at UCLA)

Previous Postdocs: Dr. Hashim Sharif (co-advised with Vikram Adve; Summer 2021-Summer 2022; next position: Researcher at AMD Research).

Current undergraduates: Tarun Suresh (Spring 2023-now), Yunchen Yang (Fall 2023-now), Hangoo Kang (Spring 2023-now).

Previous undergraduates: Expand Rem Yang (Spring 2020-Spring 2023), Tommaso Bassetto (Fall 2020-Winter 2021; Fall 2022-Fall 2023), Robert Nagel (Fall 2021-Summer 2022), Enguang Fan (Summer 2020-Fall 2020), Jeeva Selvam (Summer 2020-Winter 2020), Atharva Sehgal (Spring 2020-Winter 2020), Ziang Wan (Spring 2019-Spring 2020), Aryaman Jain (Winter 2019-Summer 2020), Zhekun Zhang (Fall 2019), Wenxian Zhang (Spring 2018-Spring 2019), Hakan Tekgul (Fall 2018-Spring 2019), Otto Piramuthu (Fall 2018), Zixin Huang (Summer 2017-Spring 2018), Zhenbang Wang (Summer 2017-Fall 2017), Khalique Ahmed (Spring 2017), Nitesh Nath (Spring 2017).

 

Publications  


2024

  • Felix: Optimizing Tensor Programs with Gradient Descent
    Yifan Zhao, Hashim Sharif, Vikram Adve, Sasa Misailovic
    29th International Conference on Architectural Support for Programming Languages and Operating Systems
    (ASPLOS 2024), San Diego, USA, April 2024.
    full text        

  • Mobiprox: Supporting Dynamic Approximate Computing on Mobiles
    Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic
    IEEE Internet of Things Journal
    (IEEE IoT), IEEE 2024
    preprint        

  • Incremental Randomized Smoothing Certification
    Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
    12th International Conference on Learning Representations
    (ICLR 2024), Vienna, Austria, May 2024. Acceptance Rate 31%
    preprint        

  • Is Watermarking LLM-Generated Code Robust?
    Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
    Tiny Papers Track at 12th International Conference on Learning Representations
    (TinyPapers@ICLR 2024), Vienna, Austria, May 2024. (Invited as Notable)
    preprint        

  • Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning with SixthSense
    Zixin Huang, Saikat Dutta, Sasa Misailovic
    The International Journal on Software Tools for Technology Transfer
    (STTT). Springer, 2024. Extended version of the FASE 2022 paper.

  • Quantizing Large-Language Models for Predicting Flaky Tests
    Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi
    17th IEEE International Conference on Software Testing, Verification and Validation.
    (ICST 2024), Toronto, ON, Canada, May 2024. Acceptance Rate 25% (28/112)

  • Abstract Interpretation for Automatic Differentiation
    Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
    10th Workshop on Languages for Inference at POPL
    (LAFI 2024), London, UK, January 2024. Collocated with POPL 2024

2023

  • Synthesizing Precise Static Analyzers for Automatic Differentiation
    Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
    38th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2023), Cascais, Portugal, October 2023. Acceptance Rate 36% (111/305)
    full text     code    

  • AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference
    Zitong Zhou, Zixin Huang, Sasa Misailovic
    21st International Symposium on Automated Technology for Verification and Analysis
    (ATVA 2023), Singapore, Singapore, October 2023. Acceptance Rate 32% (37/115 papers)
    full text     code    

  • Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs with Diamont
    Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
    The International Journal on Software Tools for Technology Transfer
    (STTT 2023). Springer, August 2023. Extended Version of the RV 2021 paper.
    full text     

  • Toward Continuous Verification of DNNs
    Shubham Ugare, Debangshu Banerjee, Tarun Suresh, Sasa Misailovic, Gagandeep Singh
    2nd Workshop on Formal Verification of Machine Learning
    (WFVML 2023), Honolulu, Hawaii, USA, July 2023. Collocated with ICML 2023
    full text        

  • ASTRA: Understanding the Practical Impact of Robustness for Probabilistic Programs
    Zixin Huang, Saikat Dutta, Sasa Misailovic
    39th Conference on Uncertainty in Artificial Intelligence
    (UAI 2023), Pittsburgh, PA, August 2023. Acceptance Rate 31% (243/778 papers)
    abstract     full text     code    

  • Incremental Verification of Neural Networks
    Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
    39th ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2023), Orlando, FL, June 2023. Acceptance Rate 31% (84/269 papers)
    abstract     full text     code    

  • 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 Adve, Girish Chowdhary, Sasa Misailovic, Vikram Adve
    6th Conference on Machine Learning and Systems
    (MLSYS 2023), Miami, FL, June 2023. Acceptance Rate 22% (45/207 papers)
    full text    

  • Provable Defense Against Geometric Transformations
    Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
    11th International Conference on Learning Representations
    (ICLR 2023), Kigali, Rwanda, May 2023. Acceptance Rate 32%
    (Selected as Spotlight: notable top 25% of accepted papers)
    preprint

  • FASER: Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests
    Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
    45th IEEE/ACM International Conference on Software Engineering
    (ICSE 2023), Melbourne, Australia, May 2023. Acceptance Rate 26% (208/796 papers)
    abstract     full text        

  • ViX: Analysis-driven Compiler for Efficient Low-Precision Differentiable Inference
    Ashitabh Misra, Jacob Laurel, Sasa Misailovic
    26th Design, Automation and Test in Europe Conference
    (DATE 2023), Antwerp, Belgium, April 2023. Acceptance Rate 25%
    abstract     full text        

2022

  • A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
    Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
    37th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2022), Auckland, New Zealand, December 2022. Acceptance Rate 31% (92/294 papers)
    abstract     full text     code    

  • Proof Transfer for Fast Certification of Multiple Approximate Neural Networks
    Shubham Ugare, Gagandeep Singh, Sasa Misailovic
    37th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2022), Auckland, New Zealand, December 2022. Acceptance Rate 31% (92/294 papers)
    abstract     full text     code    

  • Verifying Controllers with Vision-based Perception using Safe Approximate Abstractions
    Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
    International Conference on Embedded Software
    (EMSOFT 2022), Shanghai, China, October 2022.
    abstract     full text      

  • 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 Adve, Sasa Misailovic, Vikram Adve
    IEEE Micro Journal
    (IEEE Micro), IEEE, September-October 2022.
    abstract     full text      

  • Accuracy-Aware Compilers
    Sasa Misailovic
    Book Chapter in Approximate Computing Techniques From Component- to Application-Level
    (ACT), Springer Nature Switzerland AG, June 2022.
    abstract     full text      

  • 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
    15th IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2022). Valencia, Spain, April 2022. Acceptance Rate 29% (25/85 papers)
    abstract     full text    

  • SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning
    Saikat Dutta, Zixin Huang, Sasa Misailovic
    25th International Conference on Fundamental Approaches to Software Engineering
    (FASE 2022). Munich, Germany, April 2022. Acceptance Rate 27% (17/62 papers)
    abstract     full text    

  • Automated Quantized Inference for Probabilistic Programs with AQUA
    Zixin Huang, Saikat Dutta, Sasa Misailovic
    Innovations in Systems and Software Engineering: A NASA Journal
    (ISSE NASA). Extended version of the ATVA 2021 paper.
    abstract     full text    

  • A Dual Number Abstraction for Static Analysis of Clarke Jacobians
    Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
    49th ACM SIGPLAN Symposium on Principles of Programming Languages
    (POPL 2022), Philadelphia, PA, USA, January 2022. Acceptance rate 23% (65/286 papers)
    abstract     full text    

2021

  • Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
    Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
    21st International Conference on Runtime Verification
    (RV 2021), Los Angeles, October 2021. Acceptance Rate 38%
    abstract     full text     

  • AQUA: Automated Quantized Inference for Probabilistic Programs
    Zixin Huang, Saikat Dutta, Sasa Misailovic
    19th International Symposium on Automated Technology for Verification and Analysis
    (ATVA 2021), Gold Coast, Australia, October 2021. Acceptance Rate 27% (19/71 papers)
    abstract     full text  (the extended version invited to NASA ISSE journal)     

  • FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds
    Saikat Dutta, August Shi, Sasa Misailovic
    29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2021), Athens, Greece, August 2021. Acceptance rate 24% (97/396 papers)
    abstract     full text     

  • TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
    Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
    30th ACM SIGSOFT International Symposium on Software Testing and Analysis
    (ISSTA 2021), Aarhus, Denmark, July 2021. Acceptance rate 22% (51/233 papers)
    abstract     full text     

  • Statheros: A Compiler for Efficient Low-Precision Probabilistic Programming
    Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
    58th Design Automation Conference
    (DAC 2021), San Francisco, CA, USA, July (December) 2021. Acceptance rate 23%
    abstract     full text     

  • ApproxTuner: A Compiler and Runtime System for Adaptive Approximations
    Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Benjamin Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram Adve, Sasa Misailovic, Sarita Adve
    26th ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming
    (PPOPP 2021), Seoul, South Korea, February 2021. Acceptance rate 21% (31/150 papers)
    abstract     full text     

  • WiDir: A Wireless-Enabled Directory Cache Coherence Protocol
    Antonio Franques, Apostolos Kokolis, Sergi Abadal, Vimuth Fernando, Sasa Misailovic, Josep Torrellas
    27th IEEE International Symposium on High-Performance Computer Architecture
    (HPCA 2021), Seoul, South Korea, February 2021. Acceptance rate 24% (63/258 papers)
    abstract     full text     

  • Secure and Resilient SoCs for Autonomous Vehicles
    Pradip Bose, Augusto Vega, Sarita Adve, Vikram Adve, Sasa Misailovic, Luca Carloni, Ken Shepard, David Brooks, Vijay Janapa Reddi, Gu-Yeon Wei
    3rd International Workshop on Domain Specific System Architecture
    (DOSSA 2021), Seoul, South Korea, February 2021.
    abstract     full text     

2020

  • Koord: A Language For Programming And Verifying Distributed Robotics Applications
    Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
    35th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2020), Chicago, IL, USA, November 2020. Acceptance Rate 36% (109/302 papers)
    abstract     full text     code    

  • Detecting Flaky Tests in Probabilistic and Machine Learning Applications
    Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic
    29th ACM SIGSOFT International Symposium on Software Testing and Analysis
    (ISSTA 2020), Los Angeles, CA, USA, July 2020. Acceptance rate 26% (43/162 papers)
    abstract     full text     code    

  • 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
    34th International Conference on Supercomputing
    (ICS 2020), Barcelona, Spain, June 2020. Acceptance rate 30% (40/132 papers)
    abstract     full text      

  • Continualization of Probabilistic Programs With Correction
    Jacob Laurel, Sasa Misailovic
    29th European Symposium on Programming
    (ESOP 2020), Dublin, Ireland, April 2020. Acceptance rate 31% (27/87 papers)
    abstract     full text      

  • Programming Unreliable Hardware
    Michael Carbin, Sasa Misailovic
    Book Chapter in Foundations of Probabilistic Programming
    (FOPP), Cambridge University Press, November 2020.
    abstract     full text      

  • 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 Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
    (ACM CSUR) ACM Computing Surveys Journal, July 2020 (Submitted June 2018)
    abstract     full text   preprint     (Copyright 2020 by ACM, Inc.)      

  • Predictive Constraint Solving and Analysis
    Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
    41st International Conference on Software Engineering, New Ideas and Emerging Results Track
    (ICSE NIER 2020), Seoul, South Korea, July 2020. (Distinguished Paper Award)
    abstract     full text      

  • Aloe: Verifying Reliability of Approximate Programs in the Presence of Recovery Mechanisms
    Keyur Joshi, Vimuth Fernando, Sasa Misailovic
    18th International Symposium on Code Generation and Optimization
    (CGO 2020), San Diego, CA, USA, February 2020. Acceptance rate 29% (26/89 papers)
    abstract     full text     appendix    

  • Augmented Example-based Synthesis using Relational Perturbation Properties
    Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
    47th ACM SIGPLAN Symposium on Principles of Programming Languages
    (POPL 2020), New Orleans, LA, USA, January 2020. Acceptance rate 27% (68/247 papers)
    abstract     full text    

2019

  • Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
    Vimuth Fernando, Keyur Joshi, Sasa Misailovic
    34th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2019), Athens, Greece, October 2019. Acceptance rate 36% (73/201 papers)
    abstract     full text     appendix    

  • ApproxHPVM: A Portable Compiler IR for Accuracy-aware Optimizations
    Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram Adve, Sasa Misailovic, Sarita Adve
    34th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2019), Athens, Greece, October 2019. Acceptance rate 36% (73/201 papers)
    abstract     full text        

  • Quantifying the Exploration of an Imperative Constraint Solver
    Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
    Java PathFinder Workshop 2019 (Collocated with ASE 2019)
    (JPF 2019), San Diego, CA, USA, November 2019.
    abstract   full text

  • Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
    Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic
    27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2019), Talin, Estonia, August 2019. Acceptance rate 24% (74/303 papers)
    abstract   full text     source    

  • Identifying Optimal Parameters for Randomized Approximate Algorithms
    Vimuth Fernando, Keyur Joshi, Darko Marinov, Sasa Misailovic
    Workshop on Approximate Computing Across the Stack (Collocated with PLDI 2019)
    (WAX 2019), Phoenix, AZ, June 2019.
    abstract     full text      

  • gem5-Approxilyzer: an Open Source Tool for Application-level Soft Error Analysis
    Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher Fletcher, Sarita V. Adve
    The 49th IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN 2019), Portland, OR, June 2019. (Tool Paper)
    abstract     full text      

  • Does Approximation Make Testing Harder (or Easier)?
    R. Iris Bahar, Ulya Karpuzcu, Sasa Misailovic
    IEEE VLSI Test Symposium 2019 (Special Session on Approximate Computing)
    (VTS 2019), Monterey, CA, April 2019. (Invited paper)
    abstract     full text      

  • Statistical Algorithmic Profiling for Randomized Approximate Programs
    Keyur Joshi, Vimuth Fernando, Sasa Misailovic
    41st ACM/IEEE International Conference on Software Engineering
    (ICSE 2019), Montreal, Canada, May 2019. Acceptance rate 21% (109/529 papers)
    abstract     full text     source    

  • Resurgence of Regression Test Selection for C++
    Ben Fu, Sasa Misailovic, Milos Gligoric
    12th IEEE Conference on Software Testing, Validation, and Verification
    (ICST 2019), Xi'an, China, April 2019. Acceptance rate 28% (31/110 papers)
    abstract     full text      

  • Replica: A Wireless Manycore for Communication-Intensive and Approximate Data
    Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, Josep Torrellas
    24th International Conference on Architectural Support for Programming Languages and Operating Systems
    (ASPLOS 2019), Providence, RI, USA, April 2019. Acceptance rate 21% (74/350 papers)
    abstract     full text        

  • Minotaur: Adapting Software Testing Techniques for Hardware Errors
    Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher Fletcher, Sarita Adve
    24th International Conference on Architectural Support for Programming Languages and Operating Systems
    (ASPLOS 2019), Providence, RI, USA, April 2019. Acceptance rate 21% (74/350 papers)
    abstract     full text        

2018

  • Testing Probabilistic Programming Systems
    Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
    26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2018), Lake Buena Vista, FL, USA, November 2018. Acceptance rate 21% (61/289 papers)
    abstract     full text     source    

  • A Progress Bar for the JPF Search Using Program Executions
    Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
    Java PathFinder Workshop 2018 (Collocated with ESEC/FSE 2018)
    (JPF 2018), Lake Buena Vista, FL, USA, November 2018.
    abstract     full text     

  • PSense: Automatic Sensitivity Analysis for Probabilistic Programs
    Zixin Huang, Zhenbang Wang, Sasa Misailovic
    16th International Symposium on Automated Technology for Verification and Analysis
    (ATVA 2018), Los Angeles, CA, USA, October 2018.
    abstract     full text     source    

  • VideoChef: Efficient Approximation for Streaming Video Processing Pipelines
    Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi
    2018 USENIX Annual Technical Conference
    (USENIX ATC 2018), Boston, MA, USA, July 2018. Acceptance rate 20% (76/378 papers)
    abstract     full text    

  • Bayonet: Probabilistic Inference for Networks
    Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesman, Martin Vechev
    39th ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2018), Philadelphia, PA, USA, June 2018. Acceptance rate 22% (55/245 papers)
    abstract     full text    

  • Approximate Transformations as Mutation Operators
    Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
    11th IEEE Conference on Software Testing, Validation, and Verification
    (ICST 2018), Vasteras, Sweden, April 2018. Acceptance rate 25% (30/119 papers)
    abstract     full text    

  • Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems
    Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
    Workshop on Advanced Tools, Programming Languages, and Platforms for Implementing and Evaluating Agorithms for Distributed Systems (Collocated with PODC 2018)
    (APPLIED 2018), Royal Holloway, United Kingdom
    abstract     full text    

2017

  • Mutation Testing Meets Approximate Computing
    Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
    38th International Conference on Software Engineering, New Ideas and Emerging Results Track
    (ICSE NIER 2017), Buenos Aires, Argentina, May 2017. Acceptance rate 16% (14/85 papers)
    full text    

  • Leveraging Software Testing to Explore Input Dependence for Approximate Computing
    Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sarita V. Adve, Darko Marinov, Sasa Misailovic
    Workshop on Approximate Computing Across the Stack (Collocated with ASPLOS 2017)
    (WAX 2017), Xi'an, China, April 2017
    full text    

  • Phase-Aware Optimization in Approximate Computing
    Subrata Mitra, Manish Gupta, Sasa Misailovic, Saurabh Bagchi
    15th International Symposium on Code Generation and Optimization
    (CGO 2017), Austin, Texas, USA, February 2017. Acceptance rate 23% (26/114 papers)
    abstract     full text    

  • Control Strategies for Self-Adaptive Software Systems
    Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel.
    ACM Transactions on Autonomous and Adaptive Systems, Volume 11(4)
    (ACM TAAS), February 2017. Submitted September 2015.
    abstract     full text     (Copyright 2017 by ACM, Inc.)

2016

  • Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
    Michael Carbin, Sasa Misailovic, Martin C. Rinard
    Communications of the ACM, Volume 59 Number 8.
    (CACM), August 2016. Submitted July 2015. Invited Research Highlight.
    abstract    full text    introduction by Todd Millstein     (Copyright 2016 by ACM, Inc.)

  • PSI: Exact Symbolic Inference for Probabilistic Programs
    Timon Gehr, Sasa Misailovic, Martin Vechev
    28th International Conference on Computer Aided Verification
    (CAV 2016), Toronto, Ontario, Canada, July 2016. Acceptance rate 28% (46/165 papers)
    abstract     full text     source    

2015

  • Accuracy-Aware Optimization of Approximate Programs
    Sasa Misailovic
    International Conference on Compilers, Architecture and Synthesis for Embedded Systems
    (CASES 2015), Amsterdam, Netherlands, October 2015. Invited Extended Abstract
    full text    

  • Software Engineering Meets Control Theory
    Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel.
    10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
    (SEAMS 2015), Firenze, Italy, May 2015. Acceptance rate 29% (16/55 papers)
    abstract     full text    

2014

  • Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels
    Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
    29th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2014), Portland, OR, USA, October 2014. Acceptance rate 28% (52/185 papers)
    (Best Paper Award)
    abstract     full text    

  • Accuracy-Aware Program Transformations
    Sasa Misailovic
    First SIGPLAN Workshop on Probabilistic and Approximate Computing (Collocated with PLDI 2014)
    (APPROX 2014), Edinburgh, UK, June 2014. Invited Position Paper
    full text    

  • Synthesis of Randomized Accuracy-Aware Map-Fold Programs
    Sasa Misailovic, Martin C. Rinard
    Workshop on Approximate Computing Across the System Stack (Collocated with ASPLOS 2014)
    (WACAS 2014), Salt Lake City, UT, February 2014
    full text    

2013

  • Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
    Michael Carbin, Sasa Misailovic, Martin C. Rinard
    28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2013), Indianapolis, IN, USA, October 2013. Acceptance rate 26% (50/189 papers)
    (Best Paper Award)
    abstract    full text     MIT News article     Slashdot article

  • Parallelizing Sequential Programs With Statistical Accuracy Tests
    Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
    ACM Transactions on Embedded Computing Systems - Special Section on Probabilistic Embedded Computing.
    (ACM TECS PEC), May 2013. Submitted September 2011. Invited paper.
    abstract    full text     (Copyright 2013 by ACM, Inc.)

  • Verified Integrity Properties for Safe Approximate Program Transformations
    Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
    Workshop on Partial Evaluation and Program Manipulation (Collocated with POPL 2013)
    (PEPM 2013), Rome, Italy, January 2013
    full text    

2012

  • Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries
    Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard
    27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
    (OOPSLA/SPLASH 2012), Tucson, AZ, USA, October 2012. Acceptance rate 26% (59/228 papers)
    abstract    full text    

  • Dancing With Uncertainty
    Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard
    ACM Workshop on Relaxing Synchronization for Multicore and Manycore Scalability (Collocated with OOPSLA 2012)
    (RACES 2012), Tucson, AZ, October 2012
    abstract    full text    

  • Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
    Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
    33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2012), Beijing, China, June 2012. Acceptance rate 19% (48/255 papers)
    abstract    full text     MIT News Article

  • Randomized Accuracy-Aware Program Transformations for Efficient Approximate Computations
    Zeyuan Allen Zhu, Sasa Misailovic, Jonathan Kelner, Martin C. Rinard
    39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
    (POPL 2012), Philadelphia, PA, USA, January 2012. Acceptance rate 21% (44/205 papers)
    abstract    full text

2011

  • Probabilistically Accurate Program Transformations
    Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
    18th International Static Analysis Symposium.
    (SAS 2011), Venice, Italy, September 2011. Acceptance rate 33% (22/67 papers)
    abstract    full text

  • Managing Performance vs. Accuracy Trade-offs With Loop Perforation
    Stelios Sidiroglou, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard
    8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2011), Szeged, Hungary, September 2011. Acceptance rate 17% (34/203 papers)
    abstract    full text    

  • Detecting and Escaping Infinite Loops with Jolt
    Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard
    25th European Conference on Object-Oriented Programming.
    (ECOOP 2011), Lancaster, UK, July 2011. Acceptance rate 26% (26/100 papers)
    abstract    full text     MIT News article     Slashdot article

  • Dynamic Knobs for Responsive Power-Aware Computing
    Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard
    15th International Conference on Architectural Support for Programming Languages and Operating Systems.
    (ASPLOS 2011), Newport Beach, CA, USA, March 2011. Acceptance rate 21% (32/152 papers)
    abstract    full text    

2010

  • Patterns and Statistical Analysis for Understanding Reduced Resource Computing
    Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou
    Onward! 2010 Conference
    (Onward! 2010), Reno-Tahoe, NV, USA, October 2010. Acceptance rate 25% (9/36 papers)
    abstract    full text    

  • Quality of Service Profiling
    Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard
    32nd International Conference on Software Engineering
    (ICSE 2010), Cape Town, South Africa, May 2010. Acceptance rate 14% (54/380 papers)
    abstract    full text     MIT News article

2007

  • Parallel Test Generation and Execution with Korat
    Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
    6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2007), Dubrovnik, Croatia, September 2007. Acceptance rate 17% (43/251 papers)
    abstract    full text    

  • Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates
    Sasa Misailovic, Aleksandar Milicevic, Sarfraz Khurshid, Darko Marinov
    Workshop on Advances and Innovations in Systems Testing
    (STEP 2007), Memphis, TN, May 2007. Invited paper
    full text    

  • Korat: A Tool for Generating Structurally Complex Test Inputs
    Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
    Formal research demonstration at the 29th International Conference on Software Engineering
    (ICSE Demo 2007), Minneapolis, MN, May 2007. Acceptance rate: 22% (12/56 papers)
    abstract    full text    

 

Technical Reports  


  • 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 Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey
    ArXiv Preprint arXiv:1809.05859, September 2018.
    full text

  • Approximate and Probabilistic Computing: Design, Coding, Verification
    Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
    Dagstuhl Seminar Report 15491, Jaunary 2016.
    full text

  • Accuracy-Aware Optimization of Approximate Programs
    Sasa Misailovic
    PhD Thesis, August 2015.
    full text

  • Reliability-Aware Optimization of Approximate Computational Kernels with Rely
    Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin Rinard
    MIT-CSAIL-TR-2014-001, January 2014.
    full text

  • Synthesis of Randomized Accuracy-Aware Map-Fold Programs
    Sasa Misailovic, Martin C. Rinard
    MIT-CSAIL-TR-2013-031, December 2013.
    full text

  • Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
    Michael Carbin, Sasa Misailovic, Martin C. Rinard
    MIT-CSAIL-TR-2013-014, June 2013.
    full text

  • Reasoning about Relaxed Programs
    Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
    MIT-CSAIL-TR-2011-050, December 2011.
    full text

  • Probabilistic and Statistical Analysis of Perforated Patterns
    Sasa Misailovic, Daniel M. Roy, Martin C. Rinard
    MIT-CSAIL-TR-2011-003, January 2011.
    full text

  • Parallelizing Sequential Programs With Statistical Accuracy Tests
    Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
    MIT-CSAIL-TR-2010-038, August 2010.
    full text

  • Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures
    Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou, Anant Agarwal, Martin C. Rinard
    MIT-CSAIL-TR-2009-042, September 2009
    full text