Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

plauggs library [137 articles]

Senaste artiklarna i plauggs bibliotek ordnat efter prioritet.
  • A Type-Based Approach to Program Security
    (1997), pp. 607-621.
    by Dennis M Volpano, Geoffrey Smith
    posted to security static_analysis type_systems by plaugg on 2006-03-21 16:35:06 as **** along with 2 people scavadini tesissvc
  • Static enforcement of security with types
    Vol. 35, No. 9. (September 2000), pp. 34-45.
    by Christian Skalka, Scott Smith
    posted to java security static_analysis type_systems by plaugg on 2006-03-21 16:32:47 as ****
  • Protection analysis: Final Report
    (May 1978)
    by R Bisbey, Hollingsworth
    posted to no-tag by plaugg on 2006-03-21 16:24:15 as **** along with 746 people and 135 groups pblanchenay dhbradshaw ecome soeleadership jjrodriguez mederly JLMC sbutterfill rsimitev theshadowhost standara chiayung stajich sannama softsimu vlado CameronNeylon emmackinnon fbr susz mazsx cveres johnabender HugoMarcelo dlobo fernand0 dperkel egh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee jvrantwijk ible fruminator mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia kevin7 friveroll khm zetetic karipuf leechuck hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical oilpalm spacely j0nes TCgroup ingedwar Oktoplus stonest cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem wongmld nkishan hayko gjhuang ashko buggle bemike cvarnam jakobl umurthy21 andregermanoregert Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra ziggy talkingpoints linxiang mllee monkare pantxorama petergun6666 iantunbridge farzanehs mpisarenco blackm0k bluecricket mrosenki eisenmaj BrianTomasik adamsi schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo kericson makbot adenkabe ThomasKluge kndiaye duckysherwood scottkb freddan IanBrown squirmelia gkvas hrwiltse mfloris mamadoudiao LTrottier giolakat nikko sarahmccrum jago malkav30 psique Repton gvandyk1 pdessus joni2am taenneken vrich christian_librarian Neeperando ranger midshipman Corbasson murb yungyuc carterb applebyb kaniko skumagai Stepstep abdulpur mirweis nlauzier Axis gi0rgi0ne danzinde christiankissig jsenn tbolt427 Scis0000002 balicea Langster jeanbean EsepBib pulsus-morbi ezaydens melody scarcelan ablam maburkitt fghjorth austin MariaChiaraP wartaalman dconnelly kungcc Gaetan sbaete tanneama000 ricckli boellernadja tkravitz nafets laurabailey iarmac alexispaz pathari steveut wolfe275 dcastro yori amydash rpbharti rwilliamson motchy 6rheology songpku andrealira Zephyrus wilkinm AbnerCYH pchia davidchavalarias Berkeley Mycology GEB CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Social Informatics @ IU Global_patent_pools Knowledge_Economy_Reform feminist_technoscience Roswell Cancer Crosstalk Parsons MFA DT 2008 Thesis Research
  • Extended static checking for Java
    SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 234-245.
    by Cormac Flanagan, Leino, Mark Lillibridge, Greg Nelson, James B Saxe, Raymie Stata
    posted to java static_analysis by plaugg on 2006-03-20 07:28:17 as **** along with 1 person martink
  • Compile-time analysis of object-oriented programs
    Lecture Notes in Computer Science, Vol. 641 (1992)
    by Jan Vitek, Nigel R Horspool, James S Uhl
    posted to data_flow interprocedural oo static_analysis by plaugg on 2006-03-17 13:05:11 as ****
  • Incremental global reoptimization of programs
    ACM Trans. Program. Lang. Syst., Vol. 14, No. 2. (April 1992), pp. 173-200.
    by Lori L Pollock, Mary L Soffa
    posted to incremental static_analysis by plaugg on 2006-03-15 16:36:06 as **** along with 1 person hubyrod
  • Incremental Algorithms for Inter-procedural Analysis of Safety Properties
    Lecture Notes in Computer Science, Vol. 3576 (2005)
    by Christopher L Conway, Kedar S Namjoshi, Dennis Dams, Stephen A Edwards
    posted to data_flow incremental static_analysis by plaugg on 2006-03-15 16:35:23 as ****
  • Unification-based pointer analysis with directional assignments
    Vol. 35, No. 5. (May 2000), pp. 35-46.
    by Manuvir Das
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-10 12:24:43 as ****
  • Variability management with feature-oriented programming and aspects
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 127-136.
    by Mira Mezini, Klaus Ostermann
    posted to no-tag by plaugg on 2007-04-18 16:50:28 as ***
  • Improving system dependability by enforcing architectural intent
    (2005), pp. 1-7.
    by Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, Tony Tseng
    posted to no-tag by plaugg on 2007-04-13 14:11:51 as *** along with 1 person and 1 group vazquezger Software-Architecture
  • Meta-programming Grey-box Connectors
    (2000)
    by U Amann, T Genler, H Bar
    posted to no-tag by plaugg on 2007-04-13 14:11:06 as *** along with 1 person and 1 group vazquezger Software-Architecture
  • Statically Scanning Java Code: Finding Security Vulnerabilities
    IEEE Softw., Vol. 17, No. 5. (September 2000), pp. 68-74.
    by John Viega, Gary Mcgraw, Tom Mutdosch, Edward W Felten
    posted to java security static_analysis by plaugg on 2006-08-18 12:34:08 as ***
  • Featherweight Java: A minimal core calculus for Java and GJ
    (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    posted to no-tag by plaugg on 2006-05-26 16:14:14 as *** along with 1 person and 1 group samth NU-PRL
  • A Comparison of Bug Finding Tools for Java
    (2004), pp. 245-256.
    by Nick Rutar, Christian B Almazan, Jeffrey S Foster
    posted to bug_finding java by plaugg on 2006-03-21 12:25:47 as ***
  • Using programmer-written compiler extensions to catch security holes
    Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to security static_analysis by plaugg on 2006-03-20 07:26:39 as *** along with 3 people martink neilc krisn11
  • Whole-Program Optimization of Object-Oriented Languages
    No. TR-96-06-02. (FebruaryAugust, 1997)
    by Craig Chambers, Jeffrey Dean, David Grove
    posted to oo static_analysis by plaugg on 2006-01-04 08:44:35 as *** along with 2 people marcoil JeffreyPalmer
  • Finding your cronies: static analysis for dynamic object colocation
    (2004)
    by S Guyer, K Mckinley
    posted to java oo static_analysis by plaugg on 2006-01-04 08:43:45 as *** along with 1 person and 1 group salagnac Verimag
  • A practical framework for demand-driven interprocedural data flow analysis
    ACM Trans. Program. Lang. Syst., Vol. 19, No. 6. (November 1997), pp. 992-1030.
    by Evelyn Duesterwald, Rajiv Gupta, Mary L Soffa
    posted to alias_analysis points_to_analysis static_analysis by plaugg on 2005-10-12 15:28:49 as ***
  • Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
    Lecture Notes in Computer Science, Vol. 952 (1995), pp. 77-101.
    by Jeffrey Dean, David Grove, Craig Chambers
    posted to callgraph controlflow graph static_analysis by plaugg on 2005-09-29 11:13:26 as *** along with 1 person bunge
  • Applying Jlint to Space Exploration Software
    Lecture Notes in Computer Science, Vol. 2937 (January 2004), pp. 297-308.
    by Cyrille Artho, Klaus Havelund
    posted to deadlock java static_analysis by plaugg on 2005-08-15 09:59:22 as ***
  • Applying static analysis to large-scale, multi-threaded Java programs
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75.
    by C Artho, A Biere
    posted to deadlock java static_analysis by plaugg on 2005-08-15 09:55:28 as *** along with 2 people bfraser martink
  • An approach for tracing and understanding asynchronous architectures
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 318-322.
    by SA Hendrickson, EM Dashofy, RN Taylor
    posted to no-tag by plaugg on 2007-06-01 09:04:33 as **
  • Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
    IEEE Trans. Softw. Eng., Vol. 21, No. 4. (April 1995), pp. 373-386.
    by Paola Inverardi, Alexander L Wolf
    posted to no-tag by plaugg on 2007-04-19 11:57:55 as **
  • A system and language for building system-specific, static analyses
    (2002), pp. 69-82.
    by Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
    posted to no-tag by plaugg on 2006-11-20 09:17:01 as ** along with 2 people schuh zuleger
  • Identifying modules via concept analysis
    (1997), pp. 170-179.
    by Michael Siff, Thomas W Reps
    posted to java modules by plaugg on 2006-08-18 12:34:02 as **
  • Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
    (1996)
    by Christian Kramer, Lutz Prechelt
    posted to dependency design oo patterns by plaugg on 2006-08-18 12:33:07 as **
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
    posted to bug_finding constraints static_analysis testing by plaugg on 2006-08-15 07:45:28 as ** along with 1 person mercutio
  • Using programmer-written compiler extensions to catch security holes
    (May 2002)
    by K Ashcraft, D Engler
    posted to no-tag by plaugg on 2006-08-15 07:45:16 as ** along with 3 people mercutio ronnix srccheck
  • Lightweight extraction of object models from bytecode
    (1999), pp. 194-202.
    by Daniel Jackson, Allison Waingold
    posted to no-tag by plaugg on 2006-08-13 21:55:26 as **
  • Lightweight extraction of object models from bytecode
    Software Engineering, IEEE Transactions on, Vol. 27, No. 2. (2001), pp. 156-169.
    by D Jackson, A Waingold
    posted to no-tag by plaugg on 2006-08-13 21:48:17 as **
  • Self: The power of simplicity
    (1987), pp. 227-242.
    by David Ungar, Randall B Smith
    posted to no-tag by plaugg on 2006-05-26 16:14:01 as ** along with 1 person and 1 group samth NU-PRL
  • The Art of the Metaobject Protocol
    (1991)
    by Gregor Kiczales, Jim d Rivières, Daniel G Bobrow
    posted to no-tag by plaugg on 2006-05-26 16:13:48 as ** along with 1 person and 1 group samth NU-PRL
  • Program analysis via graph reachability
    (1997), pp. 5-19.
    by Thomas Reps
    posted to no-tag by plaugg on 2006-05-26 16:13:15 as ** along with 2 people mercutio alphabetagamma
  • Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
    (1994), pp. 242-256.
    by Maryam Emami, Rakesh Ghiya, Laurie J Hendren
    posted to no-tag by plaugg on 2006-05-26 16:13:09 as ** along with 3 people mercutio criswell bunge
  • WYSINWYX: What You See Is Not What You eXecute
    (2005)
    by G Balakrishnan, T Reps, D Melski, T Teitelbaum
    posted to no-tag by plaugg on 2006-05-26 16:13:01 as ** along with 1 person mercutio
  • Evaluating and tuning a static analysis to find null pointer bugs
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 1. (January 2006), pp. 13-19.
    by David Hovemeyer, Jaime Spacco, William Pugh
    posted to no-tag by plaugg on 2006-05-26 16:09:38 as ** along with 1 person martink
  • Eliminating Buffer Overflows, Using the Compiler or a Standalone Tool
    by Thomas Plum, David M Keaton
    posted to no-tag by plaugg on 2006-05-26 16:09:31 as ** along with 1 person martink
  • Detecting Format String Vulnerabilities with Type Qualifiers
    Security '01 (2001), pp. 201-218.
    by Umesh Shankar, Kunal Talwar, Jeffrey S Foster, David Wagner
    posted to no-tag by plaugg on 2006-05-26 16:09:20 as ** along with 1 person martink
  • Bugs as deviant behavior: a general approach to inferring errors in systems code
    Vol. 35, No. 5. (December 2001), pp. 57-72.
    by Dawson Engler, David Y Chen, Seth Hallem, Andy Chou, Benjamin Chelf
    posted to no-tag by plaugg on 2006-05-26 16:09:11 as ** along with 4 people and 2 groups elsantosneto epaulson martink lucaspanjer CHISEL SEGAL
  • Statically Detecting Likely Buffer Overflow Vulnerabilities
    Security '01 (2001), pp. 177-190.
    by David Larochelle, David Evans
    posted to no-tag by plaugg on 2006-05-26 16:08:19 as ** along with 1 person martink
  • Compatible genericity with run-time types for the Java Programming Language
    (1998), pp. 201-215.
    by Robert Cartwright, J Guy
    posted to no-tag by plaugg on 2006-05-26 16:06:49 as ** along with 1 person and 1 group samth NU-PRL
  • Common Lisp: The Language, Second Edition
    (1990)
    by GL Guy
    posted to no-tag by plaugg on 2006-05-26 16:06:39 as ** along with 1 person and 1 group samth NU-PRL
  • Shape Analysis
    (2000), pp. 1-17.
    by Reinhard Wilhelm, Shmuel Sagiv, Thomas Reps
    posted to no-tag by plaugg on 2006-05-26 16:04:42 as ** along with 2 people mercutio bunge
  • Compositional pointer and escape analysis for Java programs
    ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206.
    by John Whaley, Martin Rinard
    posted to no-tag by plaugg on 2006-05-18 11:21:20 as ** along with 3 people and 1 group salagnac schuh yang Verimag
  • A practical type system and language for reference immutability
    Vol. 39, No. 10. (October 2004), pp. 35-49.
    by Adrian Birka, Michael D Ernst
    posted to no-tag by plaugg on 2006-05-11 21:43:41 as ** along with 2 people and 1 group kiniry schuh SRG_at_UCD
  • JFlow: practical mostly-static information flow control
    (1999), pp. 228-241.
    by Andrew C Myers
    posted to no-tag by plaugg on 2006-05-08 16:13:20 as ** along with 6 people mercutio schuh linekin lambdageek scavadini tesissvc
  • Mixin-based inheritance
    SIGPLAN Not., Vol. 25, No. 10. (October 1990), pp. 303-311.
    by Gilad Bracha, William Cook
    posted to no-tag oo by plaugg on 2006-05-08 16:09:42 as **
  • Securing software : an evaluation of static source code analyzers
    (2003)
    by Misha Zitser
    posted to security static_analysis by plaugg on 2006-04-26 14:38:33 as ** along with 1 person mercutio
  • Object-Oriented Software Construction (Book/CD-ROM) (2nd Edition)
    (21 March 2000)
    by Bertrand Meyer
    posted to eiffel oo programming by plaugg on 2006-04-14 19:19:35 as ** along with 10 people hamish guyomarj zemeigo wnpx leonardo anitabanerji cekay francolq mldechert chunchung
  • notes Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series)
    by Steven S Muchnick, Neil D Jones
    posted to data_flow static_analysis by plaugg on 2006-03-17 12:40:17 as ** along with 1 person and 1 group pganty groupverif
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/plaugg/order/to_read

    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.