Search Results - "MARRON, Mark" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Mining Semantic Loop Idioms

Mining Semantic Loop Idioms

by Allamanis, Miltiadis, Barr, Earl T., Bird, Christian, Devanbu, Premkumar, Marron, Mark, Sutton, Charles
Published in IEEE transactions on software engineering (01.07.2018)

Get full text

Journal Article

$An Effectively $\Omega(c)$ Language and Runtime$

An Effectively $\Omega(c)$ Language and Runtime

by Marron, Mark
Year of Publication 30.09.2024

Get full text

Journal Article

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

by Marron, Mark
Published in arXiv.org (08.07.2024)

Get full text

Paper Journal Article

Program Synthesis Using Natural Language

Program Synthesis Using Natural Language

by Desai, Aditya, Gulwani, Sumit, Hingorani, Vineet, Jain, Nidhi, Karkare, Amey, Marron, Mark, R., Sailesh, Roy, Subhajit
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)

Get full text

Conference Proceeding

A New Generation of Intelligent Development Environments

A New Generation of Intelligent Development Environments

by Marron, Mark
Published in arXiv.org (13.06.2024)

Get full text

Paper Journal Article

Abstracting runtime heaps for program understanding

Abstracting runtime heaps for program understanding

by Marron, M., Sanchez, C., Zhendong Su, Fahndrich, M.
Published in IEEE transactions on software engineering (01.06.2013)

Get full text

Journal Article

$An Effectively \(\Omega(c)\) Language and Runtime$

An Effectively \(\Omega(c)\) Language and Runtime

by Marron, Mark
Published in arXiv.org (30.09.2024)

Get full text

Paper

High Assurance Software for Financial Regulation and Business Platforms

High Assurance Software for Financial Regulation and Business Platforms

by Goldbaum, Stephen, Mihaly, Attila, Ellison, Tosha, Barr, Earl T., Marron, Mark
Published in Verification, Model Checking, and Abstract Interpretation (2022)

Get full text

Book Chapter

Looking into Black Box Code Language Models

Looking into Black Box Code Language Models

by Haider, Muhammad Umair, Farooq, Umar, Siddique, A. B, Marron, Mark
Year of Publication 05.07.2024

Get full text

Journal Article

PERFORMING AN OPERATION RELATIVE TO TABULAR DATA BASED UPON VOICE INPUT

PERFORMING AN OPERATION RELATIVE TO TABULAR DATA BASED UPON VOICE INPUT

by MARRON MARK, CHAKRABARTI KAUSHIK, GANJAM KRIS, GULWANI SUMIT, SINGH PRABHDEEP, JU YUN CHENG
Year of Publication 21.03.2016

Get full text

Patent

Systems, methods, and computer-readable media for using immutable and copy-on-write data semantics to optimize record and replay frameworks

Systems, methods, and computer-readable media for using immutable and copy-on-write data semantics to optimize record and replay frameworks

by Marron, Mark
Year of Publication 23.04.2019

Get full text

Patent

SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR USING IMMUTABLE AND COPY-ON-WRITE DATA SEMANTICS TO OPTIMIZE RECORD AND REPLAY FRAMEWORKS

SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR USING IMMUTABLE AND COPY-ON-WRITE DATA SEMANTICS TO OPTIMIZE RECORD AND REPLAY FRAMEWORKS

by MARRON, Mark
Year of Publication 18.10.2018

Get full text

Patent

Genomic Distances under Deletions and Insertions

Genomic Distances under Deletions and Insertions

by Marron, Mark, Swenson, Krister M., Moret, Bernard M.E.
Published in Theoretical computer science (01.10.2004)

Get full text

Journal Article Conference Proceeding

Looking into Black Box Code Language Models

Looking into Black Box Code Language Models

by Haider, Muhammad Umair, Umar Farooq, Siddique, A B, Marron, Mark
Published in arXiv.org (05.07.2024)

Get full text

Paper

Structural Analysis: Shape Information via Points-To Computation

Structural Analysis: Shape Information via Points-To Computation

by Marron, Mark
Year of Publication 05.01.2012

Get full text

Journal Article

Preface

Preface

by Ganty, Pierre, Marron, Mark
Published in Electronic notes in theoretical computer science (01.12.2011)

Get full text

Journal Article

SafeStrings: Representing Strings as Structured Data

SafeStrings: Representing Strings as Structured Data

by Kelly, David, Marron, Mark, Clark, David, Barr, Earl T
Year of Publication 25.04.2019

Get full text

Journal Article

Are My Invariants Valid? A Learning Approach

Are My Invariants Valid? A Learning Approach

by Hellendoorn, Vincent J, Devanbu, Premkumar T, Polozov, Oleksandr, Marron, Mark
Year of Publication 14.03.2019

Get full text

Journal Article

McFly: Time-Travel Debugging for the Web

McFly: Time-Travel Debugging for the Web

by Vilk, John, Berger, Emery D, Mickens, James, Marron, Mark
Year of Publication 28.10.2018

Get full text

Journal Article

Programming Paradigm Driven Heap Analysis

Programming Paradigm Driven Heap Analysis

by Marron, Mark, Lhoták, Ondřej, Banerjee, Anindya
Published in Compiler Construction

Get full text

Book Chapter