SOAP '22: "ADA: A Tool for Visualizing ..."
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
@InProceedings{SOAP22p41,
author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski},
title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3520313.3534659},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Abstract Interpretation of ..."
Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné, Vincent Botbol, and Mehdi Bouaziz
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)
@InProceedings{SOAP22p51,
author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz},
title = {Abstract Interpretation of Michelson Smart-Contracts},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3520313.3534660},
year = {2022},
}
Publisher's Version
Archive submitted (8.2 kB)
SOAP '22: "ADA: A Tool for Visualizing ..."
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
@InProceedings{SOAP22p41,
author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski},
title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3520313.3534659},
year = {2022},
}
Publisher's Version
SOAP '22: "Statically Detecting Data ..."
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uroš Bojanić, and Milan Stojić
(Microsoft, Serbia)
@InProceedings{SOAP22p21,
author = {Pavle Subotić and Uroš Bojanić and Milan Stojić},
title = {Statically Detecting Data Leakages in Data Science Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3520313.3534657},
year = {2022},
}
Publisher's Version
SOAP '22: "Abstract Interpretation of ..."
Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné, Vincent Botbol, and Mehdi Bouaziz
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)
@InProceedings{SOAP22p51,
author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz},
title = {Abstract Interpretation of Michelson Smart-Contracts},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3520313.3534660},
year = {2022},
}
Publisher's Version
Archive submitted (8.2 kB)
SOAP '22: "Abstract Interpretation of ..."
Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné, Vincent Botbol, and Mehdi Bouaziz
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)
@InProceedings{SOAP22p51,
author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz},
title = {Abstract Interpretation of Michelson Smart-Contracts},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3520313.3534660},
year = {2022},
}
Publisher's Version
Archive submitted (8.2 kB)
SOAP '22: "ADA: A Tool for Visualizing ..."
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
@InProceedings{SOAP22p41,
author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski},
title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3520313.3534659},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Modeling Code Manipulation ..."
Modeling Code Manipulation in JIT Compilers
HeuiChan Lim, Xiyu Kang, and Saumya Debray
(University of Arizona, USA)
@InProceedings{SOAP22p11,
author = {HeuiChan Lim and Xiyu Kang and Saumya Debray},
title = {Modeling Code Manipulation in JIT Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3520313.3534656},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "BinFPE: Accurate Floating-Point ..."
BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Ignacio Laguna, Xinyi Li, and Ganesh Gopalakrishnan
(Lawrence Livermore National Laboratory, USA; University of Utah, USA)
@InProceedings{SOAP22p1,
author = {Ignacio Laguna and Xinyi Li and Ganesh Gopalakrishnan},
title = {BinFPE: Accurate Floating-Point Exception Detection for GPU Applications},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3520313.3534655},
year = {2022},
}
Publisher's Version
SOAP '22: "ADA: A Tool for Visualizing ..."
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
@InProceedings{SOAP22p41,
author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski},
title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3520313.3534659},
year = {2022},
}
Publisher's Version
SOAP '22: "Modeling Code Manipulation ..."
Modeling Code Manipulation in JIT Compilers
HeuiChan Lim, Xiyu Kang, and Saumya Debray
(University of Arizona, USA)
@InProceedings{SOAP22p11,
author = {HeuiChan Lim and Xiyu Kang and Saumya Debray},
title = {Modeling Code Manipulation in JIT Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3520313.3534656},
year = {2022},
}
Publisher's Version
SOAP '22: "BinFPE: Accurate Floating-Point ..."
BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Ignacio Laguna, Xinyi Li, and Ganesh Gopalakrishnan
(Lawrence Livermore National Laboratory, USA; University of Utah, USA)
@InProceedings{SOAP22p1,
author = {Ignacio Laguna and Xinyi Li and Ganesh Gopalakrishnan},
title = {BinFPE: Accurate Floating-Point Exception Detection for GPU Applications},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3520313.3534655},
year = {2022},
}
Publisher's Version
SOAP '22: "BinFPE: Accurate Floating-Point ..."
BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Ignacio Laguna, Xinyi Li, and Ganesh Gopalakrishnan
(Lawrence Livermore National Laboratory, USA; University of Utah, USA)
@InProceedings{SOAP22p1,
author = {Ignacio Laguna and Xinyi Li and Ganesh Gopalakrishnan},
title = {BinFPE: Accurate Floating-Point Exception Detection for GPU Applications},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3520313.3534655},
year = {2022},
}
Publisher's Version
SOAP '22: "Modeling Code Manipulation ..."
Modeling Code Manipulation in JIT Compilers
HeuiChan Lim, Xiyu Kang, and Saumya Debray
(University of Arizona, USA)
@InProceedings{SOAP22p11,
author = {HeuiChan Lim and Xiyu Kang and Saumya Debray},
title = {Modeling Code Manipulation in JIT Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3520313.3534656},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Abstract Interpretation of ..."
Abstract Interpretation of Michelson Smart-Contracts
Guillaume Bau, Antoine Miné, Vincent Botbol, and Mehdi Bouaziz
(Sorbonne University, France; CNRS, France; LIP6, France; Nomadic Labs, France)
@InProceedings{SOAP22p51,
author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz},
title = {Abstract Interpretation of Michelson Smart-Contracts},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3520313.3534660},
year = {2022},
}
Publisher's Version
Archive submitted (8.2 kB)
SOAP '22: "ADA: A Tool for Visualizing ..."
ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories
Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, and Naum Anteski
(University College London, UK)
@InProceedings{SOAP22p41,
author = {Md Rakib Hossain Misu and Aleksandar Saša Janjanin and Zhiqiang Bian and Valentin-Sebastian Burlacu and Naum Anteski},
title = {ADA: A Tool for Visualizing the Architectural Overview of Open-Source Repositories},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3520313.3534659},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Statically Detecting Data ..."
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uroš Bojanić, and Milan Stojić
(Microsoft, Serbia)
@InProceedings{SOAP22p21,
author = {Pavle Subotić and Uroš Bojanić and Milan Stojić},
title = {Statically Detecting Data Leakages in Data Science Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3520313.3534657},
year = {2022},
}
Publisher's Version
SOAP '22: "Statically Detecting Data ..."
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uroš Bojanić, and Milan Stojić
(Microsoft, Serbia)
@InProceedings{SOAP22p21,
author = {Pavle Subotić and Uroš Bojanić and Milan Stojić},
title = {Statically Detecting Data Leakages in Data Science Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3520313.3534657},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Ensuring Determinism in Blockchain ..."
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP22p31,
author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin},
title = {Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3520313.3534658},
year = {2022},
}
Publisher's Version
SOAP '22: "Towards an Implementation ..."
Towards an Implementation of Differential Dynamic Logic in PVS
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano Moscato, Aaron Dutle, Paolo Masci, and Lauren White
(NASA Langley Research Center, USA; National Institute of Aerospace, USA)
@InProceedings{SOAP22p61,
author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
title = {Towards an Implementation of Differential Dynamic Logic in PVS},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3520313.3534661},
year = {2022},
}
Publisher's Version