Sasa Misailovic

MIT CSAIL, The Stata Center
77 Massachusetts Ave, 32-G730
Cambridge, MA 02139
Office Phone: (617) 253-7768
E-mail: misailo [at] mit [dot] edu

About me

I am a graduate student in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, and a member of the Computer Science and Artificial Intelligence Laboratory. I am working with professor Martin Rinard.

My research interests include program analysis, software engineering, and programming languages.

I received my B.Sc. in Computer Science from the School of Electrical Engineering, University of Belgrade, Serbia. During my previous studies I had the good fortune to work with, and learn from professors Darko Marinov (University of Illinois at Urbana-Champaign), Viktor Kuncak (Ecole Polytechnique Federale de Lausanne) and Dragan Milicev (University of Belgrade).

Conference Publications

(Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.)

M.Kling, S.Misailovic, M.Carbin, M.Rinard
"Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries"
27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications
(OOPSLA/SPLASH 2012), Tucson, Arizona, October 2012. Acceptance rate 25%
abstract full text
M.Carbin, D.Kim, S.Misailovic, M.Rinard
"Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs"
The 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
Z.Zhu, S.Misailovic, J.Kelner, M.Rinard
"Randomized Accuracy-Aware Program Transformations for Efficient Approximate Computations"
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
S.Misailovic, D.Roy, M.Rinard
"Probabilistically Accurate Program Transformations"
18th International Static Analysis Symposium.
(SAS 2011), Venice, Italy, September 2011.
abstract full text slides
S.Sidiroglou, S.Misailovic, H.Hoffmann, M.Rinard
"Managing Performance vs. Accuracy Trade-offs With Loop Perforation"
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
M.Carbin, S.Misailovic, M.Kling, M.Rinard
"Detecting and Escaping Infinite Loops with Jolt"
25th European Conference on Object-Oriented Programming.
(ECOOP 2011), Lancaster, UK, July 2011. Acceptance rate 26%
abstract full text MIT News article Slashdot article
H.Hoffmann, S.Sidiroglou, M.Carbin, S.Misailovic, A.Agarwal, M.Rinard
"Dynamic Knobs for Responsive Power-Aware Computing"
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
M.Rinard, H.Hoffmann, S.Misailovic, S.Sidiroglou
"Patterns and Statistical Analysis for Understanding Reduced Resource Computing"
Onward! 2010 Conference
(Onward! 2010), Reno-Tahoe, NV, USA, October 2010. Acceptance rate 25% (9/36 papers)
abstract full text
S.Misailovic, S.Sidiroglou, H.Hoffmann, M.Rinard
"Quality of Service Profiling"
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
S.Misailovic, A.Milicevic, N.Petrovic, S.Khurshid, D.Marinov
"Parallel Test Generation and Execution with Korat"
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
A.Milicevic, S.Misailovic, D.Marinov, S.Khurshid
"Korat: A Tool for Generating Structurally Complex Test Inputs"
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

Workshop Publications

M.Carbin, D.Kim, S.Misailovic, M.Rinard
"Verified Integrity Properties for Safe Approximate Program Transformations"
Workshop on Partial Evaluation and Program Manipulation
(PEPM 2013), Rome, Italy, January 2013
full text
S.Misailovic, S.Sidiroglou, M.Rinard
"Dancing With Uncertainty"
ACM Workshop on Relaxing Synchronization for Multicore and Manycore Scalability
(RACES 2012), Tucson, AZ, October 2012
full text
S.Misailovic, A.Milicevic, S.Khurshid, D.Marinov
"Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates"
Workshop on Advances and Innovations in Systems Testing
(STEP 2007), Memphis, TN, May 2007. Invited paper
full text

Technical Reports

M.Carbin, D.Kim, S.Misailovic, M.Rinard
"Reasoning about Relaxed Programs"
MIT-CSAIL-TR-2011-050, December 2011.
full text
S.Misailovic, D.Roy, M.Rinard
"Probabilistic and Statistical Analysis of Perforated Patterns"
MIT-CSAIL-TR-2011-003, January 2011.
full text
S.Misailovic, D.Kim, M.Rinard
"Parallelizing Sequential Programs With Statistical Accuracy Tests"
MIT-CSAIL-TR-2010-038, August 2010.
full text
H.Hoffmann, S.Misailovic, S.Sidiroglou, A.Agarwal, M.Rinard
"Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures"
MIT-CSAIL-TR-2009-042, September 2009
full text

Projects

Jolt is a system for dynamically detecting and escaping infinite loops. Read more about Jolt here.
Code Perforation is a framework for automatic discovery of profitable trade-offs between the time required to perform the computation and the accuracy of the final result. It can be used as a mechanism for dynamic program adaptation in the presence of unexpected changes in the program environment. More details are available at the Code Perforation web site.
Korat is an open-source tool for constraint-based generation of structurally complex test inputs for Java programs. Check the Korat site for new events.

Last update: October 25, 2011