-
1
-
-
33745425614
-
Types for safe locking: Static race detection for Java
-
Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for Java. ACM Transactions on Programming Languages and Systems 28(2), 207-255 (2006)
-
(2006)
ACM Transactions on Programming Languages and Systems
, vol.28
, Issue.2
, pp. 207-255
-
-
Abadi, M.1
Flanagan, C.2
Freund, S.N.3
-
2
-
-
0037924416
-
Ownership types for safe programming: Preventing data races and deadlocks
-
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA, November, ) 2002
-
Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2002), SIGPLAN Notices, November 2002. vol. 37, pp. 211-230 (2002)
-
(2002)
SIGPLAN Notices
, vol.37
, pp. 211-230
-
-
Boyapati, C.1
Lee, R.2
Rinard, M.3
-
3
-
-
35248819194
-
-
Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, 2694, pp. 55-72. Springer, Heidelberg (2003)
-
Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 55-72. Springer, Heidelberg (2003)
-
-
-
-
4
-
-
6344226429
-
Stack size analysis for interrupt-driven programs
-
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T.A., Palsberg, J.: Stack size analysis for interrupt-driven programs. Information and Computation 194(2), 144-174 (2004)
-
(2004)
Information and Computation
, vol.194
, Issue.2
, pp. 144-174
-
-
Chatterjee, K.1
Ma, D.2
Majumdar, R.3
Zhao, T.4
Henzinger, T.A.5
Palsberg, J.6
-
5
-
-
58549121254
-
-
Dahyabhai, N.: Bugzilla Bug 439215: dbus-daemon-1 hangs when using the option nss-initgroups-ignoreusers in/etc/ldap.conf. with the user root. Red Hat, Inc (accessed on June 19, 2008) (March 2008), https://bugzilla.redhat.com/show- bug.cgi?id=439215
-
Dahyabhai, N.: Bugzilla Bug 439215: dbus-daemon-1 hangs when using the option nss-initgroups-ignoreusers in/etc/ldap.conf. with the user root. Red Hat, Inc (accessed on June 19, 2008) (March 2008), https://bugzilla.redhat.com/show- bug.cgi?id=439215
-
-
-
-
6
-
-
57349187893
-
Certifying low-level programs with hardware interrupts and preemptive threads
-
June
-
Feng, X., Shao, Z., Dong, Y., Guo, Y.: Certifying low-level programs with hardware interrupts and preemptive threads. In: Programming Language Design and Implementation (PLDI) (June 2008)
-
(2008)
Programming Language Design and Implementation (PLDI)
-
-
Feng, X.1
Shao, Z.2
Dong, Y.3
Guo, Y.4
-
7
-
-
84888243417
-
Object types against races
-
Baeten, J.C.M, Mauw, S, eds, CONCUR, 1999, Springer, Heidelberg
-
Flanagan, C., Abadi, M.: Object types against races. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR, 1999. LNCS, vol. 1664, pp. 288-303. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1664
, pp. 288-303
-
-
Flanagan, C.1
Abadi, M.2
-
8
-
-
84957892301
-
-
Flanagan, C., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, 1576, pp. 91-108. Springer, Heidelberg (1999)
-
Flanagan, C., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 91-108. Springer, Heidelberg (1999)
-
-
-
-
9
-
-
0036036247
-
Flow-sensitive type qualifiers
-
Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1-12 (2002)
-
(2002)
Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 1-12
-
-
Foster, J.S.1
Terauchi, T.2
Aiken, A.3
-
10
-
-
58549086245
-
-
Kikuchi, D., Kobayashi, N.: Type-based verification of correspondence assertions for communication protocols. In: Proceedings of the Fifth ASIAN Symposium on Programming Languages and Systems (November 2007)
-
Kikuchi, D., Kobayashi, N.: Type-based verification of correspondence assertions for communication protocols. In: Proceedings of the Fifth ASIAN Symposium on Programming Languages and Systems (November 2007)
-
-
-
-
11
-
-
29044432466
-
Type-based information flow analysis for the pi-calculus
-
Kobayashi, N.: Type-based information flow analysis for the pi-calculus. Acta Informatica 42(4-5), 291-347 (2005)
-
(2005)
Acta Informatica
, vol.42
, Issue.4-5
, pp. 291-347
-
-
Kobayashi, N.1
-
12
-
-
33749549307
-
A new type system for deadlock-free processes
-
Baier, C, Hermanns, H, eds, CONCUR 2006, Springer, Heidelberg
-
Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4137
, pp. 233-247
-
-
Kobayashi, N.1
-
13
-
-
43149096293
-
Substructural type systems for program analysis
-
Garrigue, J, Hermenegildo, M.V, eds, FLOPS 2008, Springer, Heidelberg
-
Kobayashi, N.: Substructural type systems for program analysis. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, p. 14. Springer, Heidelberg (2008), http://www.kb.ecei.tohoku.ac. jp/~koba/slides/ FL0PS2008.pdf
-
(2008)
LNCS
, vol.4989
, pp. 14
-
-
Kobayashi, N.1
-
14
-
-
84885206872
-
An implicitly-typed deadlock-free process calculus
-
Palamidessi, C, ed, CONCUR 2000, Springer, Heidelberg
-
Kobayashi, N., Saito, S., Sumii, E.: An implicitly-typed deadlock-free process calculus. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 489-503. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1877
, pp. 489-503
-
-
Kobayashi, N.1
Saito, S.2
Sumii, E.3
-
15
-
-
84974715481
-
A typed interrupt calculus
-
Damm, W, Olderog, E.-R, eds, FTRTFT 2002, Springer, Heidelberg
-
Palsberg, J., Ma, D.: A typed interrupt calculus. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 291-310. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2469
, pp. 291-310
-
-
Palsberg, J.1
Ma, D.2
-
16
-
-
37149040823
-
-
Suenaga, K., Kobayashi, N.: Type-based analysis of deadlock for a concurrent calculus with interrupts. In: De Nicola, R. (ed.) ESOP 2007. LNCS, 4421, pp. 490-504. Springer, Heidelberg (2007)
-
Suenaga, K., Kobayashi, N.: Type-based analysis of deadlock for a concurrent calculus with interrupts. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 490-504. Springer, Heidelberg (2007)
-
-
-
-
17
-
-
58549099786
-
-
PhD thesis, Electrical Engineering and Computer Sciences, University of California at Berkeley August
-
Terauchi, T.: Types for Deterministic Concurrency. PhD thesis, Electrical Engineering and Computer Sciences, University of California at Berkeley (August 2006)
-
(2006)
Types for Deterministic Concurrency
-
-
Terauchi, T.1
|