Probabilistically Accurate Program Transformations

Probabilistically Accurate Program Transformations

18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Bibliographic Details
Main Authors:	Misailovic, Sasa, Roy, Daniel, Rinard, Martin C.
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	en_US
Published:	Springer Berlin / Heidelberg 2012
Online Access:	http://hdl.handle.net/1721.1/73897 https://orcid.org/0000-0003-0313-9270 https://orcid.org/0000-0001-8095-8523

Similar Items

Probabilistic and Statistical Analysis of Perforated Patterns
by: Misailovic, Sasa, et al.
Published: (2011)

Randomized accuracy-aware program transformations for efficient approximate computations
by: Misailovic, Sasa, et al.
Published: (2012)

Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014)

Synthesis of Randomized Accuracy-Aware Map-Fold Programs
by: Misailovic, Sasa, et al.
Published: (2013)

Parallelizing Sequential Programs with Statistical Accuracy Tests
by: Misailovic, Sasa, et al.
Published: (2015)

Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
by: Rinard, Martin C.
Published: (2012)

Parallelizing Sequential Programs With Statistical Accuracy Tests
by: Misailovic, Sasa, et al.
Published: (2010)

Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
by: Carbin, Michael, et al.
Published: (2013)

Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015)

Reasoning about Relaxed Programs
by: Carbin, Michael, et al.
Published: (2011)

Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)

Accuracy-aware optimization of approximate programs
by: Misailović, Saša
Published: (2016)

Automatic Parallelization With Statistical Accuracy Bounds
by: Kim, Deokhwan, et al.
Published: (2010)

Probabilistic Programming with Stochastic Probabilities
by: Lew, Alexander K., et al.
Published: (2023)

Accurate belief state update for probabilistic constraint automata
by: Martin, Oliver B., 1979-
Published: (2006)

Probabilistic programming with programmable inference
by: Mansinghka, Vikash K., et al.
Published: (2021)

SPPL: probabilistic programming with fast exact symbolic inference
by: Saad, Feras A, et al.
Published: (2022)

Computability, inference and modeling in probabilistic programming
by: Roy, Daniel Murphy
Published: (2011)

Quality of service profiling
by: Misailovic, Sasa, et al.
Published: (2012)

Managing performance vs. accuracy trade-offs with loop perforation
by: Sidiroglou, Stelios, et al.
Published: (2012)

Patterns and statistical analysis for understanding reduced resource computing
by: Rinard, Martin C., et al.
Published: (2011)

Detecting and escaping infinite loops with jolt
by: Carbin, Michael James, et al.
Published: (2012)

Probabilistic Programming with Programmable Variational Inference
by: Becker, McCoy R., et al.
Published: (2024)

Exploring the effectiveness of loop perforation for quality of service profiling
by: Misailovíc, Saša
Published: (2011)

Bolt: on-demand infinite loop escape in unmodified binaries
by: Kling, Michael W., et al.
Published: (2020)

Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures
by: Hoffmann, Henry, et al.
Published: (2009)

Reliability-Aware Optimization of Approximate Computational Kernels with Rely
by: Misailovic, Sasa, et al.
Published: (2014)

Bayesian synthesis of probabilistic programs for automatic data modeling
by: Saad, Feras A, et al.
Published: (2021)

Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels
by: Misailovic, Sasa, et al.
Published: (2014)

Accurate and reliable diagnosis and classification using probabilistic ensemble simplified fuzzy ARTMAP
by: Loo, C.K., et al.
Published: (2005)

Power-Aware Computing with Dynamic Knobs
by: Misailovic, Sasa, et al.
Published: (2010)

A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm
by: Rinard, Martin
Published: (2012)

Probabilistic data analysis with probabilistic programming
by: Saad, Feras Ahmad Khaled
Published: (2018)

Reactive probabilistic programming
by: Atkinson, Eric Hamilton, et al.
Published: (2021)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
by: Huot, Mathieu, et al.
Published: (2024)

Imaginative reasoning in probabilistic programs
by: Tavares, Zenna.
Published: (2021)

Survival Techniques for Computer Programs
by: Rinard, Martin C.
Published: (2005)

Image-to-character-to-word transformers for accurate scene text recognition
by: Xue, Chuhui, et al.
Published: (2023)

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
by: Ackerman, Nate, et al.
Published: (2024)

The importance of having an accurate multiphase flow correlations program
by: Ismail, Issham
Published: (1993)