Sasa Misailovic

Cited by

	All	Since 2017
Citations	3686	2164
h-index	26	24
i10-index	37	36

440

220

110

330

20082009201020112012201320142015201620172018201920202021202210 14 43 94 137 176 255 390 342 366 381 439 429 425 121

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

martin rinardMITVerified email at lcs.mit.edu
Michael CarbinMassachusetts Institute of TechnologyVerified email at csail.mit.edu
Henry (Hank) HoffmannAssociate Professor, University of ChicagoVerified email at cs.uchicago.edu
Stelios Sidiroglou-DouskosResearch Scientist at MIT CSAILVerified email at csail.mit.edu
Anant AgarwalFounder and CEO of edX, Professor of Electrical Engineering and Computer Science at MITVerified email at mit.edu
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Saikat DuttaUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Zixin HuangUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Vimuth FernandoUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonVerified email at imperial.ac.uk
Keyur JoshiUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Aleksandar MilicevicMicrosoftVerified email at csail.mit.edu
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu
August ShiThe University of Texas at AustinVerified email at utexas.edu
Martin VechevFull Professor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Timon GehrETH ZürichVerified email at inf.ethz.ch
Daniel M. RoyUniversity of Toronto, Dept of Statistical Sciences; Computer ScienceVerified email at utoronto.ca
Sara AchourMITVerified email at csail.mit.edu

Sasa Misailovic

University of Illinois at Urbana–Champaign

Verified email at illinois.edu - Homepage

Programming Languages Compilers Approximate Computing Probabilistic Programming Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Managing performance vs. accuracy trade-offs with loop perforation S Sidiroglou-Douskos, S Misailovic, H Hoffmann, M Rinard Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	596	2011
Dynamic knobs for responsive power-aware computing H Hoffmann, S Sidiroglou, M Carbin, S Misailovic, A Agarwal, M Rinard Proceedings of the sixteenth international conference on Architectural …, 2011	424	2011
Verifying quantitative reliability for programs that execute on unreliable hardware M Carbin, S Misailovic, MC Rinard Communications of the ACM 59 (8), 83-91, 2016	313	2016
Verifying quantitative reliability for programs that execute on unreliable hardware M Carbin, S Misailovic, MC Rinard Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013	313	2013
Quality of service profiling S Misailovic, S Sidiroglou, H Hoffmann, M Rinard Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010	270	2010
Chisel: reliability-and accuracy-aware optimization of approximate computational kernels S Misailovic, M Carbin, S Achour, Z Qi, MC Rinard Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014	213	2014
Using code perforation to improve performance, reduce energy consumption, and respond to failures H Hoffmann, S Misailovic, S Sidiroglou, A Agarwal, M Rinard	161	2009
Proving acceptability properties of relaxed nondeterministic approximate programs M Carbin, D Kim, S Misailovic, MC Rinard Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012	127	2012
Probabilistically accurate program transformations S Misailovic, DM Roy, MC Rinard International Static Analysis Symposium, 316-333, 2011	117	2011
Randomized accuracy-aware program transformations for efficient approximate computations ZA Zhu, S Misailovic, JA Kelner, M Rinard POPL 2012 47 (1), 441-454, 2012	114	2012
PSI: Exact Symbolic Inference for Probabilistic Programs T Gehr, S Misailovic, M Vechev Proceedings of CAV, 2016	113	2016
Software Engineering Meets Control Theory A Filieri, M Maggio, K Angelopoulos, N D’Ippolito, I Gerostathopoulos, ... Proceedings of the 10th International Symposium on Software Engineering for …, 2015	113	2015
Korat: A tool for generating structurally complex test inputs A Milicevic, S Misailovic, D Marinov, S Khurshid Proceedings of the 29th international conference on Software Engineering …, 2007	103	2007
Parallelizing sequential programs with statistical accuracy tests S Misailovic, D Kim, M Rinard ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 88, 2013	97	2013
Parallel test generation and execution with Korat S Misailovic, A Milicevic, N Petrovic, S Khurshid, D Marinov Proceedings of the the 6th Joint Meeting of the European Software …, 2007	97	2007
Detecting and escaping infinite loops with Jolt M Carbin, S Misailovic, M Kling, MC Rinard European Conference on Object-Oriented Programming, 609-633, 2011	90	2011
Control Strategies for Self-Adaptive Software Systems A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 24, 2017	66	2017
Sentiment analysis of movie review comments K Yessenov, S Misailovic MIT 6.863 Project, 1-17, 2009	58	2009
Patterns and statistical analysis for understanding reduced resource computing M Rinard, H Hoffmann, S Misailovic, S Sidiroglou ACM SIGPLAN Notices 45 (10), 806-821, 2010	51	2010
Bolt: on-demand infinite loop escape in unmodified binaries M Kling, S Misailovic, M Carbin, M Rinard Proceedings of the ACM international conference on Object oriented …, 2012	45	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors