cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988
title: Evaluation of Specification Inference Tools for Deductive Verification

description: <strong>About this artifact</strong>As part of our research, we evaluated the impact of several specification inference tools for deductive verification.This artifact contains the following things:- input-output-examples-for-specification-inference/: A directory containing the inputs we used to test specification inference tools as well as the output that the tools ChatGPT, Daikon, EvoSpex, Strongarm and Toradocu generated.- Strongarm.ova: A Virtual Machine with the tool Strongarm installed. It also contains the examples we used to test the tool.- SpecInferenceSurveyArtifact.ova: A Virtual Machine with the tools Daikon, EvoSpex and Toradocu installed. It also contains the code, documentation and a test suite for the examples we used to test the tools.<br>You can use the Virtual Machines to try the specification inference tools yourself.If you're only interested in the input/output we used for testing the tools, then the input-output-examples-for-specification-inference/ directory should be sufficient.<br><strong>License information</strong>The tools are shared under their original licenses which are included in the dataset.The ArrayList.java and Counter.java examples are licensed under CC-BY 4.0.The BinarySearchGood.java example is originally from https://www.openjml.org/examples and is shared under the CC-BY-NC 4.0 license.
DOI: 10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988.v1
title: Evaluation of Specification Inference Tools for Deductive Verification

description: <strong>About this artifact</strong>As part of our research, we evaluated the impact of several specification inference tools for deductive verification.This artifact contains the following things:- input-output-examples-for-specification-inference/: A directory containing the inputs we used to test specification inference tools as well as the output that the tools ChatGPT, Daikon, EvoSpex, Strongarm and Toradocu generated.- Strongarm.ova: A Virtual Machine with the tool Strongarm installed. It also contains the examples we used to test the tool.- SpecInferenceSurveyArtifact.ova: A Virtual Machine with the tools Daikon, EvoSpex and Toradocu installed. It also contains the code, documentation and a test suite for the examples we used to test the tools.<br>You can use the Virtual Machines to try the specification inference tools yourself.If you're only interested in the input/output we used for testing the tools, then the input-output-examples-for-specification-inference/ directory should be sufficient.<br><strong>License information</strong>The tools are shared under their original licenses which are included in the dataset.The ArrayList.java and Counter.java examples are licensed under CC-BY 4.0.The BinarySearchGood.java example is originally from https://www.openjml.org/examples and is shared under the CC-BY-NC 4.0 license.
DOI: 10.25446/oxford.22892843
title: Tristan Rawson

description: Tristan RawsonEnglish actor. Born in London, Capel Tristan Rawson's first career was in opera during four years in Cologne. The First World War took him to Zurich, where he met JJ and acted in over a dozen performances of the English Players in 1918 and 1919. He moved to London after the war, where he enjoyed a substantial acting career through the 1940s. William Brockman
DOI: 10.25446/oxford.22892843.v1
title: Tristan Rawson

description: Tristan RawsonEnglish actor. Born in London, Capel Tristan Rawson's first career was in opera during four years in Cologne. The First World War took him to Zurich, where he met JJ and acted in over a dozen performances of the English Players in 1918 and 1919. He moved to London after the war, where he enjoyed a substantial acting career through the 1940s. William Brockman
DOI: 10.25446/oxford.22892846.v1
title: Herbert Edward

description: Herbert EdwardEnglish poet and art critic, he reviewed A Portrait for Arts and Letters in July 1917, and later he wrote a preface to Charles Duff's James Joyce and the Plain Reader (London: Harmsworth, 1932). William Brockman
DOI: 10.25446/oxford.22892849
title: Thomas Kerry Reddin

