Search Results - "SIGPLAN

41

Optimizing database-backed applications with query synthesis

by Cheung, Alvin K., Solar-Lezama, Armando, Madden, Samuel R.
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
42

Transparent dynamic instrumentation

by Bruening, Derek, Zhao, Qin, Amarasinghe, Saman P.
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
43

Faceted execution of policy-agnostic programs

by Austin, Thomas H., Yang, Jean, Flanagan, Cormac, Solar-Lezama, Armando
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
44

Precise, dynamic information flow for database-backed applications

by Yang, Jean, Hance, Travis, Austin, Thomas H., Flanagan, Cormac, Chong, Stephen, Solar Lezama, Armando
Published 2017

Call Number: Loading...
Located: Loading...

Get fulltext

Article
45

Program synthesis from polymorphic refinement types

by Polikarpova, Nadezhda, Kuraj, Ivan, Solar Lezama, Armando
Published 2017

Call Number: Loading...
Located: Loading...

Get fulltext

Article
46

Verified integrity properties for safe approximate program transformations

by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
47

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

by Delaware, Benjamin James, Pit-Claudel, Clément, Gross, Jason S., Chlipala, Adam
Published 2021

Call Number: Loading...
Located: Loading...

Get fulltext

Article
48

Randomized accuracy-aware program transformations for efficient approximate computations

by Misailovic, Sasa, Kelner, Jonathan Adam, Rinard, Martin C.
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
49

Autotuning algorithmic choice for input sensitivity

by Ding, Yufei, Ansel, Jason, Veeramachaneni, Kalyan, Shen, Xipeng, O'Reilly, Una-May, Amarasinghe, Saman P.
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article
50

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
51

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

by Chlipala, Adam
Published 2014

Call Number: Loading...
Located: Loading...

Get fulltext

Article
52

The SprayList: a scalable relaxed priority queue

by Alistarh, Dan, Kopinsky, Justin, Li, Jerry Zheng, Shavit, Nir N.
Published 2016

Call Number: Loading...
Located: Loading...

Get fulltext

Article
53

Automatic runtime error repair and containment via recovery shepherding

by Long, Fan, Sidiroglou-Douskos, Stelios, Rinard, Martin
Published 2020

Call Number: Loading...
Located: Loading...

Get fulltext

Article
54

A Multicore Path to Connectomics-on-Demand

by Matveev, Alexander, Meirovitch, Yaron, Saribekyan, Hayk, Jakubiuk, Wiktor B., Kaler, Timothy, Odor, Gergely, Budden, David, Zlateski, Aleksandar, Shavit, Nir N.
Published 2018

Call Number: Loading...
Located: Loading...

Get fulltext

Article
55

Distributed Halide

by Denniston, Tyler, Kamil, Shoaib, Amarasinghe, Saman P
Published 2017

Call Number: Loading...
Located: Loading...

Get fulltext

Article
56

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs

by Chowdhury, Rezaul, Ganapathi, Pramod, Tithi, Jesmin Jahan, Tang, Yuan, Bachmeier, Charles A., Kuszmaul, Bradley C, Leiserson, Charles E, Solar Lezama, Armando
Published 2018

Call Number: Loading...
Located: Loading...

Get fulltext

Article
57

Reconfigurable Asynchronous Logic Automata (RALA)

by Dalrymple, David Allen, Chen, Kailiang, Knaian, Ara N., Green, Forrest O., Greenwald, Scott Wilkins, Schmidt-Nielsen, Peter E., Gershenfeld, Neil A, Demaine, Erik D
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
58

Array Operators Using Multiple Dispatch: A design methodology for array implementations in dynamic languages

by Chen, Jiahao, Karpinski, Stefan, Shah, Viral, Edelman, Alan, Bezanson, Jeffrey Werner
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article
59

Verification of semantic commutativity conditions and inverse operations on linked data structures

by Kim, Deokhwan, Rinard, Martin C.
Published 2012

Call Number: Loading...
Located: Loading...

Get fulltext

Article
60

Verifying quantitative reliability for programs that execute on unreliable hardware

by Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2015

Call Number: Loading...
Located: Loading...

Get fulltext

Article

[1]
Prev
1
2
3
4
Next
[4]