-
1
-
-
84866420137
-
-
The Coq Proof Assistant
-
The Coq Proof Assistant. http://coq.inria.fr.
-
-
-
-
2
-
-
84866397417
-
-
Scimark 2.0
-
Scimark 2.0. http://math.nist.gov/scimark2.
-
-
-
-
3
-
-
70450227331
-
Petabricks: A language and compiler for algorithmic choice
-
J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao, A. Edelman, and S. Amarasinghe. Petabricks: A language and compiler for algorithmic choice. PLDI, 2009.
-
(2009)
PLDI
-
-
Ansel, J.1
Chan, C.2
Wong, Y.L.3
Olszewski, M.4
Zhao, Q.5
Edelman, A.6
Amarasinghe, S.7
-
4
-
-
77954707631
-
Green: A framework for supporting energy-conscious programming using controlled approximation
-
W. Baek and T. M. Chilimbi. Green: A framework for supporting energy-conscious programming using controlled approximation. PLDI, 2010.
-
(2010)
PLDI
-
-
Baek, W.1
Chilimbi, T.M.2
-
5
-
-
84863461675
-
Relational verification using product programs
-
G. Barthe, J. Crespo, and C. Kunz. Relational verification using product programs. FM, 2011.
-
(2011)
FM
-
-
Barthe, G.1
Crespo, J.2
Kunz, C.3
-
6
-
-
84863467589
-
B́eguelin. Probabilistic reasoning for differential privacy
-
G. Barthe, B. Kopf, F. Olmedo, and S. Zanella B́eguelin. Probabilistic reasoning for differential privacy. POPL, 2012.
-
(2012)
POPL
-
-
Barthe, G.1
Kopf, B.2
Olmedo, F.3
Zanella, S.4
-
7
-
-
2442575906
-
Simple relational correctness proofs for static analyses and program transformations
-
N. Benton. Simple relational correctness proofs for static analyses and program transformations. POPL, 2004.
-
(2004)
POPL
-
-
Benton, N.1
-
8
-
-
0004656909
-
Performance analysis of parallelizing compilers on the Perfect Benchmarks programs
-
W. Blume and R. Eigenmann. Performance analysis of parallelizing compilers on the Perfect Benchmarks programs. Transactions on Parallel and Distributed Systems, 3(6), 1992.
-
(1992)
Transactions on Parallel and Distributed Systems
, vol.3
, pp. 6
-
-
Blume, W.1
Eigenmann, R.2
-
9
-
-
84863499278
-
-
Technical Report MIT-CSAIL-TR-2011-2050, MIT
-
M. Carbin, D. Kim, S. Misailovic, and M. Rinard. Reasoning about Relaxed Programs. Technical Report MIT-CSAIL-TR-2011-050, MIT, 2011.
-
(2011)
Reasoning about Relaxed Programs
-
-
Carbin, M.1
Kim, D.2
Misailovic, S.3
Rinard, M.4
-
10
-
-
77955883088
-
Automatically identifying critical input regions and code in applications
-
M. Carbin and M. Rinard. Automatically Identifying Critical Input Regions and Code in Applications. ISSTA, 2010.
-
(2010)
ISSTA
-
-
Carbin, M.1
Rinard, M.2
-
12
-
-
84863495797
-
A machine-checked framework for relational separation logic
-
J.M. Crespo and C. Kunz. A machine-checked framework for relational separation logic. SEFM, 2011.
-
(2011)
SEFM
-
-
Crespo, J.M.1
Kunz, C.2
-
13
-
-
33244493764
-
Data structure repair using goal-directed reasoning
-
B. Demsky and M. Rinard. Data structure repair using goal-directed reasoning. ICSE, 2005.
-
(2005)
ICSE
-
-
Demsky, B.1
Rinard, M.2
-
15
-
-
84945708698
-
An axiomatic basis for computer programming
-
October
-
C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10), October 1969.
-
(1969)
Commun. ACM
, vol.12
, pp. 10
-
-
Hoare, C.A.R.1
-
16
-
-
79953120063
-
Dynamic knobs for responsive power-aware computing
-
H. Hoffman, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Dynamic knobs for responsive power-aware computing. ASPLOS, 2011.
-
(2011)
ASPLOS
-
-
Hoffman, H.1
Sidiroglou, S.2
Carbin, M.3
Misailovic, S.4
Agarwal, A.5
Rinard, M.6
-
17
-
-
77749344007
-
-
Reduce Energy Consumption, and Respond to Failures . Technical Report MITCSAIL-TR-2009-2042, MIT
-
H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures . Technical Report MITCSAIL-TR-2009-042, MIT, 2009.
-
(2009)
Using Code Perforation to Improve Performance
-
-
Hoffmann, H.1
Misailovic, S.2
Sidiroglou, S.3
Agarwal, A.4
Rinard, M.5
-
18
-
-
79953075520
-
Flikker: Saving dram refresh-power through critical data partitioning
-
S. Liu, K. Pattabiraman, T. Moscibroda, and B. Zorn. Flikker: Saving dram refresh-power through critical data partitioning. ASPLOS, 2011.
-
(2011)
ASPLOS
-
-
Liu, S.1
Pattabiraman, K.2
Moscibroda, T.3
Zorn, B.4
-
21
-
-
80053180249
-
Probabilistically accurate program transformations
-
S. Misailovic, D. Roy, and M. Rinard. Probabilistically Accurate Program Transformations. SAS, 2011.
-
(2011)
SAS
-
-
Misailovic, S.1
Roy, D.2
Rinard, M.3
-
24
-
-
80051991049
-
Verification of information flow and access control policies with dependent types
-
A. Nanevski, A. Banerjee, and D. Garg. Verification of information flow and access control policies with dependent types. SP, 2011.
-
(2011)
SP
-
-
Nanevski, A.1
Banerjee, A.2
Garg, D.3
-
25
-
-
84881308458
-
Dense approximate storage in phase-change memory
-
J. Nelson, A. Sampson, and L. Ceze. Dense approximate storage in phase-change memory. ASPLOS-WACI, 2011.
-
(2011)
ASPLOS-WACI
-
-
Nelson, J.1
Sampson, A.2
Ceze, L.3
-
27
-
-
72249106252
-
Agile specifications
-
D. Rayside, A. Milicevic, K. Yessenov, G. Dennis, and D. Jackson. Agile specifications. OOPSLA, 2009.
-
(2009)
OOPSLA
-
-
Rayside, D.1
Milicevic, A.2
Yessenov, K.3
Dennis, G.4
Jackson, D.5
-
29
-
-
34547435244
-
Probabilistic accuracy bounds for fault-Tolerant computations that discard tasks
-
M. Rinard. Probabilistic accuracy bounds for fault-Tolerant computations that discard tasks. ICS, 2006.
-
(2006)
ICS
-
-
Rinard, M.1
-
30
-
-
42149175943
-
Using early phase termination to eliminate load imbalances at barrier synchronization points
-
M. Rinard. Using early phase termination to eliminate load imbalances at barrier synchronization points. OOPSLA, 2007.
-
(2007)
OOPSLA
-
-
Rinard, M.1
-
31
-
-
32044458260
-
Credible compilation with pointers
-
M. C. Rinard and D. Marinov. Credible compilation with pointers. RTRV, 1999.
-
(1999)
RTRV
-
-
Rinard, M.C.1
Marinov, D.2
-
32
-
-
84863557172
-
A lossy, synchronization-free, race-full, but still acceptably accurate parallel space-subdivision tree construction algorithm
-
Martin Rinard. A lossy, synchronization-free, race-full, but still acceptably accurate parallel space-subdivision tree construction algorithm. Technical Report MIT-CSAIL-TR-2012-005, MIT, 2012.
-
(2012)
Technical Report MIT-CSAIL-TR-2012-2015, MIT
-
-
Rinard, M.1
-
33
-
-
84863461674
-
Falling back on executable specifications
-
H. Samimi, E. Aung, and T. Millstein. Falling back on executable specifications. ECOOP, 2010.
-
(2010)
ECOOP
-
-
Samimi, H.1
Aung, E.2
Millstein, T.3
-
34
-
-
79959878920
-
Enerj: Approximate data types for safe and general lowpower computation
-
A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. Enerj: Approximate data types for safe and general lowpower computation. PLDI, 2011.
-
(2011)
PLDI
-
-
Sampson, A.1
Dietl, W.2
Fortuna, E.3
Gnanapragasam, D.4
Ceze, L.5
Grossman, D.6
-
36
-
-
34047152892
-
Relational separation logic
-
May
-
H Yang. Relational separation logic. Theoretical Computer Science, 375(1-3), May 2007.
-
(2007)
Theoretical Computer Science
, vol.375
, Issue.1-3
-
-
Yang, H.1
-
37
-
-
84863246374
-
A language for automatically enforcing privacy policies
-
J. Yang, K. Yessenov, and A. Solar-Lezama. A language for automatically enforcing privacy policies. POPL, 2012.
-
(2012)
POPL
-
-
Yang, J.1
Yessenov, K.2
Solar-Lezama, A.3
-
38
-
-
84857880446
-
Randomized accuracy-aware program transformations for efficient approximate computations
-
Z. Zhu, S. Misailovic, J. Kelner, and M. Rinard. Randomized accuracy-aware program transformations for efficient approximate computations. POPL, 2012.
-
(2012)
POPL
-
-
Zhu, Z.1
Misailovic, S.2
Kelner, J.3
Rinard, M.4
|