Sasa Misailovic

20072019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2007 2019

  • 32 Conference contribution
  • 9 Article
  • 1 Review article
Filter
Article
2016

Verifying quantitative reliability for programs that execute on unreliable hardware

Carbin, M., Misailovic, S. & Rinard, M. C., Aug 2016, In : Communications of the ACM. 59, 8, p. 83-91 9 p.

Research output: Contribution to journalArticle

Hardware
Reliability analysis
Specifications
Computer programming languages
Learning systems
2014

Chisel: Reliability- and accuracy-aware optimization of approximate computational kernels

Misailovic, S., Carbin, M., Achour, S., Qi, Z. & Rinard, M., Dec 31 2014, In : ACM SIGPLAN Notices. 49, 10, p. 309-328 20 p.

Research output: Contribution to journalArticle

Energy utilization
Specifications
Hardware
Natural sciences computing
Energy conservation
2013

Parallelizing sequential programs with statistical accuracy tests

Misailovic, S., Kim, D. & Rinard, M., May 1 2013, In : Transactions on Embedded Computing Systems. 12, 2 SUPPL., 88.

Research output: Contribution to journalArticle

Statistical tests
Object oriented programming
Semantics

Verifying quantitative reliability for programs that execute on unreliable hardware

Carbin, M., Misailovic, S. & Rinard, M. C., Oct 1 2013, In : ACM SIGPLAN Notices. 48, 10, p. 33-52 20 p.

Research output: Contribution to journalArticle

Hardware
Reliability analysis
Specifications
Computer programming languages
Learning systems
2012

Bolt: On-demand infinite loop escape in unmodified binaries

Kling, M., Misailovic, S., Carbin, M. & Rinard, M., Oct 1 2012, In : ACM SIGPLAN Notices. 47, 10, p. 431-450 20 p.

Research output: Contribution to journalArticle

Bolts

Dynamic knobs for responsive power-aware computing

Hoffmann, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A. & Rinard, M., Jun 1 2012, In : ACM SIGPLAN Notices. 47, 4, p. 199-212 14 p.

Research output: Contribution to journalArticle

Knobs
Control systems
Power management
Costs

Proving acceptability properties of relaxed nondeterministic approximate programs

Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., Aug 1 2012, In : ACM SIGPLAN Notices. 47, 6, p. 169-180 12 p.

Research output: Contribution to journalArticle

Semantics
Knobs
Computer programming languages
Synchronization
Acoustic waves

Randomized accuracy-aware program transformations for efficient approximate computations

Zhu, Z. A., Misailovic, S., Kelner, J. A. & Rinard, M., Jan 1 2012, In : ACM SIGPLAN Notices. 47, 1, p. 441-454 14 p.

Research output: Contribution to journalArticle

Computer science
Substitution reactions
Semantics
Sampling
Specifications
2010

Patterns and statistical analysis for understanding reduced resource computing

Rinard, M., Hoffmann, H., Misailovic, S. & Sidiroglou, S., Oct 1 2010, In : ACM SIGPLAN Notices. 45, 10, p. 806-821 16 p.

Research output: Contribution to journalArticle

Statistical methods
Forms (concrete)
Concretes