Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

amorkan's library [88 articles]

Recent papers added to amorkan's library.
  • A certifying compiler for Java
    ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 95-107.
    by Christopher Colby, Peter Lee, George C Necula, Fred Blau, Mark Plesko, Kenneth Cline
    posted to pcc by amorkan on 2006-07-28 11:32:26 as **
  • Language support for lightweight transactions
    (2003)
    by T Harris, K Fraser
    posted to concurrency by amorkan on 2006-07-07 12:55:26 as **
  • Flow-sensitive type qualifiers
    Vol. 37, No. 5. (May 2002), pp. 1-12.
    by Jeffrey S Foster, Tachio Terauchi, Alex Aiken
    posted to qualifiers by amorkan on 2006-07-07 12:52:27 as ** along with 2 people bec keigoi
  • A Theory of Type Qualifiers
    (1999), pp. 192-203.
    by Jeffrey S Foster, Manuel Fahndrich, Alexander Aiken
    posted to qualifiers by amorkan on 2006-07-07 12:49:51 as **
  • The Semantics of Future and Its Use in Program Optimizations
    (1995), pp. 209-220.
    by Cormac Flanagan, Matthias Felleisen
    posted to concurrency by amorkan on 2006-07-07 12:48:14 as **
  • Declaring and checking non-null types in an object-oriented language
    (2003)
    by M Fahndrich, K Rustan, M Leino
    posted to qualifiers by amorkan on 2006-07-07 12:45:56 as **
  • Modern Concurrency Abstractions for C#
    by Nick Benton, Luca Cardelli, Cedric Fournet
    posted to concurrency by amorkan on 2006-07-07 12:41:36 as **
  • Transparent proxies for java futures
    (2004), pp. 206-223.
    by Polyvios Pratikakis, Jaime Spacco, Michael Hicks
    posted to concurrency by amorkan on 2006-07-05 14:31:50 as ***
  • Atomizer: a dynamic atomicity checker for multithreaded programs
    (2004), pp. 256-267.
    by Cormac Flanagan, Stephen N Freund
    posted to concurrency by amorkan on 2006-07-05 14:18:48 as read along with 1 person NSumner
  • Pointer and escape analysis for multithreaded programs
    ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23.
    by Alexandru Salcianu, Martin Rinard
    posted to concurrency by amorkan on 2006-07-05 10:53:10 as ** along with 2 people and 1 group salagnac NSumner Verimag
  • Reduction: a method of proving properties of parallel programs
    Commun. ACM, Vol. 18, No. 12. (December 1975), pp. 717-721.
    by Richard J Lipton
    posted to concurrency by amorkan on 2006-07-05 10:49:48 as ** along with 1 person NSumner
  • Type-safe multithreading in cyclone
    (2003), pp. 13-25.
    by Dan Grossman
    posted to concurrency by amorkan on 2006-07-05 10:47:24 as ** along with 2 people keigoi krisn11
  • Types for atomicity
    (2003), pp. 1-12.
    by Cormac Flanagan, Shaz Qadeer
    posted to concurrency by amorkan on 2006-07-05 10:44:35 as **
  • Types for Safe Locking
    (1999), pp. 91-108.
    by Cormac Flanagan, Mart&\#237;n Abadi
    posted to concurrency by amorkan on 2006-07-05 10:41:34 as **
  • Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
    (2002), pp. 442-452.
    by Xianghua Deng, Matthew B Dwyer, John Hatcliff, Masaaki Mizuno
    posted to concurrency by amorkan on 2006-07-05 10:38:42 as **
  • Efficient and precise datarace detection for multithreaded object-oriented programs
    (2002)
    by J Choi, K Lee, A Loginov, R O'Callahan, V Sarkar, M Sridharan
    posted to concurrency by amorkan on 2006-07-05 10:36:24 as **
  • Escape analysis for Java
    (1999), pp. 1-19.
    by Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C Sreedhar, Sam Midkiff
    posted to concurrency by amorkan on 2006-07-05 10:32:17 as ** along with 3 people linekin fgeller yang
  • Ownership types for safe programming: preventing data races and deadlocks
    Vol. 37, No. 11. (November 2002), pp. 211-230.
    by Chandrasekhar Boyapati, Robert Lee, Martin Rinard
    posted to ownership by amorkan on 2006-07-05 10:27:38 as ** along with 4 people and 1 group plaugg kiniry nikomatsakis schuh SRG_at_UCD
  • Object race detection
    (2001), pp. 70-82.
    by Christoph von Praun, Thomas R Gross
    posted to concurrency by amorkan on 2006-07-04 17:06:23 as ** along with 1 person NSumner
  • Detecting race conditions in large programs
    (2001), pp. 90-96.
    by Cormac Flanagan, Stephen N Freund
    posted to concurrency by amorkan on 2006-07-04 17:00:40 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • Type-based race detection for Java
    ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 219-232.
    by Cormac Flanagan, Stephen N Freund
    posted to concurrency by amorkan on 2006-07-04 16:51:30 as **
  • A parameterized type system for race-free Java programs
    (2001), pp. 56-69.
    by Chandrasekhar Boyapati, Martin Rinard
    posted to concurrency by amorkan on 2006-07-04 16:42:50 as **
  • Alias annotations for program understanding
    (2002)
    by J Aldrich, V Kostadinov, C Chambers
    posted to ownership by amorkan on 2006-07-04 16:40:02 as ** along with 1 person and 1 group salagnac Verimag
  • Type Inference for Parameterized Race Free Java
    Lecture Notes in Computer Science, Vol. 2937 (January 2004), pp. 149-160.
    by Rahul Agarwal, Scott D Stoller
    posted to concurrency by amorkan on 2006-07-04 16:25:33 as read
  • A type and effect system for atomicity
    (2003), pp. 338-349.
    by Cormac Flanagan, Shaz Qadeer
    posted to concurrency by amorkan on 2006-07-04 16:08:31 as read along with 2 people brecknell zuleger
  • Monitors: an operating system structuring concept
    Commun. ACM, Vol. 17, No. 10. (October 1974), pp. 549-557.
    by CAR Hoare
    posted to classics by amorkan on 2006-07-04 14:57:19 as ** along with 4 people and 1 group RobotAdam clconway rlai NSumner MITCCI
  • Eraser: a dynamic data race detector for multithreaded programs
    ACM Trans. Comput. Syst., Vol. 15, No. 4. (November 1997), pp. 391-411.
    by Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
    posted to concurrency by amorkan on 2006-07-04 14:28:33 as read along with 3 people RobotAdam bfraser NSumner
  • Reasoning with specifications containing method calls in jml
    (2004)
    by C Dr
    posted to purity by amorkan on 2006-05-16 19:53:52 as **
  • Modular Verification of Global Module Invariants in Object-Oriented Programs
    by Rustan, Peter Müller
    posted to invariants by amorkan on 2006-05-15 17:34:54 as **
  • Weakest Precondition Reasoning for Java Programs with JML Annotations
    by Bart Jacobs
    posted to jml by amorkan on 2006-05-15 17:33:15 as **
  • SafeJava: A Unified Type System for Safe Programming
    (2004)
    by C Boyapati
    posted to type-theory by amorkan on 2006-05-15 17:32:08 as ** along with 1 person schuh
  • Safe runtime downcasts with ownership types
    (2002)
    by C Boyapati, R Lee, M Rinard
    posted to ownership by amorkan on 2006-05-15 17:30:29 as **
  • Ownership types for safe programming: Preventing data races and deadlocks
    (November 2002)
    by C Boyapati, R Lee, M Rinard
    posted to ownership by amorkan on 2006-05-15 17:30:04 as **
  • A Practical Type System and Language for Reference Immutability
    by Adrian Birka, Michael D Ernst
    posted to immutability by amorkan on 2006-05-15 17:29:29 as **
  • Verification of object-oriented programs with invariants
    (2003)
    by M Barnett, R Deline, M Fahndrich, K Rustan, M Leino, W Schulte
    posted to invariants by amorkan on 2006-05-15 17:28:11 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • KISS: keep it simple and sequential
    Vol. 39, No. 6. (May 2004), pp. 14-24.
    by Shaz Qadeer, Dinghao Wu
    posted to concurrency by amorkan on 2006-05-03 14:54:41 as **
  • Composable memory transactions
    (2005), pp. 48-60.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy
    posted to concurrency by amorkan on 2006-04-26 16:38:20 as read along with 16 people and 2 groups hamish greenrd tautologico damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand brecknell frej SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • The Geneva Convention on the Treatment of Object Aliasing
    OOPS Messenger, Vol. 3, No. 2. (1992), pp. 11-16.
    by John Hogg, Doug Lea, Alan Wills, Dennis Dechampeaux, Richard Holt
    posted to ownership by amorkan on 2006-04-16 16:28:39 as **
  • Checking type safety of foreign function calls
    SIGPLAN Not., Vol. 40, No. 6. (June 2005), pp. 62-72.
    by Michael Furr, Jeffrey S Foster
    posted to type-theory by amorkan on 2006-04-13 22:06:14 as *****
  • notes Ownership Types for Flexible Alias Protection
    Vol. 33:10 (October~JanuaryAugust--FebruaryFebruary 1998), pp. 48-64.
    by David G Clarke, John M Potter, James Noble
    posted to ownership by amorkan on 2006-04-13 20:11:31 as read along with 1 person KarlKlose
  • Houdini, an Annotation Assistant for ESC/Java
    (2001)
    by C Flanagan, K Leino
    posted to houdini by amorkan on 2006-03-30 00:45:05 as **
  • Enforcing high-level security properties for applets
    (2004)
    by M Pavlova, L Burdy, G Barthe, M Huisman, J Lanet
    posted to jack by amorkan on 2006-03-28 16:56:37 as **
  • Precise analysis of memory consumption using program logics
    Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on (2005), pp. 86-95.
    by G Barthe, M Pavlova, G Schneider
    posted to jack by amorkan on 2006-03-28 16:56:13 as **
  • Java Applet Correctness: a Developer-Oriented Approach
    (2003)
    by L Burdy, A Requet, J Lanet
    posted to jack by amorkan on 2006-03-28 16:55:31 as **
  • Safe, Untrusted Agents Using Proof-Carrying Code
    Lecture Notes in Computer Science, Vol. 1419 (1998), pp. 61-??.
    by George C Necula, Peter Lee
    posted to pcc by amorkan on 2006-03-28 16:46:45 as **
  • Efficient Representation and Validation of Proofs
    (1998), pp. 93-104.
    by George C Necula, Peter Lee
    posted to pcc by amorkan on 2006-03-28 16:46:04 as **
  • The Design and Implementation of a Certifying Compiler
    (1998), pp. 333-344.
    by GC Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:45:26 as **
  • Safe Kernel Extensions Without Run-Time Checking
    (1996), pp. 229-243.
    by George C Necula, Peter Lee
    edited by X Useni
    posted to pcc by amorkan on 2006-03-28 16:42:48 as **
  • Research on Proof-Carrying Code on Mobile-Code Security
    (1997)
    by G Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:42:10 as **
  • Research on Proof-Carrying Code for Untrusted-Code Security
    pp. 204-204.
    by G Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:41:24 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/amorkan

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.