description: Thomas Kerry ReddinActor, surgeon and brother of District Judge Kenneth Sheils Reddin (the novelist "˜Kenneth Sarr'), whom JJ met in Paris. Thomas Kerry Reddin was educated, like JJ, at Clongowes Wood and Belvedere College, before qualifying as a veterinary surgeon and later as a surgeon. An active nationalist and Irish Volunteer, he was deported and interned after the 1916 Easter Rising. A mainstay of the Hardwicke Street Irish Theatre from 1915 onwards, he also acted in the Gate Theatre's inaugural production (Peer Gynt at the Peacock) and, as Kerry Ronan, at the Abbey. In 1927 he was appointed Assistant Medical Officer for Health in Dublin, specialising in child and maternity welfare. In the same year, he married Evelyn Egan. In the 1951 general election he stood unsuccessfully as Fine Gael candidate for Dublin South Central. John Simpson
DOI: 10.25446/oxford.22892849.v1
title: Thomas Kerry Reddin

description: Thomas Kerry ReddinActor, surgeon and brother of District Judge Kenneth Sheils Reddin (the novelist "˜Kenneth Sarr'), whom JJ met in Paris. Thomas Kerry Reddin was educated, like JJ, at Clongowes Wood and Belvedere College, before qualifying as a veterinary surgeon and later as a surgeon. An active nationalist and Irish Volunteer, he was deported and interned after the 1916 Easter Rising. A mainstay of the Hardwicke Street Irish Theatre from 1915 onwards, he also acted in the Gate Theatre's inaugural production (Peer Gynt at the Peacock) and, as Kerry Ronan, at the Abbey. In 1927 he was appointed Assistant Medical Officer for Health in Dublin, specialising in child and maternity welfare. In the same year, he married Evelyn Egan. In the 1951 general election he stood unsuccessfully as Fine Gael candidate for Dublin South Central. John Simpson
DOI: 10.25446/oxford.22892855
title: Grant Richards

description: Grant RichardsEnglish publisher. Richards got his start in the publishing business in 1890 with W.T. Stead's Review of Reviews before opening his own house in 1897 in London. Within years he built a substantial list of literary authors, including George Bernard Shaw, A.E. Housman, G.K. Chesterton, and Arnold Bennett. Despite early successes, Richards, never a careful businessman, filed for the first of his bankruptcies in 1905. In that same year JJ offered Richards the manuscript of Dubliners. Though intrigued, Richards feared legal problems if he were to publish the blunt language and sexual innuendo of the stories (printers and publishers were, at the time, liable for legal action due to typesetting or issuing obscene matter). This led to almost a decade of bickering between publisher and author which, though culminating in the book's publication in 1914, left JJ with a contract that paid no royalties until 500 copies had been sold. JJ complained frequently about Richards to Ezra Pound and others. Richards refused JJ's A Portrait of the Artist as a Young Man, again concerned about potentially scandalous content, but published the relatively safe Exiles in 1918. Richards continued publishing successfully through the 1920s. Yet, following a small second edition of Dubliners in 1918, Richards let JJ's books go out of print. His clumsy business skills resulted in a second bankruptcy in 1926, after which Richards moved out of publishing and into writing novels and memoirs. In 1929, seeking to rid himself of the memory of JJ, Richards eagerly sold to bookseller Jacob Schwartz some forty-five letters from JJ, which Schwartz later sold to Harvard's Houghton Library, one of the first institutions to collect JJ. Richards's memoir, Author Hunting by an Old Literary Sportsman: Memories of Years Spent Mainly in Publishing, 1897-1925 (1934), notably avoided any mention of JJ. William Brockman
DOI: 10.25446/oxford.22892855.v1
title: Grant Richards

description: Grant RichardsEnglish publisher. Richards got his start in the publishing business in 1890 with W.T. Stead's Review of Reviews before opening his own house in 1897 in London. Within years he built a substantial list of literary authors, including George Bernard Shaw, A.E. Housman, G.K. Chesterton, and Arnold Bennett. Despite early successes, Richards, never a careful businessman, filed for the first of his bankruptcies in 1905. In that same year JJ offered Richards the manuscript of Dubliners. Though intrigued, Richards feared legal problems if he were to publish the blunt language and sexual innuendo of the stories (printers and publishers were, at the time, liable for legal action due to typesetting or issuing obscene matter). This led to almost a decade of bickering between publisher and author which, though culminating in the book's publication in 1914, left JJ with a contract that paid no royalties until 500 copies had been sold. JJ complained frequently about Richards to Ezra Pound and others. Richards refused JJ's A Portrait of the Artist as a Young Man, again concerned about potentially scandalous content, but published the relatively safe Exiles in 1918. Richards continued publishing successfully through the 1920s. Yet, following a small second edition of Dubliners in 1918, Richards let JJ's books go out of print. His clumsy business skills resulted in a second bankruptcy in 1926, after which Richards moved out of publishing and into writing novels and memoirs. In 1929, seeking to rid himself of the memory of JJ, Richards eagerly sold to bookseller Jacob Schwartz some forty-five letters from JJ, which Schwartz later sold to Harvard's Houghton Library, one of the first institutions to collect JJ. Richards's memoir, Author Hunting by an Old Literary Sportsman: Memories of Years Spent Mainly in Publishing, 1897-1925 (1934), notably avoided any mention of JJ. William Brockman
DOI: 10.25446/oxford.22892858.v1
title: John Rodker

description: John RodkerPoet, novelist and publisher. He succeeded Ezra Pound as foreign editor of The Little Review in 1919. With his then-wife Mary Butts he started the short-lived Ovid Press in London which issued editions of Pound and T. S. Eliot. Rodker met JJ in Paris in July 1920. After Shakespeare and Company's first edition of Ulysses in 1922, he published a second edition in October 1922 for the Egoist Press of London and a third edition in January 1923. Rodker contributed an essay on the future Finnegans Wake to Our Exagmination Round His Factification for Incamination of Work in Progress (1929). William Brockman
DOI: 10.25446/oxford.22892846
title: Herbert Edward

description: Herbert EdwardEnglish poet and art critic, he reviewed A Portrait for Arts and Letters in July 1917, and later he wrote a preface to Charles Duff's James Joyce and the Plain Reader (London: Harmsworth, 1932). William Brockman
DOI: 10.25446/oxford.22892858
title: John Rodker

description: John RodkerPoet, novelist and publisher. He succeeded Ezra Pound as foreign editor of The Little Review in 1919. With his then-wife Mary Butts he started the short-lived Ovid Press in London which issued editions of Pound and T. S. Eliot. Rodker met JJ in Paris in July 1920. After Shakespeare and Company's first edition of Ulysses in 1922, he published a second edition in October 1922 for the Egoist Press of London and a third edition in January 1923. Rodker contributed an essay on the future Finnegans Wake to Our Exagmination Round His Factification for Incamination of Work in Progress (1929). William Brockman
DOI: 10.25446/oxford.22892864.v1
title: Paul Ruggiero

description: Paul RuggieroZurich bank employee and friend of JJ. Born in Laufen-Uhwiesen near Zurich, he married Berta Friedli (1903-?) in 1923. Their son Alfred was born in 1924. A member of the "Club des Étrangers" , the informal group of ex-pats whom JJ befriended in Zurich in 1916, he spoke with and sometimes corresponded with JJ in Italian and Greek, which he had learned during several years' residence in Greece. He helped the Joyce family to find a flat in 1917. When JJ sang an accompaniment for the English Players' production of Robert Browning's In a Balcony, Ruggiero accompanied him on a guitar (which he later maintained that JJ had given him, and which in 1966 Ruggiero donated to the Joyce Tower Museum in Sandycove). The two corresponded occasionally while JJ lived in Paris, and their friendship proved to be critically important during the last months of 1940, when Ruggiero was, with Carola Giedion-Welcker, a key figure in enabling the Joyce family to enter Switzerland during the German occupation of France. William Brockman
DOI: 10.25446/oxford.22892876
title: George Saintsbury

description: George SaintsburyBritish writer and scholar of literature. After holding a professorship of rhetoric and English language at the University of Edinburgh for twenty years, he retired to Bath in 1915. Although Saintsbury's A History of English Prose Rhythm (London: Macmillan, 1912) was an important source for the "Oxen of the Sun" episode in Ulysses, Joyce's wish that Saintsbury would write a review of his book (LI 195) was unfulfilled. William Brockman
DOI: 10.25446/oxford.22892861.v1
title: Mrs Ross

description: Mrs RossUnknown but perhaps Charlotte Rothstein Ross, a painter on the Chicago project whose work is now in the Smithsonian American Art Museum in Washington, DC. A penciled note on the top left of the letter to Ross reads "From James Joyce / Sam" . Born Charlotte Bergman in Chicago in 1912, she married her second husband Sam Ross, a screenwriter and novelist who was a member of the Illinois Writers' Project. Ronan Crowley
DOI: 10.25446/oxford.22892864
title: Paul Ruggiero

description: Paul RuggieroZurich bank employee and friend of JJ. Born in Laufen-Uhwiesen near Zurich, he married Berta Friedli (1903-?) in 1923. Their son Alfred was born in 1924. A member of the "Club des Étrangers" , the informal group of ex-pats whom JJ befriended in Zurich in 1916, he spoke with and sometimes corresponded with JJ in Italian and Greek, which he had learned during several years' residence in Greece. He helped the Joyce family to find a flat in 1917. When JJ sang an accompaniment for the English Players' production of Robert Browning's In a Balcony, Ruggiero accompanied him on a guitar (which he later maintained that JJ had given him, and which in 1966 Ruggiero donated to the Joyce Tower Museum in Sandycove). The two corresponded occasionally while JJ lived in Paris, and their friendship proved to be critically important during the last months of 1940, when Ruggiero was, with Carola Giedion-Welcker, a key figure in enabling the Joyce family to enter Switzerland during the German occupation of France. William Brockman
DOI: 10.25446/oxford.22892870
title: Hans Sachs

description: Hans SachsGerman poet and Meistersinger, the main character in Wagner's Die Meistersinger von Nürnberg. William Brockman
DOI: 10.25446/oxford.22892876.v1
title: George Saintsbury

description: George SaintsburyBritish writer and scholar of literature. After holding a professorship of rhetoric and English language at the University of Edinburgh for twenty years, he retired to Bath in 1915. Although Saintsbury's A History of English Prose Rhythm (London: Macmillan, 1912) was an important source for the "Oxen of the Sun" episode in Ulysses, Joyce's wish that Saintsbury would write a review of his book (LI 195) was unfulfilled. William Brockman
DOI: 10.25446/oxford.22892888
title: Italo Svevo

description: Italo SvevoTriestine novelist, dramatist and industrialist who published under the pseudonym Italo Svevo. His friendship with JJ was one of the most significant literary relationships of the 20th century.Italo Svevo was born into a middle class Jewish family in Trieste on 19 December 1861. His early education was in the local rabbinical school, followed by three years at a Jewish boarding school in Segnitz, Bavaria. Svevo's first ambition was to be a dramatist, but in 1880 his father's declining fortunes led him to accept a job at the Union Bank in Trieste, a position he would maintain for nearly 20 years. During this period, he contributed articles and criticism to L'Indipendente, a local newspaper, which also published his first short stories. In 1892, he published his first novel, Una Vita, under the name of Italo Svevo. The novel was based on his experiences at the Union Bank and was influenced by Schopenhauer's pessimism and French naturalism. In 1896 he married his cousin, Livia Veneziani, in a civil ceremony. In 1897, Svevo converted to Catholicism, and he and Livia remarried within the Church. In 1898, he published his second novel, Senilità , based on his tormented love affair with a young Slovene woman, Giuseppina Zergol. After his marriage, Svevo's life changed radically. He entered the family's marine paint business, which required him to spend long periods away from Trieste in order to manage the factories in Charlton (London) and Murano (Venice). To improve his English, he began taking lessons with JJ, probably in mid-1907. Svevo gave JJ his novels to read, and when the Irishman expressed his admiration for Senilità , the Triestine was inspired to begin writing again after a long hiatus. In 1923, Svevo published La Coscienza di Zeno, a novel influenced by psychoanalysis and based on the author's dependency on tobacco. JJ, now living in Paris, pronounced it Svevo's best work and was instrumental in promoting the novel among French critics. The reception in France led to Svevo's discovery by a new generation of Italian writers. In 1926, the Paris PEN club hosted a dinner in his honour, confirming his reputation as one of Italy's leading contemporary novelists. In March 1927, Svevo gave an important early lecture on JJ and Ulysses at a conference hosted by Il Convegno in Milan. Italo Svevo died on 13 September 1928, following an automobile accident. Erik Schneider
DOI: 10.25446/oxford.22892861
title: Mrs Ross

description: Mrs RossUnknown but perhaps Charlotte Rothstein Ross, a painter on the Chicago project whose work is now in the Smithsonian American Art Museum in Washington, DC. A penciled note on the top left of the letter to Ross reads "From James Joyce / Sam" . Born Charlotte Bergman in Chicago in 1912, she married her second husband Sam Ross, a screenwriter and novelist who was a member of the Illinois Writers' Project. Ronan Crowley
DOI: 10.25446/oxford.22892870.v1
title: Hans Sachs

description: Hans SachsGerman poet and Meistersinger, the main character in Wagner's Die Meistersinger von Nürnberg. William Brockman
DOI: 10.25446/oxford.22892879
title: Louis Sargent

description: Louis SargentA painter, especially of seascapes and landscapes, associated with the St Ives School and a friend of Frank Budgen. Born in London, Louis Augustus Sargent studied at the South Kensington School of Art. In 1901, he lodged with his elder brother Ernest and Budgen in a house in Highbury. After exhibiting in London, Sargent moved to St Ives and, in 1913, married fellow-artist Katharine Evelyn Clayton. After the war, the Sargents returned to London. They spent many years on the continent and met JJ in Paris in late 1920. They returned to St Ives in 1939, where Louis died in 1965. John Simpson
DOI: 10.25446/oxford.22892879.v1
title: Louis Sargent

description: Louis SargentA painter, especially of seascapes and landscapes, associated with the St Ives School and a friend of Frank Budgen. Born in London, Louis Augustus Sargent studied at the South Kensington School of Art. In 1901, he lodged with his elder brother Ernest and Budgen in a house in Highbury. After exhibiting in London, Sargent moved to St Ives and, in 1913, married fellow-artist Katharine Evelyn Clayton. After the war, the Sargents returned to London. They spent many years on the continent and met JJ in Paris in late 1920. They returned to St Ives in 1939, where Louis died in 1965. John Simpson
DOI: 10.25446/oxford.22892885
title: Sydney Schiff

description: Sydney SchiffBritish writer and translator who published under the pseudonym Stephen Hudson and translated the last volume of Marcel Proust's A la Recherche du temps perdu (Time Regained). Together with his wife Violet, Schiff is mainly known for his significant role as facilitator to several major Modernist artists and writers. On 18 May 1922, he hosted the party in Paris that became the only occasion on which Joyce and Proust met. The occasion was the premiere of Igor Stravinsky's comic opera Renard, and guests included Stravinsky himself, Sergei Diaghilev and Pablo Picasso. Dirk Van Hulle and William Brockman
DOI: 10.25446/oxford.22892888.v1
title: Italo Svevo

description: Italo SvevoTriestine novelist, dramatist and industrialist who published under the pseudonym Italo Svevo. His friendship with JJ was one of the most significant literary relationships of the 20th century.Italo Svevo was born into a middle class Jewish family in Trieste on 19 December 1861. His early education was in the local rabbinical school, followed by three years at a Jewish boarding school in Segnitz, Bavaria. Svevo's first ambition was to be a dramatist, but in 1880 his father's declining fortunes led him to accept a job at the Union Bank in Trieste, a position he would maintain for nearly 20 years. During this period, he contributed articles and criticism to L'Indipendente, a local newspaper, which also published his first short stories. In 1892, he published his first novel, Una Vita, under the name of Italo Svevo. The novel was based on his experiences at the Union Bank and was influenced by Schopenhauer's pessimism and French naturalism. In 1896 he married his cousin, Livia Veneziani, in a civil ceremony. In 1897, Svevo converted to Catholicism, and he and Livia remarried within the Church. In 1898, he published his second novel, Senilità , based on his tormented love affair with a young Slovene woman, Giuseppina Zergol. After his marriage, Svevo's life changed radically. He entered the family's marine paint business, which required him to spend long periods away from Trieste in order to manage the factories in Charlton (London) and Murano (Venice). To improve his English, he began taking lessons with JJ, probably in mid-1907. Svevo gave JJ his novels to read, and when the Irishman expressed his admiration for Senilità , the Triestine was inspired to begin writing again after a long hiatus. In 1923, Svevo published La Coscienza di Zeno, a novel influenced by psychoanalysis and based on the author's dependency on tobacco. JJ, now living in Paris, pronounced it Svevo's best work and was instrumental in promoting the novel among French critics. The reception in France led to Svevo's discovery by a new generation of Italian writers. In 1926, the Paris PEN club hosted a dinner in his honour, confirming his reputation as one of Italy's leading contemporary novelists. In March 1927, Svevo gave an important early lecture on JJ and Ulysses at a conference hosted by Il Convegno in Milan. Italo Svevo died on 13 September 1928, following an automobile accident. Erik Schneider
DOI: 10.25446/oxford.22892885.v1
title: Sydney Schiff

description: Sydney SchiffBritish writer and translator who published under the pseudonym Stephen Hudson and translated the last volume of Marcel Proust's A la Recherche du temps perdu (Time Regained). Together with his wife Violet, Schiff is mainly known for his significant role as facilitator to several major Modernist artists and writers. On 18 May 1922, he hosted the party in Paris that became the only occasion on which Joyce and Proust met. The occasion was the premiere of Igor Stravinsky's comic opera Renard, and guests included Stravinsky himself, Sergei Diaghilev and Pablo Picasso. Dirk Van Hulle and William Brockman