Thomas Gazagnaire - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Thomas Gazagnaire' as author, editor, or advisor:

Event Correlation with Boxed PomsetsThomas Gazagnaire, Loïc Hélouët. forte 2007: 160-176 [doi]
Turning Down the LAMP: Software Specialisation for the CloudAnil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft. hotcloud 2010: [doi]
Using functional programming within an industrial product group: perspectives and perceptionsDavid Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy. ICFP 2010: 87-92 [doi]
Causal Message Sequence ChartsThomas Gazagnaire, Blaise Genest, LoÃ¯c HÃ©louÃ«t, P. S. Thiagarajan, Shaofa Yang. TCS, 410(41):4094-4110, 2009. [doi]
Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis. (Scenario Languages: Using Partial Orders to Model, Verify and Supervise Distributed and Concurrent Systems)Thomas Gazagnaire. PhD thesis, University of Rennes 1, France, 2008. [doi]
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisonsThomas Gazagnaire, Vincent Hanquez. ICFP 2009: 203-214 [doi]
Unikernels: library operating systems for the cloudAnil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft. asplos 2013: 461-472 [doi]
Jitsu: Just-In-Time Summoning of UnikernelsAnil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, David J. Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft, Ian Leslie. NSDI 2015: 559-573 [doi]
Diagnosis from scenariosLoïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire. deds, 24(4):353-415, 2014. [doi]
Causal Message Sequence ChartsThomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang. concur 2007: 166-180 [doi]
Banyan: Coordination-Free Distributed Transactions over Mergeable TypesShashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy. aplas 2020: 231-250 [doi]
An architecture for interspatial communicationAnil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire. infocom 2018: 716-723 [doi]
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) DiscriminationDebmalya Biswas, Thomas Gazagnaire, Blaise Genest. hase 2008: 97-106 [doi]
Dynamics for ML using Meta-ProgrammingThomas Gazagnaire, Anil Madhavapeddy. ENTCS, 264(5):3-21, 2011. [doi]

runs on WebDSL