default search action
Sasa Misailovic
Person information
- affiliation: University of Illinois at Urbana-Champaign, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Matevz Fabjancic
, Octavian Machidon, Hashim Sharif
Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. IEEE Internet Things J. 11(9): 16873-16886 (2024) - [j21]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): 249-268 (2024) - [c59]Yifan Zhao
Felix: Optimizing Tensor Programs with Gradient Descent. ASPLOS (3) 2024: 367-381 - [c58]Tarun Suresh, Shubham Ugare, Gagandeep Singh
Is Watermarking LLM-Generated Code Robust? Tiny Papers @ ICLR 2024 - [c57]Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic:
Incremental Randomized Smoothing Certification. ICLR 2024 - [c56]Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi:
Quantizing Large-Language Models for Predicting Flaky Tests. ICST 2024: 93-104 - [c55]Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic:
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. ISSRE 2024: 260-271 - [i13]Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh:
Improving LLM Code Generation with Grammar Augmentation. CoRR abs/2403.01632 (2024) - [i12]Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic:
FastFlip: Compositional Error Injection Analysis. CoRR abs/2403.13989 (2024) - [i11]Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic:
Is Watermarking LLM-Generated Code Robust? CoRR abs/2403.17983 (2024) - [i10]Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic:
IterGen: Iterative Structured LLM Generation. CoRR abs/2410.07295 (2024) - [i9]Yuchen Yang, Shubham Ugare, Yifan Zhao, Gagandeep Singh, Sasa Misailovic:
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs. CoRR abs/2410.24214 (2024) - 2023
- [j20]Jacob Laurel
Synthesizing Precise Static Analyzers for Automatic Differentiation. Proc. ACM Program. Lang. 7(OOPSLA2): 1964-1992 (2023) - [j19]Shubham Ugare
Incremental Verification of Neural Networks. Proc. ACM Program. Lang. 7(PLDI): 1920-1945 (2023) - [j18]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): 521-539 (2023) - [c54]Zitong Zhou, Zixin Huang, Sasa Misailovic:
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. ATVA 2023: 288-301 - [c53]Ashitabh Misra, Jacob Laurel, Sasa Misailovic:
ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference. DATE 2023: 1-6 - [c52]Rem Yang
Provable Defense Against Geometric Transformations. ICLR 2023 - [c51]Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang:
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE 2023: 1801-1813 - [c50]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 - [c49]Zixin Huang, Saikat Dutta, Sasa Misailovic:
ASTRA: Understanding the practical impact of robustness for probabilistic programs. UAI 2023: 900-910 - [i8]Matevz Fabjancic, Octavian Machidon, Hashim Sharif, Yifan Zhao, Sasa Misailovic, Veljko Pejovic:
Mobiprox: Supporting Dynamic Approximate Computing on Mobiles. CoRR abs/2303.11291 (2023) - [i7]Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh:
Incremental Verification of Neural Networks. CoRR abs/2304.01874 (2023) - [i6]Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic:
Incremental Randomized Smoothing Certification. CoRR abs/2305.19521 (2023) - 2022
- [j17]Zixin Huang
Automated quantized inference for probabilistic programs with AQUA. Innov. Syst. Softw. Eng. 18(3): 369-384 (2022) - [j16]Adel Ejjeh
HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems. IEEE Micro 42(5): 108-117 (2022) - [j15]Shubham Ugare
Proof transfer for fast certification of multiple approximate neural networks. Proc. ACM Program. Lang. 6(OOPSLA1): 1-29 (2022) - [j14]Jacob Laurel
A general construction for abstract interpretation of higher-order automatic differentiation. Proc. ACM Program. Lang. 6(OOPSLA2): 1007-1035 (2022) - [j13]Jacob Laurel, Rem Yang
A dual number abstraction for static analysis of Clarke Jacobians. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [j12]Chiao Hsieh
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4205-4216 (2022) - [c48]Saikat Dutta, Zixin Huang, Sasa Misailovic:
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. FASE 2022: 123-144 - [c47]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: 151-161 - [i5]Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
Training Certifiably Robust Neural Networks Against Semantic Perturbations. CoRR abs/2207.11177 (2022) - [i4]Keyur Joshi, Chiao Hsieh
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR abs/2208.02232 (2022) - 2021
- [j11]Phillip Stanley-Marbell
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. 53(3): 51:1-51:39 (2021) - [c46]Zixin Huang, Saikat Dutta, Sasa Misailovic:
AQUA: Automated Quantized Inference for Probabilistic Programs. ATVA 2021: 229-246 - [c45]Jacob Laurel, Rem Yang
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. DAC 2021: 787-792 - [c44]Antonio Franques, Apostolos Kokolis
WiDir: A Wireless-Enabled Directory Cache Coherence Protocol. HPCA 2021: 304-317 - [c43]Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic:
TERA: optimizing stochastic regression tests in machine learning projects. ISSTA 2021: 413-426 - [c42]Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi
ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP 2021: 262-277 - [c41]Vimuth Fernando, Keyur Joshi
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV 2021: 184-206 - [c40]Saikat Dutta, August Shi, Sasa Misailovic:
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds. ESEC/SIGSOFT FSE 2021: 603-614 - [i3]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 abs/2111.05534 (2021) - 2020
- [j10]Ritwika Ghosh, Chiao Hsieh
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4(OOPSLA): 232:1-232:30 (2020) - [j9]Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta:
Augmented example-based synthesis using relational perturbation properties. Proc. ACM Program. Lang. 4(POPL): 56:1-56:24 (2020) - [j8]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): 20-22 (2020) - [c39]Keyur Joshi
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. CGO 2020: 56-67 - [c38]Jacob Laurel, Sasa Misailovic:
Continualization of Probabilistic Programs With Correction. ESOP 2020: 366-393 - [c37]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: 9:1-9:13 - [c36]Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Predictive constraint solving and analysis. ICSE (NIER) 2020: 109-112 - [c35]Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic:
Detecting flaky tests in probabilistic and machine learning applications. ISSTA 2020: 211-224
2010 – 2019
- 2019
- [j7]Vimuth Fernando, Keyur Joshi
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. Proc. ACM Program. Lang. 3(OOPSLA): 119:1-119:29 (2019) - [j6]Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. 3(OOPSLA): 186:1-186:30 (2019) - [j5]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): 15 (2019) - [c34]Vimuth Fernando, Antonio Franques, Sergi Abadal
Replica: A Wireless Manycore for Communication-Intensive and Approximate Data. ASPLOS 2019: 849-863 - [c33]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: 1087-1103 - [c32]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: 214-221 - [c31]Keyur Joshi
Statistical algorithmic profiling for randomized approximate programs. ICSE 2019: 608-618 - [c30]Ben Fu, Sasa Misailovic, Milos Gligoric:
Resurgence of Regression Test Selection for C++. ICST 2019: 323-334 - [c29]Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic:
Storm: program reduction for testing and debugging probabilistic programming systems. ESEC/SIGSOFT FSE 2019: 729-739 - [c28]R. Iris Bahar
Special Session: Does Approximation Make Testing Harder (or Easier)? VTS 2019: 1-9 - 2018
- [j4]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): 55 (2018) - [c27]Zixin Huang, Zhenbang Wang, Sasa Misailovic:
PSense: Automatic Sensitivity Analysis for Probabilistic Programs. ATVA 2018: 387-403 - [c26]Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296 - [c25]Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev:
Bayonet: probabilistic inference for networks. PLDI 2018: 586-602 - [c24]Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC 2018: 41-44 - [c23]Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic:
Testing probabilistic programming systems. ESEC/SIGSOFT FSE 2018: 574-586 - [c22]Ran Xu
VideoChef: Efficient Approximation for Streaming Video Processing Pipelines. USENIX ATC 2018: 43-56 - [i2]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 abs/1809.05859 (2018) - 2017
- [j3]Antonio Filieri
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11(4): 24:1-24:31 (2017) - [c21]Sasa Misailovic:
Probabilistic reasoning for analysis of approximate computations. CASES 2017: 4:1 - [c20]Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi:
Phase-aware optimization in approximate computing. CGO 2017: 185-196 - [c19]Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi:
Mutation Testing Meets Approximate Computing. ICSE-NIER 2017: 3-6 - 2016
- [j2]Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM 59(8): 83-91 (2016) - [c18]Timon Gehr, Sasa Misailovic, Martin T. Vechev:
PSI: Exact Symbolic Inference for Probabilistic Programs. CAV (1) 2016: 62-83 - 2015
- [b1]Sasa Misailovic:
Accuracy-aware optimization of approximate programs. Massachusetts Institute of Technology, Cambridge, MA, USA, 2015 - [c17]Sasa Misailovic:
Accuracy-aware optimization of approximate programs. CASES 2015: 37-38 - [c16]Antonio Filieri
Software Engineering Meets Control Theory. SEAMS@ICSE 2015: 71-82 - [i1]Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz:
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5(11): 151-179 (2015) - 2014
- [c15]Sasa Misailovic, Michael Carbin, Sara Achour
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA 2014: 309-328 - 2013
- [j1]Sasa Misailovic, Deokhwan Kim, Martin C. Rinard:
Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12(2s): 88:1-88:26 (2013) - [c14]Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA 2013: 33-52 - [c13]Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
Verified integrity properties for safe approximate program transformations. PEPM 2013: 63-66 - 2012
- [c12]Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard:
Dancing with uncertainty. RACES@SPLASH 2012: 51-60 - [c11]Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard:
Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA 2012: 431-450 - [c10]Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI 2012: 169-180 - [c9]Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard:
Randomized accuracy-aware program transformations for efficient approximate computations. POPL 2012: 441-454 - 2011
- [c8]Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard:
Dynamic knobs for responsive power-aware computing. ASPLOS 2011: 199-212 - [c7]Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard:
Detecting and Escaping Infinite Loops with Jolt. ECOOP 2011: 609-633 - [c6]Sasa Misailovic, Daniel M. Roy, Martin C. Rinard:
Probabilistically Accurate Program Transformations. SAS 2011: 316-333 - [c5]Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard:
Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE 2011: 124-134 - 2010
- [c4]Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard:
Quality of service profiling. ICSE (1) 2010: 25-34 - [c3]Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou:
Patterns and statistical analysis for understanding reduced resource computing. OOPSLA 2010: 806-821
2000 – 2009
- 2007
- [c2]Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774 - [c1]Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: